[draft] proof splitter - Githubissues

zksecurity / stark-evm-adapter

Adapt your STARK stone proofs for verifications on Ethereum

17 stars 4 forks source link

Closed katat closed 1 year ago

katat commented 1 year ago

[x] Convert from python version and setup skeleton
[x] Fixes to make the integration test pass
[x] Optimize the data structures
[x] Refactor the error handling with thiserror lib
[ ] Transform the annotation files from stone-prover to a single json file in the same format as proof.json test fixture
[ ] Documentation

katat commented 1 year ago

Currently, this proof-splitter is the default branch. Please make the main branch as the default branch.