feat: ERC-20 ZK verifier and statement hash - #36

Draft

ozwaldorf wants to merge 7 commits into

feat/zk-receipt-circuits

Commits on Aug 14, 2026

feat: erc20 zk-verifier and test fixtures
ozwaldorf
committed
0c8b5a7

Commits on Aug 18, 2026

chore: sync verifier and proof to the context-bound relation
ozwaldorf
committed
3bf844f
chore: sync proof to the rng-parameterized prover
ozwaldorf
committed
d0c4014

Commits on Aug 19, 2026

chore: regenerate artifacts with the embedded ZK verifier
ozwaldorf
committed
9c63156
style: format the ZK tests and exclude the generated verifier
ozwaldorf
committed
77ac2ad

Commits on Aug 21, 2026