triton-vm 0.43.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

use std::path::Path;

use constraint_builder::codegen::Codegen;
use constraint_builder::codegen::RustBackend;
use constraint_builder::codegen::TasmBackend;
use constraint_builder::Constraints;
use proc_macro2::TokenStream;

fn main() {
    println!("cargo::rerun-if-changed=build.rs");

    let mut constraints = Constraints::all();
    let degree_lowering_info = Constraints::default_degree_lowering_info();
    let substitutions =
        constraints.lower_to_target_degree_through_substitutions(degree_lowering_info);
    let deg_low_table = substitutions.generate_degree_lowering_table_code();

    let constraints = constraints.combine_with_substitution_induced_constraints(substitutions);
    let rust = RustBackend::constraint_evaluation_code(&constraints);
    let tasm = TasmBackend::constraint_evaluation_code(&constraints);

    write_code_to_file(deg_low_table, "degree_lowering_table.rs");
    write_code_to_file(rust, "evaluate_constraints.rs");
    write_code_to_file(tasm, "tasm_constraints.rs");
}

fn write_code_to_file(code: TokenStream, file_name: &str) {
    let syntax_tree = syn::parse2(code).unwrap();
    let code = prettyplease::unparse(&syntax_tree);

    let out_dir = std::env::var_os("OUT_DIR").unwrap();
    let file_path = Path::new(&out_dir).join(file_name);
    std::fs::write(file_path, code).unwrap();
}