Struct SampleIndices

pub struct SampleIndices;

Sample n pseudorandom integers between 0 and k. It does this by squeezing the sponge. It is the caller’s responsibility to ensure that the sponge is initialized to the right state.

Trait Implementations

impl BasicSnippet for SampleIndices

fn inputs(&self) -> Vec<(DataType, String)>

fn outputs(&self) -> Vec<(DataType, String)>

fn entrypoint(&self) -> String

fn code(&self, library: &mut Library) -> Vec<LabelledInstruction>

fn annotated_code(&self, library: &mut Library) -> Vec<LabelledInstruction>

fn link_for_isolated_run(&self) -> Vec<LabelledInstruction>

fn init_stack_for_isolated_run(&self) -> Vec<BFieldElement>

Intial stack on program start, when the snippet runs in isolation.

fn stack_diff(&self) -> isize

impl Clone for SampleIndices

fn clone(&self) -> SampleIndices

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SampleIndices

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SampleIndices

fn default() -> SampleIndices

Returns the “default value” for a type.

impl Hash for SampleIndices

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SampleIndices

fn eq(&self, other: &SampleIndices) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Procedure for SampleIndices

fn rust_shadow( &self, stack: &mut Vec<BFieldElement>, memory: &mut HashMap<BFieldElement, BFieldElement>, _nondeterminism: &NonDeterminism, _public_input: &[BFieldElement], sponge: &mut Option<VmHasher>, ) -> Vec<BFieldElement>

Returns standard output

fn pseudorandom_initial_state( &self, seed: [u8; 32], bench_case: Option<BenchmarkCase>, ) -> ProcedureInitialState

fn preprocess<T: BFieldCodec>( _meta_input: T, _nondeterminism: &mut NonDeterminism, )

fn corner_case_initial_states(&self) -> Vec<ProcedureInitialState>

impl Copy for SampleIndices

impl Eq for SampleIndices

impl StructuralPartialEq for SampleIndices