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 249 40

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 249 Apache-2.0 40 32 3 Updated Dec 23, 2024
  • 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 23 (5 issues need help) 4 Updated Dec 20, 2024
  • 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 Dec 4, 2024
  • tasm-lang Public

    Writing tasm with Rust syntax

    TritonVM/tasm-lang’s past year of commit activity
    Rust 15 2 22 (1 issue needs help) 1 Updated Sep 16, 2024
  • 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
  • zkp-compiler-shootout Public Forked from anoma/zkp-compiler-shootout

    Evaluating & benchmarking ZKP compilation strategies.

    TritonVM/zkp-compiler-shootout’s past year of commit activity
    Rust 0 GPL-3.0 13 0 0 Updated Sep 27, 2023

Top languages

Loading…

Most used topics

Loading…