zkmopro / mopro

Making client-side proving on mobile simple.

https://zkmopro.org

Apache License 2.0

131 stars 35 forks source link

Fix hashbench bls circuit #208

Closed chancehudson closed 4 months ago

chancehudson commented 4 months ago

Problem

In #207 a test is added and ignored for a "hashbench" circuit. mopro-ffi generates an invalid proof for this circuit.

Details

We should figure out why this proof is failing. The circuit is written here.

Acceptance criteria

Tests pass with bls hashbench circuit.

chancehudson commented 4 months ago

This was failing because i was using a ptau that was too small 😭. I thought snarkjs would warn me about this. I spent hours digging through the ark libraries -.-

chancehudson commented 4 months ago

more info in arkworks-rs/groth16#60. This seems like an inconsistency between the snarkjs prover and the ark-groth16 prover