Trait sp1_recursion_program::hints::Hintable

pub trait Hintable<C: Config> {
    type HintVariable: MemVariable<C>;

    // Required methods
    fn read(builder: &mut Builder<C>) -> Self::HintVariable;
    fn write(&self) -> Vec<Vec<Block<C::F>>>;

    // Provided method
    fn witness(variable: &Self::HintVariable, builder: &mut Builder<C>) { ... }
}

Required Associated Types

type HintVariable: MemVariable<C>

Required Methods

fn read(builder: &mut Builder<C>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<C::F>>>

Provided Methods

fn witness(variable: &Self::HintVariable, builder: &mut Builder<C>)

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for usize

type HintVariable = Var<BabyBear>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<InnerVal>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for Vec<usize>

type HintVariable = Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, Var<BabyBear>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<InnerVal>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for Vec<Vec<InnerBatchOpening>>

type HintVariable = Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, BatchOpeningVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for Vec<Vec<InnerChallenge>>

type HintVariable = Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, Ext<BabyBear, BinomialExtensionField<BabyBear, 4>>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for Vec<ChipOpenedValues<InnerChallenge>>

type HintVariable = Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, ChipOpenedValuesVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for Vec<InnerBatchOpening>

type HintVariable = Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, BatchOpeningVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for Vec<InnerChallenge>

type HintVariable = Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, Ext<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for Vec<InnerCommitPhaseStep>

type HintVariable = Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, FriCommitPhaseProofStepVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for Vec<InnerDigest>

type HintVariable = Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, Felt<<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>> as Config>::F>>>

fn read( builder: &mut Builder<AsmConfig<InnerVal, InnerChallenge>>, ) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<InnerVal>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for Vec<InnerQueryProof>

type HintVariable = Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, FriQueryProofVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for Vec<InnerVal>

type HintVariable = Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, Felt<BabyBear>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for DuplexChallenger<InnerVal, InnerPerm, 16, 8>

type HintVariable = DuplexChallengerVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for TwoAdicMultiplicativeCoset<InnerVal>

type HintVariable = TwoAdicMultiplicativeCosetVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for AirOpenedValues<InnerChallenge>

type HintVariable = AirOpenedValuesVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for ChipOpenedValues<InnerChallenge>

type HintVariable = ChipOpenedValuesVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for ShardCommitment<InnerDigestHash>

type HintVariable = ShardCommitmentVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for ShardOpenedValues<InnerChallenge>

type HintVariable = ShardOpenedValuesVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for InnerBatchOpening

type HintVariable = BatchOpeningVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for InnerChallenge

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

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for InnerCommitPhaseStep

type HintVariable = FriCommitPhaseProofStepVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for InnerDigest

type HintVariable = Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, Felt<<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>> as Config>::F>>

fn read( builder: &mut Builder<AsmConfig<InnerVal, InnerChallenge>>, ) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<InnerVal>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for InnerFriProof

type HintVariable = FriProofVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for InnerPcsProof

type HintVariable = TwoAdicPcsProofVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for InnerQueryProof

type HintVariable = FriQueryProofVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for InnerVal

type HintVariable = Felt<BabyBear>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for [Word<BabyBear>; 8]

type HintVariable = Sha256DigestVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl<H: Hintable<InnerConfig>> Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for &H

type HintVariable = <H as Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>>::HintVariable

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

impl<I: VecAutoHintable<InnerConfig>> Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for Vec<I>

type HintVariable = Array<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>, <I as Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>>::HintVariable>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<Block<<InnerConfig as Config>::F>>>

Implementors

impl Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for QuotientDataValues

type HintVariable = QuotientData<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

impl<'a, A: MachineAir<BabyBear>> Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for SP1CompressMemoryLayout<'a, BabyBearPoseidon2, A>

type HintVariable = SP1CompressMemoryLayoutVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

impl<'a, A: MachineAir<BabyBear>> Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for SP1DeferredMemoryLayout<'a, BabyBearPoseidon2, A>

type HintVariable = SP1DeferredMemoryLayoutVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

impl<'a, A: MachineAir<BabyBear>> Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for SP1RecursionMemoryLayout<'a, BabyBearPoseidon2, A>

type HintVariable = SP1RecursionMemoryLayoutVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

impl<'a, A: MachineAir<BabyBear>> Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for SP1RootMemoryLayout<'a, BabyBearPoseidon2, A>

type HintVariable = SP1RootMemoryLayoutVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

impl<'a, SC: StarkGenericConfig<Pcs = <BabyBearPoseidon2 as StarkGenericConfig>::Pcs, Challenge = <BabyBearPoseidon2 as StarkGenericConfig>::Challenge, Challenger = <BabyBearPoseidon2 as StarkGenericConfig>::Challenger>, A: MachineAir<SC::Val>> Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for ShardProofHint<'a, SC, A>

where ShardCommitment<Com<SC>>: Hintable<InnerConfig>,

type HintVariable = ShardProofVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>

impl<'a, SC: StarkGenericConfig<Pcs = <BabyBearPoseidon2 as StarkGenericConfig>::Pcs, Challenge = <BabyBearPoseidon2 as StarkGenericConfig>::Challenge, Challenger = <BabyBearPoseidon2 as StarkGenericConfig>::Challenger>, A: MachineAir<SC::Val>> Hintable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>> for VerifyingKeyHint<'a, SC, A>

type HintVariable = VerifyingKeyVariable<AsmConfig<BabyBear, BinomialExtensionField<BabyBear, 4>>>