Module ipa
snark_
verifier
0.2.2
Module ipa
Module Items
Structs
In snark_
verifier::
system::
halo2::
strategy
snark_verifier
::
system
::
halo2
::
strategy
Module
ipa
Copy item path
Source
Expand description
IPA verifier strategy
Structs
ยง
Single
Strategy
Strategy that handles single proof and decide immediately, but also returns
g
if the proof is valid.