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
During te generation of a proof, the prover performs 2 passes through the circuit. That is, each assign_region is called twice.
The first time without witness values, the second one with the actual witnesses.
It would be interesting to benchmark how this is impacting prover performance and in which cases this meaninful.
The text was updated successfully, but these errors were encountered:
During te generation of a proof, the prover performs 2 passes through the circuit. That is, each
assign_region
is called twice.The first time without witness values, the second one with the actual witnesses.
It would be interesting to benchmark how this is impacting prover performance and in which cases this meaninful.
The text was updated successfully, but these errors were encountered: