Module sp1_recursion_circuit::types

Structs

• AirOpenedValuesVariable
• BatchOpeningVariable
• ChipOpenedValuesVariable
• ChipOpening
• FriChallenges
  Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/verifier.rs#L22
• FriCommitPhaseProofStepVariable
  Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/proof.rs#L32
• FriProofVariable
  Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/proof.rs#L12
• FriQueryProofVariable
  Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/proof.rs#L23
• RecursionShardOpenedValuesVariable
• RecursionShardProofVariable
• TwoAdicPcsMatsVariable
• TwoAdicPcsProofVariable
• TwoAdicPcsRoundVariable

Type Aliases

• OuterDigestVariable