Commit c75c7b6
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 704c927 commit c75c7b6
3 files changed
Lines changed: 1338 additions & 0 deletions
File tree
- provekit/groth16/contracts
- tooling/cli/src/cmd
0 commit comments