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 223 35

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 223 Apache-2.0 35 29 4 Updated Jun 25, 2024
  • tasm-lib Public

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

    TritonVM/tasm-lib’s past year of commit activity
    Rust 10 Apache-2.0 2 15 (1 issue needs help) 2 Updated Jun 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 4 Apache-2.0 0 1 0 Updated Jun 5, 2024
  • tasm-lang Public

    Writing tasm with Rust syntax

    TritonVM/tasm-lang’s past year of commit activity
    Rust 15 2 20 0 Updated May 6, 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…