Enum triton_vm::table::challenges::ChallengeId

#[repr(usize)]
pub enum ChallengeId {
    CompressProgramDigestIndeterminate = 0,
    StandardInputIndeterminate = 1,
    StandardOutputIndeterminate = 2,
    InstructionLookupIndeterminate = 3,
    HashInputIndeterminate = 4,
    HashDigestIndeterminate = 5,
    SpongeIndeterminate = 6,
    OpStackIndeterminate = 7,
    RamIndeterminate = 8,
    JumpStackIndeterminate = 9,
    U32Indeterminate = 10,
    ClockJumpDifferenceLookupIndeterminate = 11,
    RamTableBezoutRelationIndeterminate = 12,
    ProgramAddressWeight = 13,
    ProgramInstructionWeight = 14,
    ProgramNextInstructionWeight = 15,
    OpStackClkWeight = 16,
    OpStackIb1Weight = 17,
    OpStackPointerWeight = 18,
    OpStackFirstUnderflowElementWeight = 19,
    RamClkWeight = 20,
    RamPointerWeight = 21,
    RamValueWeight = 22,
    RamInstructionTypeWeight = 23,
    JumpStackClkWeight = 24,
    JumpStackCiWeight = 25,
    JumpStackJspWeight = 26,
    JumpStackJsoWeight = 27,
    JumpStackJsdWeight = 28,
    ProgramAttestationPrepareChunkIndeterminate = 29,
    ProgramAttestationSendChunkIndeterminate = 30,
    HashCIWeight = 31,
    HashStateWeight0 = 32,
    HashStateWeight1 = 33,
    HashStateWeight2 = 34,
    HashStateWeight3 = 35,
    HashStateWeight4 = 36,
    HashStateWeight5 = 37,
    HashStateWeight6 = 38,
    HashStateWeight7 = 39,
    HashStateWeight8 = 40,
    HashStateWeight9 = 41,
    HashStateWeight10 = 42,
    HashStateWeight11 = 43,
    HashStateWeight12 = 44,
    HashStateWeight13 = 45,
    HashStateWeight14 = 46,
    HashStateWeight15 = 47,
    HashCascadeLookupIndeterminate = 48,
    HashCascadeLookInWeight = 49,
    HashCascadeLookOutWeight = 50,
    CascadeLookupIndeterminate = 51,
    LookupTableInputWeight = 52,
    LookupTableOutputWeight = 53,
    LookupTablePublicIndeterminate = 54,
    U32LhsWeight = 55,
    U32RhsWeight = 56,
    U32CiWeight = 57,
    U32ResultWeight = 58,
    StandardInputTerminal = 59,
    StandardOutputTerminal = 60,
    LookupTablePublicTerminal = 61,
    CompressedProgramDigest = 62,
}

A ChallengeId is a unique, symbolic identifier for a challenge used in Triton VM. The ChallengeId enum works in tandem with the struct Challenges, which can be instantiated to hold actual challenges that can be indexed by some ChallengeId.

Since almost all challenges relate to the Processor Table in some form, the words “Processor Table” are usually omitted from the ChallengeId’s name.

Variants

CompressProgramDigestIndeterminate = 0

The indeterminate for the Evaluation Argument compressing the program digest into a single extension field element, i.e., CompressedProgramDigest. Relates to program attestation.

StandardInputIndeterminate = 1

The indeterminate for the Evaluation Argument with standard input.

StandardOutputIndeterminate = 2

The indeterminate for the Evaluation Argument with standard output.

InstructionLookupIndeterminate = 3

The indeterminate for the instruction Lookup Argument between the Processor Table and the Program Table guaranteeing that the instructions and their arguments are copied correctly.

HashInputIndeterminate = 4

HashDigestIndeterminate = 5

SpongeIndeterminate = 6

OpStackIndeterminate = 7

RamIndeterminate = 8

JumpStackIndeterminate = 9

U32Indeterminate = 10

ClockJumpDifferenceLookupIndeterminate = 11

The indeterminate for the Lookup Argument between the Processor Table and all memory-like tables, i.e., the OpStack Table, the Ram Table, and the JumpStack Table, guaranteeing that all clock jump differences are directed forward.

RamTableBezoutRelationIndeterminate = 12

The indeterminate for the Contiguity Argument within the Ram Table.

ProgramAddressWeight = 13

A weight for linearly combining multiple elements. Applies to

• Address in the Program Table
• IP in the Processor Table

ProgramInstructionWeight = 14

A weight for linearly combining multiple elements. Applies to

