tlkahn / zkevm-proverjs

zkEVM proof generator reference written in Javascript

zkEVM ProverJS

zkEVM proof generator reference written in Javascript

General info

setup

$ npm install
$ npm run build

Usage

Basic usage:

$ node src/main_executor <input.json> -r <rom.json> -o <proof.json>

Example:

$ node src/main_executor testvectors/input_executor.json -r ../zkrom/build/rom.json -o tmp/commit.bin

Additional parameters:

• -t <test.json>: test
• -l <logs.json>: logs
• -s: skip
• -d: debug
• -p: pilprogram.pil
• -P: pilConfig.json
• -n <number>: N

Build prove

npm run buildrom
npm run buildconstants
npm run exec
npm run pilverify
npm run buildconstanttree
npm run prove
npm run verify

Build prove with basic main (without SM, only for debugging)

npm run basic:buildrom
npm run basic:buildconstants
npm run basic:exec
npm run basic:pilverify

License

Copyright

Polygon zkevm-proverjs was developed by Polygon. While we plan to adopt an open source license, we haven’t selected one yet, so all rights are reserved for the time being. Please reach out to us if you have thoughts on licensing.

Disclaimer

This code has not yet been audited, and should not be used in any production systems.ode has not yet been audited, and should not be used in any production systems.