Skip to content
@TritonVM

Triton VM

Recursively verifiable STARKs for Triton VM.

Pinned Loading

  1. 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.

    Rust 255 42

Repositories

Showing 6 of 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.

    Rust 255 Apache-2.0 42 25 1 Updated Mar 25, 2025
  • triton-vm.org Public

    The website for Triton VM.

    HTML 0 Apache-2.0 1 0 0 Updated Mar 20, 2025
  • triton-tui Public

    Terminal User Interface to help debugging programs written for Triton VM.

    Rust 7 Apache-2.0 0 1 0 Updated Mar 20, 2025
  • triton-cli Public

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

    Rust 2 Apache-2.0 0 0 0 Updated Mar 2, 2025
  • tasm-lang Public

    Writing tasm with Rust syntax

    Rust 14 2 23 (1 issue needs help) 0 Updated Feb 24, 2025
  • tasm-lib Public

    A collection of functions written in Triton VM assembly (tasm)

    Rust 11 Apache-2.0 2 22 (5 issues need help) 2 Updated Feb 21, 2025

Top languages

Loading…

Most used topics

Loading…