triton-vm
Verification VM
A virtual machine designed to enable efficient recursive verification of proofs of computational integrity using algebraic execution tables and arithmetic intermediate representations.
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.
249 stars
11 watching
39 forks
Language: Rust
last commit: almost 2 years agocryptographyruststarkzero-knowledgezk-starks
Related projects:
| Repository | Description | Stars |
|---|---|---|
 0xpolygonmiden/miden-vm | A STARK-based virtual machine designed to execute programs and generate proof of execution without revealing program details. | 633 |
 vellvm/vellvm | A formal verification project of the LLVM compiler's semantics using Coq proof assistant. | 405 |
 valida-xyz/valida | A STARK-based virtual machine designed to improve code reuse, performance and modularity through a custom instruction set, compiler and extensibility features. | 303 |
 osvvm/osvvmlibraries | Provides reusable and modular VHDL verification components for creating testbenches and verifying digital circuits. | 52 |
 bluealloy/revm | Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity. | 1,685 |
 rust-ethereum/evm | A flexible, customizable, and portable implementation of the Ethereum Virtual Machine | 1,200 |
 verifytests/verify.communitytoolkit.mvvm | A test suite for verifying the behavior of CommunityToolkit.Mvvm | 1 |
| osvvm/osvvm | A comprehensive VHDL verification utility library with advanced testing and verification capabilities | 228 |
 runtimeverification/evm-semantics | Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language. | 509 |
 blitzstudios/triton | An Elixir-based Cassandra ORM to simplify interactions with Apache Cassandra databases | 80 |
 ethereum/evmone | An implementation of the Ethereum Virtual Machine | 872 |
 0xpolygonhermez/zkevm-prover | A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions | 229 |
 vorot93/evmodin | An implementation of the Ethereum Virtual Machine in Rust, with support for resumability and gas metering. | 161 |
 oguzhantopgul/vezir-project | A Linux virtual machine designed for mobile application pentesting and malware analysis. | 103 |
 risc0/risc0 | A platform for executing and verifying computations in a secure, programmable virtual machine. | 1,731 |