Lib.rs

› Keywords #zero-knowledge-proofs #zero-knowledge #programs #air #constraints

#triton-vm

  1. triton-vm

    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…

    v2.0.0 900 #recursion #zero-knowledge

  2. triton-cli

    Command Line Interface to run, prove, and verify programs written for Triton VM

    v2.0.0 #triton-vm #run-command #prove #verify #programs #profiling #command-line-tool

  3. triton-isa

    The instruction set architecture for Triton VM

    v2.0.0 1.9K #instruction-set #triton-vm #zero-knowledge-proofs #instructions-set-architecture #parser

  4. triton-tui

    Terminal User Interface to help debugging programs written for Triton VM

    v2.0.0 #triton-vm #triton-vm-debugging #tui #programs #user

  5. tasm-lib

    Code snippets for Triton VM assembly with tests and statistics

    v2.0.0 1.7K #triton-vm #recursion #zero-knowledge #vm #virtual-machine

  6. tasm-object-derive

    Derive-macro for TasmObject

    v2.0.0 1.7K #triton-vm #macro-derive #tasm #assembly #collection #zk-stark

  7. ashlang

    A language for zero knowledge proofs

    v0.1.3 270 #zero-knowledge-proofs #assembly #triton-vm #constraints #vector-math #witness #r1cs #proving #tasm #math-operations

  8. triton-air

    The Arithmetic Intermediate Representation (AIR) for Triton VM

    v2.0.0 1.9K #zero-knowledge-proofs #triton-vm #air #constraints #degree #stark-proof-system

    9. Try searching with DuckDuckGo.

  9. triton-constraint-builder

    Emits efficient code from Triton VM's AIR

    v2.0.0 1.9K #triton-vm #constraints #air #builder #codegen #emit

  10. triton-constraint-circuit

    AIR constraints build helper for Triton VM

    v2.0.0 600 #zero-knowledge-proofs #triton-vm #constraints #graph-node #air #acyclic-graph

  11. triton-opcodes

    Triton VM instructions and their translations

    v0.31.0 330 #triton-vm #intermediate-representation #stark-proof-system #air #name #dup #aet #proof-systems #cryptography #min-max