You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It would be ideal to verify the authenticity of Halo2 circuits natively. We should run MockProver against generated circuits to verify their outputs. One issue is that the witness solver will fail to generate values that cause the circuit to fail. Therefore, to fully ensure that circuits behave in the expected case for each of the examples/ tests, we will need to have custom witness maps that will cause the halo2 prover to fail.
The text was updated successfully, but these errors were encountered:
It would be ideal to verify the authenticity of Halo2 circuits natively. We should run MockProver against generated circuits to verify their outputs. One issue is that the witness solver will fail to generate values that cause the circuit to fail. Therefore, to fully ensure that circuits behave in the expected case for each of the examples/ tests, we will need to have custom witness maps that will cause the halo2 prover to fail.
The text was updated successfully, but these errors were encountered: