triton-vm 2.0.0

A virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system to allow proving correct execution of arbitrary programs in zero-knowledge.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48

//! Re-exports the most commonly-needed APIs of Triton VM.
//!
//! This module is intended to be wildcard-imported, _i.e._, `use
//! triton_vm::prelude::*;`. You might also want to consider wildcard-importing
//! the prelude of twenty_first, _i.e._,
//! `use triton_vm::twenty_first::prelude::*;`.

pub use twenty_first;
pub use twenty_first::math::traits::FiniteField;
pub use twenty_first::prelude::BFieldCodec;
pub use twenty_first::prelude::BFieldElement;
pub use twenty_first::prelude::Digest;
pub use twenty_first::prelude::Tip5;
pub use twenty_first::prelude::XFieldElement;
pub use twenty_first::prelude::bfe;
pub use twenty_first::prelude::bfe_array;
pub use twenty_first::prelude::bfe_vec;
pub use twenty_first::prelude::tip5;
pub use twenty_first::prelude::xfe;
pub use twenty_first::prelude::xfe_array;
pub use twenty_first::prelude::xfe_vec;

pub use isa;
pub use isa::instruction::LabelledInstruction;
pub use isa::program::Program;
pub use isa::triton_asm;
pub use isa::triton_instr;
pub use isa::triton_program;

pub use air::AIR;
pub use air::table::TableId;

pub use crate::error::InstructionError;
pub use crate::error::NumberOfWordsError;
pub use crate::error::OpStackElementError;
pub use crate::error::OpStackError;
pub use crate::error::ParseError;
pub use crate::error::ProgramDecodingError;
pub use crate::error::VMError;
pub use crate::proof::Claim;
pub use crate::proof::Proof;
pub use crate::stark::Prover;
pub use crate::stark::Stark;
pub use crate::stark::Verifier;
pub use crate::vm::NonDeterminism;
pub use crate::vm::PublicInput;
pub use crate::vm::VM;
pub use crate::vm::VMState;