triton-vm

Rustpushed almost 2 years ago

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.

AI summary

Verification VM

A virtual machine designed to enable efficient recursive verification of proofs of computational integrity using algebraic execution tables and arithmetic intermediate representations.

stars: 249
forks: 39
watching: 11

View on GitHub triton-vm.org

Similar projects

Found by comparing what the projects do, not just their names.

0xpolygonmiden/miden-vm633
Virtual machine
A STARK-based virtual machine designed to execute programs and generate proof of execution without revealing program details.
vellvm/vellvm405
Compiler verifier
A formal verification project of the LLVM compiler's semantics using Coq proof assistant.
valida-xyz/valida303
Virtual Machine
A STARK-based virtual machine designed to improve code reuse, performance and modularity through a custom instruction set, compiler and extensibility features.
osvvm/osvvmlibraries52
Verification framework
Provides reusable and modular VHDL verification components for creating testbenches and verifying digital circuits.
bluealloy/revm1.7K
EVM simulator
Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity.
rust-ethereum/evm1.2K
EVM interpreter
A flexible, customizable, and portable implementation of the Ethereum Virtual Machine
verifytests/verify.communitytoolkit.mvvm1
Mvvm tester
A test suite for verifying the behavior of CommunityToolkit.Mvvm
osvvm/osvvm228
VHDL verification library
A comprehensive VHDL verification utility library with advanced testing and verification capabilities
runtimeverification/evm-semantics509
EVM model
Provides a formal model of the Ethereum Virtual Machine (EVM) semantics in the K programming language.
blitzstudios/triton80
Cassandra ORM
An Elixir-based Cassandra ORM to simplify interactions with Apache Cassandra databases
ethereum/evmone872
EVM implementation
An implementation of the Ethereum Virtual Machine
0xpolygonhermez/zkevm-prover229
EVM Prover
A high-performance prover that generates proofs for Ethereum Virtual Machines (EVM) transactions
vorot93/evmodin161
EVM interpreter
An implementation of the Ethereum Virtual Machine in Rust, with support for resumability and gas metering.
oguzhantopgul/vezir-project103
VM
A Linux virtual machine designed for mobile application pentesting and malware analysis.
risc0/risc01.7K
Virtual Machine
A platform for executing and verifying computations in a secure, programmable virtual machine.