• Instruction in the Program Table
• CI in the Processor Table

ProgramNextInstructionWeight = 15

A weight for linearly combining multiple elements. Applies to

• Instruction' (i.e., in the next row) in the Program Table
• NIA in the Processor Table

OpStackClkWeight = 16

OpStackIb1Weight = 17

OpStackPointerWeight = 18

OpStackFirstUnderflowElementWeight = 19

RamClkWeight = 20

RamPointerWeight = 21

RamValueWeight = 22

RamInstructionTypeWeight = 23

JumpStackClkWeight = 24

JumpStackCiWeight = 25

JumpStackJspWeight = 26

JumpStackJsoWeight = 27

JumpStackJsdWeight = 28

ProgramAttestationPrepareChunkIndeterminate = 29

The indeterminate for compressing a RATE-sized chunk of instructions into a single extension field element. Relates to program attestation.

Used by the evaluation argument PrepareChunkEvalArg and in the Hash Table.

ProgramAttestationSendChunkIndeterminate = 30

The indeterminate for the bus over which the RATE-sized chunks of instructions are sent. Relates to program attestation. Used by the evaluation arguments SendChunkEvalArg and ReceiveChunkEvalArg. See also: ProgramAttestationPrepareChunkIndeterminate.

HashCIWeight = 31

HashStateWeight0 = 32

HashStateWeight1 = 33

HashStateWeight2 = 34

HashStateWeight3 = 35

HashStateWeight4 = 36

HashStateWeight5 = 37

HashStateWeight6 = 38

HashStateWeight7 = 39

HashStateWeight8 = 40

HashStateWeight9 = 41

HashStateWeight10 = 42

HashStateWeight11 = 43

HashStateWeight12 = 44

HashStateWeight13 = 45

HashStateWeight14 = 46

HashStateWeight15 = 47

HashCascadeLookupIndeterminate = 48

The indeterminate for the Lookup Argument between the Hash Table and the Cascade Table.

HashCascadeLookInWeight = 49

A weight for linearly combining multiple elements. Applies to

• *LkIn in the Hash Table, and
• 2^16·LookInHi + LookInLo in the Cascade Table.

HashCascadeLookOutWeight = 50

A weight for linearly combining multiple elements. Applies to

• *LkOut in the Hash Table, and
• 2^16·LookOutHi + LookOutLo in the Cascade Table.

CascadeLookupIndeterminate = 51

The indeterminate for the Lookup Argument between the Cascade Table and the Lookup Table.

LookupTableInputWeight = 52

A weight for linearly combining multiple elements. Applies to

• LkIn* in the Cascade Table, and
• LookIn in the Lookup Table.

LookupTableOutputWeight = 53

A weight for linearly combining multiple elements. Applies to

• LkOut* in the Cascade Table, and
• LookOut in the Lookup Table.

LookupTablePublicIndeterminate = 54

The indeterminate for the public Evaluation Argument establishing correctness of the Lookup Table.

U32LhsWeight = 55

U32RhsWeight = 56

U32CiWeight = 57

U32ResultWeight = 58

StandardInputTerminal = 59

The terminal for the EvaluationArgument with standard input. Makes use of challenge StandardInputIndeterminate.

StandardOutputTerminal = 60

The terminal for the EvaluationArgument with standard output. Makes use of challenge StandardOutputIndeterminate.

LookupTablePublicTerminal = 61

The terminal for the EvaluationArgument establishing correctness of the Lookup Table. Makes use of challenge LookupTablePublicIndeterminate.

CompressedProgramDigest = 62

The digest of the program to be executed, compressed into a single extension field element. The compression happens using an EvaluationArgument under challenge CompressProgramDigestIndeterminate. Relates to program attestation.

Implementations

impl ChallengeId

pub const fn index(&self) -> usize

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for ChallengeId

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 ChallengeId

fn clone(&self) -> ChallengeId

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ChallengeId

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

Formats the value using the given formatter.

impl Display for ChallengeId

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

Formats the value using the given formatter.

impl EnumCount for ChallengeId

const COUNT: usize = 63usize

impl From<ChallengeId> for usize

fn from(id: ChallengeId) -> Self

Converts to this type from the input type.

impl Hash for ChallengeId

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 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 IntoEnumIterator for ChallengeId

type Iterator = ChallengeIdIter

fn iter() -> ChallengeIdIter

impl PartialEq for ChallengeId

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Copy for ChallengeId

impl Eq for ChallengeId

impl StructuralPartialEq for ChallengeId