miden-vm
Virtual machine
A STARK-based virtual machine designed to execute programs and generate proof of execution without revealing program details.
STARK-based virtual machine
631 stars
23 watching
161 forks
Language: Rust
last commit: 4 days ago cryptographystarkvirtual-machinezero-knowledge
Related projects:
| Repository | Description | Stars |
|---|---|---|
 oguzhantopgul/vezir-project | A Linux virtual machine designed for mobile application pentesting and malware analysis. | 103 |
 nervous-systems/sputter | An implementation of the Ethereum Virtual Machine | 122 |
 bluealloy/revm | Rust implementation of an Ethereum Virtual Machine with focus on speed and simplicity. | 1,652 |
 software-mansion/starknet-jvm | A toolkit for interacting with the Starknet blockchain using JVM languages | 65 |
 facebook/hhvm | A virtual machine designed to execute programs written in a statically-typed programming language. | 18,188 |
 risc0/risc0 | A platform for executing and verifying computations in a secure, programmable virtual machine. | 1,681 |
 zerovm/zerovm | An open-source virtual machine project enabling 64-bit x86 application execution in a 32-bit address space. | 817 |
 remko/uxn.wasm | An emulator implementation of the Uxn virtual machine in WebAssembly | 41 |
 tritonvm/triton-vm | A virtual machine designed to enable efficient recursive verification of proofs of computational integrity using algebraic execution tables and arithmetic intermediate representations. | 247 |
 outofthevoid/as3-8-bit-vm | An 8-bit virtual machine implemented in ActionScript to simulate low-level computing concepts | 5 |
 feneric/nim-wasm-helpers | A toolset for building and testing WebAssembly code using Nim. | 28 |
 aduros/webuxn | A WebAssembly-based virtual machine implementation for Uxn ROMs, enabling the creation of portable and distributable web applications. | 78 |
 rust-ethereum/evm | A flexible, customizable, and portable implementation of the Ethereum Virtual Machine | 1,187 |
 astro/microvm.nix | Provides a way to run isolated virtual machines with high performance | 1,412 |
 mic92/nixos-shell | A tool for launching and managing lightweight Linux-based virtual machines | 678 |