Trait Witnessable

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

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

Required Associated Types

type WitnessVariable: MemVariable<C>

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 usize

type WitnessVariable = Usize<<OuterConfig as Config>::N>

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

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

impl Witnessable<OuterConfig> for AdjacentOpenedValues<OuterChallenge>

type WitnessVariable = AdjacentOpenedValuesVariable<OuterConfig>

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

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

impl Witnessable<OuterConfig> for OpenedValues<OuterChallenge>

type WitnessVariable = OpenedValuesVariable<OuterConfig>

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

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

impl Witnessable<OuterConfig> for OpeningProof<BabyBearPoseidon2RootConfig>

type WitnessVariable = OpeningProofVariable<OuterConfig>

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

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

impl Witnessable<OuterConfig> for AirProofData<BabyBearPoseidon2RootConfig>

type WitnessVariable = AirProofDataVariable<OuterConfig>

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

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

impl Witnessable<OuterConfig> for Commitments<BabyBearPoseidon2RootConfig>

type WitnessVariable = CommitmentsVariable<OuterConfig>

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

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

impl Witnessable<OuterConfig> for Proof<BabyBearPoseidon2RootConfig>

type WitnessVariable = StarkProofVariable<OuterConfig>

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

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

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 Hash<BabyBear, Bn254Fr, 1>

type WitnessVariable = DigestVariable<OuterConfig>

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 = Array<OuterConfig, <I as Witnessable<OuterConfig>>::WitnessVariable>

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

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

Implementors

impl Witnessable<OuterConfig> for DigestVal<OuterConfig>

type WitnessVariable = DigestVariable<OuterConfig>

impl Witnessable<OuterConfig> for VerifierInput<BabyBearPoseidon2RootConfig>

type WitnessVariable = VerifierInputVariable<OuterConfig>

impl Witnessable<OuterConfig> for OuterBatchOpening

type WitnessVariable = BatchOpeningVariable<OuterConfig>

impl Witnessable<OuterConfig> for OuterChallenge

type WitnessVariable = Ext<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>>

impl Witnessable<OuterConfig> for OuterCommitPhaseStep

type WitnessVariable = FriCommitPhaseProofStepVariable<OuterConfig>

impl Witnessable<OuterConfig> for OuterFriProof

type WitnessVariable = FriProofVariable<OuterConfig>

impl Witnessable<OuterConfig> for OuterQueryProof

type WitnessVariable = FriQueryProofVariable<OuterConfig>

impl Witnessable<OuterConfig> for OuterVal

type WitnessVariable = Felt<MontyField31<BabyBearParameters>>