Giters

zkMIPS / zkm

The universal zkVM empowering Ethereum as the Global Settlement Layer

Home Page:https://zkm.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Check constraint error

eigmax opened this issue · comments

commented

When we perform the test RUST_LOG=debug RUST_BACKTRACE=1 cargo test --release test_prove_and_verify -- --nocapture, we got an error at prover.rs line 709, due to the non-consistent constraints check.