Skip to main content

Module verifier

Module verifier 

Source
Expand description

Verifier

Structs§

Subclaim
Subclaim when verifier is convinced
VerifierState
Sumcheck Verifier State, generic over the field config C.

Constants§

SQUEEZE_NATIVE_ELEMENTS_NUM