victorcolomb / stark-snark-recursive-proofs Goto Github PK

Hi, VictorColomb

On the main branch, I tested example/sum according to the tutorial, but the final result of verifying was always' Invalid proof 'returned by' snakjs'. Do you have any suggestions?

Or, I wonder if it's possible that the aux segment was not included and validated in the input.json and circom code?

My OS version is ubuntu 16.04, and the Nodejs version is 12.2

The test path is:
cargo build --release -p example-sum
cargo run --release -p example-sum --bin compile
cargo run --release -p example-sum --bin prove
cargo run --release -p example-sum --bin