Skip to content

@TritonVM Triton VM

Change the repository type filter

All

    Repositories list

    6 repositories

    • triton-vm

      Public
      Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
      cryptographystarkzero-knowledgezk-starksrust
      Rust
      •
      Apache License 2.0
      •40•249•32•3•Updated Dec 23, 2024Dec 23, 2024

    • tasm-lib

      Public
      A collection of functions written in Triton VM assembly (tasm)
      Rust
      •
      Apache License 2.0
      •2•11•23•4•Updated Dec 20, 2024Dec 20, 2024

    • triton-tui

      Public
      Terminal User Interface to help debugging programs written for Triton VM.
      Rust
      •
      Apache License 2.0
      •0•6•1•0•Updated Dec 4, 2024Dec 4, 2024

    • tasm-lang

      Public
      Writing tasm with Rust syntax
      Rust
      •2•15•22•1•Updated Sep 16, 2024Sep 16, 2024

    • triton-vm.org

      Public
      The website for Triton VM.
      HTML
      •
      Apache License 2.0
      •1•0•0•0•Updated Dec 23, 2023Dec 23, 2023

    • zkp-compiler-shootout

      Public
      Evaluating & benchmarking ZKP compilation strategies.
      Rust
      •
      GNU General Public License v3.0
      •13•0•0•0•Updated Sep 27, 2023Sep 27, 2023