Structsยง
- Batch
Constraint Conductor Bus - Batch
Constraint Conductor Message - Constraints
Folding Bus - Constraints
Folding Message - Eq3bBus
- Eq3b
Message - EqNOuter
Bus - EqNOuter
Message - EqNeg
Internal Bus - EqNeg
Internal Message - EqSharp
UniBus - EqSharp
UniMessage - EqZeroN
Bus - EqZeroN
Message - Expression
Claim Bus - Expression
Claim Message - Interactions
Folding Bus - Interactions
Folding Message - Sumcheck
Claim Bus - Sumcheck
Claim Message - Symbolic
Expression Bus - Symbolic
Expression Message - Univariate
Sumcheck Input Bus - Univariate
Sumcheck Input Message