Crate sp1_recursion_circuit_v2

Copied from sp1_recursion_program.

Modules

• build_wrap_v2
• challenger
• constraints
• domain
• fri
• hash
• machine
• stark
• witness

Structs

• BatchOpeningVariable
• 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
• FriQueryProofVariable
  Reference: https://github.com/Plonky3/Plonky3/blob/4809fa7bedd9ba8f6f5d3267b1592618e3776c57/fri/src/proof.rs#L23
• TwoAdicPcsMatsVariable
• TwoAdicPcsProofVariable
• TwoAdicPcsRoundVariable
• VerifyingKeyVariable
  Reference: [sp1_core::stark::StarkVerifyingKey]

Traits

• BabyBearFriConfig
• BabyBearFriConfigVariable
• CircuitConfig

Functions

• select_chain

Type Aliases

• Digest
• FriMmcs
• PcsConfig