Struct DuplexChallengerVariable

pub struct DuplexChallengerVariable<C: Config> {
    pub sponge_state: Array<C, Felt<C::F>>,
    pub nb_inputs: Var<C::N>,
    pub input_buffer: Array<C, Felt<C::F>>,
    pub nb_outputs: Var<C::N>,
    pub output_buffer: Array<C, Felt<C::F>>,
}

Reference: p3_challenger::DuplexChallenger

Fields

sponge_state: Array<C, Felt<C::F>>

nb_inputs: Var<C::N>

input_buffer: Array<C, Felt<C::F>>

nb_outputs: Var<C::N>

output_buffer: Array<C, Felt<C::F>>

Implementations

impl<C: Config> DuplexChallengerVariable<C>

pub fn new(builder: &mut Builder<C>) -> Self

Creates a new duplex challenger with the default state.

pub fn copy(&self, builder: &mut Builder<C>) -> Self

Creates a new challenger with the same state as an existing challenger.

pub fn assert_eq(&self, builder: &mut Builder<C>, other: &Self)

Asserts that the state of this challenger is equal to the state of another challenger.

pub fn reset(&mut self, builder: &mut Builder<C>)

pub fn duplexing(&mut self, builder: &mut Builder<C>)

pub fn check_witness( &mut self, builder: &mut Builder<C>, nb_bits: Var<C::N>, witness: Felt<C::F>, )

Trait Implementations

impl<C: Config> CanObserveVariable<C, Array<C, Felt<<C as Config>::F>>> for DuplexChallengerVariable<C>

fn observe(&mut self, builder: &mut Builder<C>, commitment: DigestVariable<C>)

fn observe_slice( &mut self, _builder: &mut Builder<C>, _values: Array<C, DigestVariable<C>>, )

impl<C: Config> CanObserveVariable<C, Felt<<C as Config>::F>> for DuplexChallengerVariable<C>

fn observe(&mut self, builder: &mut Builder<C>, value: Felt<C::F>)

fn observe_slice( &mut self, builder: &mut Builder<C>, values: Array<C, Felt<C::F>>, )

impl<C: Config> CanObserveVariable<C, VerifyingKeyVariable<C>> for DuplexChallengerVariable<C>

fn observe(&mut self, builder: &mut Builder<C>, value: VerifyingKeyVariable<C>)

fn observe_slice( &mut self, _builder: &mut Builder<C>, _values: Array<C, VerifyingKeyVariable<C>>, )

impl<C: Config> CanSampleBitsVariable<C> for DuplexChallengerVariable<C>

fn sample_bits( &mut self, builder: &mut Builder<C>, nb_bits: Usize<C::N>, ) -> Array<C, Var<C::N>>

impl<C: Config> CanSampleVariable<C, Felt<<C as Config>::F>> for DuplexChallengerVariable<C>

fn sample(&mut self, builder: &mut Builder<C>) -> Felt<C::F>

impl<C: Clone + Config> Clone for DuplexChallengerVariable<C>

where C::F: Clone, C::N: Clone,

fn clone(&self) -> DuplexChallengerVariable<C>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<C: Config> FeltChallenger<C> for DuplexChallengerVariable<C>

fn sample_ext(&mut self, builder: &mut Builder<C>) -> Ext<C::F, C::EF>

impl<C: Config> MemVariable<C> for DuplexChallengerVariable<C>

fn size_of() -> usize

fn load( &self, ptr: Ptr<<C as Config>::N>, index: MemIndex<<C as Config>::N>, builder: &mut Builder<C>, )

Loads the variable from the heap.

fn store( &self, ptr: Ptr<<C as Config>::N>, index: MemIndex<<C as Config>::N>, builder: &mut Builder<C>, )

Stores the variable to the heap.

impl<C: Config> PcsVariable<C, DuplexChallengerVariable<C>> for TwoAdicFriPcsVariable<C>

where C::F: TwoAdicField, C::EF: TwoAdicField,

type Domain = TwoAdicMultiplicativeCosetVariable<C>

type Commitment = Array<C, Felt<<C as Config>::F>>

type Proof = TwoAdicPcsProofVariable<C>

fn natural_domain_for_log_degree( &self, builder: &mut Builder<C>, log_degree: Usize<C::N>, ) -> Self::Domain

fn verify( &self, builder: &mut Builder<C>, rounds: Array<C, TwoAdicPcsRoundVariable<C>>, proof: Self::Proof, challenger: &mut DuplexChallengerVariable<C>, )

impl<C: Config> Variable<C> for DuplexChallengerVariable<C>

type Expression = DuplexChallengerVariable<C>

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

fn assign(&self, src: Self::Expression, builder: &mut Builder<C>)

fn assert_eq( lhs: impl Into<Self::Expression>, rhs: impl Into<Self::Expression>, builder: &mut Builder<C>, )

fn assert_ne( lhs: impl Into<Self::Expression>, rhs: impl Into<Self::Expression>, builder: &mut Builder<C>, )