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
      •42•253•30•1•Updated Feb 22, 2025Feb 22, 2025

    • triton-cli

      Public
      Command Line Interface to run, prove, and verify programs written for Triton VM.
      Rust
      •
      Apache License 2.0
      •0•2•0•0•Updated Feb 22, 2025Feb 22, 2025

    • triton-tui

      Public
      Terminal User Interface to help debugging programs written for Triton VM.
      Rust
      •
      Apache License 2.0
      •0•6•1•0•Updated Feb 21, 2025Feb 21, 2025

    • tasm-lib

      Public
      A collection of functions written in Triton VM assembly (tasm)
      Rust
      •
      Apache License 2.0
      •2•11•22•2•Updated Feb 21, 2025Feb 21, 2025

    • tasm-lang

      Public
      Writing tasm with Rust syntax
      Rust
      •2•14•23•1•Updated Feb 12, 2025Feb 12, 2025

    • triton-vm.org

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