Struct Challenges

pub struct Challenges {
    pub challenges: [XFieldElement; 63],
}

The Challenges struct holds the challenges used in Triton VM. The concrete challenges are known only at runtime. The challenges are indexed using enum ChallengeId. The Challenges struct is essentially a thin wrapper around an array of XFieldElements, providing convenience methods.

Fields

challenges: [XFieldElement; 63]

Implementations

impl Challenges

pub const COUNT: usize = 63usize

The total number of challenges used in Triton VM.

pub const SAMPLE_COUNT: usize = 59usize

The number of weights to sample using the Fiat-Shamir heuristic. This number is lower than the number of challenges because several challenges are not sampled, but computed from publicly known values and other, sampled challenges.

Concretely:

• The StandardInputTerminal is computed from Triton VM’s public input and the sampled indeterminate StandardInputIndeterminate.
• The StandardOutputTerminal is computed from Triton VM’s public output and the sampled indeterminate StandardOutputIndeterminate.
• The LookupTablePublicTerminal is computed from the publicly known and constant lookup table and the sampled indeterminate LookupTablePublicIndeterminate.
• The CompressedProgramDigest is computed from the program to be executed and the sampled indeterminate CompressProgramDigestIndeterminate.

pub fn new(challenges: Vec<XFieldElement>, claim: &Claim) -> Self

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for Challenges

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl Clone for Challenges

fn clone(&self) -> Challenges

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Challenges

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

Formats the value using the given formatter.

impl Index<ChallengeId> for Challenges

type Output = XFieldElement

The returned type after indexing.

fn index(&self, id: ChallengeId) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<Range<ChallengeId>> for Challenges

type Output = [XFieldElement]

The returned type after indexing.

fn index(&self, indices: Range<ChallengeId>) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<Range<usize>> for Challenges

type Output = [XFieldElement]

The returned type after indexing.

fn index(&self, indices: Range<usize>) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<RangeInclusive<ChallengeId>> for Challenges

type Output = [XFieldElement]

The returned type after indexing.

fn index(&self, indices: RangeInclusive<ChallengeId>) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<RangeInclusive<usize>> for Challenges

type Output = [XFieldElement]

The returned type after indexing.

fn index(&self, indices: RangeInclusive<usize>) -> &Self::Output

Performs the indexing (container[index]) operation.

impl Index<usize> for Challenges

type Output = XFieldElement

The returned type after indexing.

fn index(&self, id: usize) -> &Self::Output

Performs the indexing (container[index]) operation.