Module vars

Source

Structs§

AdjacentOpenedValuesVariable
AirProofDataVariable
CommitmentsVariable
HintSlice
LinearConstraintVariable
MultiStarkVerificationAdviceVariable
OpenedValuesVariable
OpeningProofVariable
OptionalVar
StarkProofVariable
StarkVerificationAdviceVariable
TraceHeightConstraintSystem
TraceWidthVariable

Type Aliases§

OuterDigestVariable