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