miden-vm
STARK-based virtual machine
AI summary
Virtual machine
A STARK-based virtual machine designed to execute programs and generate proof of execution without revealing program details.
- stars
- 633
- forks
- 164
- watching
- 24
Similar projects
Found by comparing what the projects do, not just their names.
VM
A Linux virtual machine designed for mobile application pentesting and malware analysis.
Virtual machine
An implementation of the Ethereum Virtual Machine
bluealloy/revm1.7K
EVM simulator
Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity.
Blockchain toolkit
A toolkit for interacting with the Starknet blockchain using JVM languages
facebook/hhvm18.2K
Virtual machine
A virtual machine designed to execute programs written in a statically-typed programming language.
risc0/risc01.7K
Virtual Machine
A platform for executing and verifying computations in a secure, programmable virtual machine.
Virtual Machine
An open-source virtual machine project enabling 64-bit x86 application execution in a 32-bit address space.
Virtual machine emulator
An emulator implementation of the Uxn virtual machine in WebAssembly
Verification VM
A virtual machine designed to enable efficient recursive verification of proofs of computational integrity using algebraic execution tables and arithmetic intermediate representations.
Virtual Machine
An 8-bit virtual machine implemented in ActionScript to simulate low-level computing concepts
WASM toolkit
A toolset for building and testing WebAssembly code using Nim.
VM
A WebAssembly-based virtual machine implementation for Uxn ROMs, enabling the creation of portable and distributable web applications.
EVM interpreter
A flexible, customizable, and portable implementation of the Ethereum Virtual Machine
VMs
Provides a way to run isolated virtual machines with high performance
Virtual machine manager
A tool for launching and managing lightweight Linux-based virtual machines
