Prove POD2s onchain in Ethereum.
- FFI test, run:
cargo test test_groth_full_flow --release -- --nocapture - CLI test, run:
bash test-cli.sh- alternatively:
- generate the pod proof:
cargo test --release test_pod_flow -- --nocapture - generate the groth16 trusted setup:
go run main.go -t - generate the groth16 proof:
go run main.go -p
- this will also generate the Solidity smart contract, located at
outputs/Verifier.sol, ready to be deployed
- generate the pod proof:
- alternatively:
For an example on how to use the rust lib, check the test test_groth_full_flow
In an AMD Ryzen 9 5900XT 16cores linux server:
- plonky2 encapsulation proof:
3.08s - groth16 proof:
5.2Mr1cs constraints,10s
Wrapper circuit proving times for different pod circuit sizes:
| pod circuit size | pod proving time | wrapper circuit size | wrapper proving time |
|---|---|---|---|
| 2^16 | 15.8s | 4784 | 3.09s |
| 2^17 | 33.3s | 5175 | 3.09s |
| 2^18 | 73.5s | 5411 | 3.09s |
| 2^19 | 153.8s | 5646 | 3.09s |
This repo relies on the following projects:
- Plonky2: https://github.com/0xPolygonZero/plonky2
- Pod2: https://github.com/0xPARC/pod2
- Gnark: https://github.com/Consensys/gnark
- Gnark plonky2 verifier: https://github.com/succinctlabs/gnark-plonky2-verifier
- For the public inputs onchain verification, we use the approach described at https://eprint.iacr.org/2025/1500 and https://eprint.iacr.org/2024/2099 section 4.2.1.