Skip to content
@TritonVM

Triton VM

Recursively verifiable STARKs for Triton VM.

Pinned Loading

  1. triton-vm 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 253 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.

    TritonVM/triton-vm’s past year of commit activity
    Rust 253 Apache-2.0 42 30 1 Updated Feb 22, 2025
  • triton-cli Public

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

    TritonVM/triton-cli’s past year of commit activity
    Rust 2 Apache-2.0 0 0 0 Updated Feb 22, 2025
  • triton-tui Public

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

    TritonVM/triton-tui’s past year of commit activity
    Rust 6 Apache-2.0 0 1 0 Updated Feb 21, 2025
  • tasm-lib Public

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

    TritonVM/tasm-lib’s past year of commit activity
    Rust 11 Apache-2.0 2 22 (5 issues need help) 2 Updated Feb 21, 2025
  • tasm-lang Public

    Writing tasm with Rust syntax

    TritonVM/tasm-lang’s past year of commit activity
    Rust 14 2 23 (1 issue needs help) 1 Updated Feb 12, 2025
  • triton-vm.org Public

    The website for Triton VM.

    TritonVM/triton-vm.org’s past year of commit activity
    HTML 0 Apache-2.0 1 0 0 Updated Dec 23, 2023

Top languages

Loading…

Most used topics

Loading…