Skip to main content

Module proof

Module proof 

Source
Expand description

Definition of the STARK proof struct.

Structs§

BatchConstraintProof
GkrLayerClaims
GkrProof
Proof
StackingProof
TraceVData
WhirProof
WHIR polynomial opening proof for multiple polynomials of the same height, committed to in multiple commitments.

Functions§

column_openings_by_rot

Type Aliases§

MerkleProof