Trait sp1_recursion_circuit::witness::Witnessable

pub trait Witnessable<C: Config> {
    type WitnessVariable;

    // Required methods
    fn read(&self, builder: &mut Builder<C>) -> Self::WitnessVariable;
    fn write(&self, witness: &mut Witness<C>);
}

Required Associated Types

type WitnessVariable

Required Methods

fn read(&self, builder: &mut Builder<C>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<C>)

Implementations on Foreign Types

impl Witnessable<OuterConfig> for Bn254Fr

type WitnessVariable = Var<Bn254Fr>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for AirOpenedValues<OuterChallenge>

type WitnessVariable = AirOpenedValuesVariable<OuterConfig>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for ChipOpenedValues<OuterChallenge>

type WitnessVariable = ChipOpenedValuesVariable<OuterConfig>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for ShardCommitment<OuterDigest>

type WitnessVariable = ShardCommitment<[Var<<OuterConfig as Config>::N>; 1]>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for ShardOpenedValues<OuterChallenge>

type WitnessVariable = RecursionShardOpenedValuesVariable<OuterConfig>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for ShardProof<BabyBearPoseidon2Outer>

type WitnessVariable = RecursionShardProofVariable<OuterConfig>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for OuterBatchOpening

type WitnessVariable = BatchOpeningVariable<OuterConfig>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for OuterChallenge

type WitnessVariable = Ext<BabyBear, BinomialExtensionField<BabyBear, 4>>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for OuterCommitPhaseStep

type WitnessVariable = FriCommitPhaseProofStepVariable<OuterConfig>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for OuterDigest

type WitnessVariable = [Var<<OuterConfig as Config>::N>; 1]

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for OuterFriProof

type WitnessVariable = FriProofVariable<OuterConfig>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for OuterPcsProof

type WitnessVariable = TwoAdicPcsProofVariable<OuterConfig>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for OuterQueryProof

type WitnessVariable = FriQueryProofVariable<OuterConfig>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl Witnessable<OuterConfig> for OuterVal

type WitnessVariable = Felt<BabyBear>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

impl<I: VectorWitnessable<OuterConfig>> Witnessable<OuterConfig> for Vec<I>

type WitnessVariable = Vec<<I as Witnessable<OuterConfig>>::WitnessVariable>

fn read(&self, builder: &mut Builder<OuterConfig>) -> Self::WitnessVariable

fn write(&self, witness: &mut Witness<OuterConfig>)

Implementors