Commit c7470b3
committed
feat(cli): add export-evm-proof and export-solidity commands
- Implement to convert Groth16 proofs into EVM calldata, generating proof.hex and inputs.txt files.
- Implement to generate a Solidity verifier from a Groth16 verifying key, substituting constants in a template.1 parent 1a32520 commit c7470b3
3 files changed
Lines changed: 1338 additions & 0 deletions
File tree
- provekit/groth16/contracts
- tooling/cli/src/cmd
0 commit comments