Skip to main content

Module verifier

zinc_piop::sumcheck

Module verifier 

Source
Expand description

Verifier

Structs§

Subclaim
Subclaim when verifier is convinced
VerifierState
Sumcheck Verifier State.

Constants§

SQUEEZE_NATIVE_ELEMENTS_NUM