Here are
34 public repositories
matching this topic...
The Nexus zkVM: The zero-knowledge virtual machine
Updated
Dec 18, 2024
Rust
Anonymous. Uncensored. Sovereign.
Updated
Dec 25, 2024
Rust
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Updated
Dec 18, 2024
Rust
A Rust zkVM with a Modular Proof System
Updated
Dec 22, 2024
Rust
A curated list of zkVM, zero-knowledge virtual machine
The universal zkVM empowering Ethereum as the Global Settlement Layer
Updated
Dec 20, 2024
Rust
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Updated
Feb 14, 2023
Lean
Benchmarks of popular zkVMs including Jolt
Updated
Apr 19, 2024
Rust
A Brainfuck zkVM with Circom.
Updated
Jul 21, 2023
Circom
Cairo-VM STARK Verifier Rust implementation
Updated
Dec 23, 2024
Rust
Eigen zkVM's Proving Service
A TEE framework to ship zkVM/zkEVM
Updated
Aug 11, 2022
Rust
Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
Updated
Dec 12, 2024
Rust
A new blockchain architecture with native offchain compute.
Updated
Dec 25, 2024
Rust
A ZK-VM for the Brainfuck language, based on Stwo
Updated
Dec 24, 2024
Rust
A BrainFuck zkVM based on a customised version of PlonkUp
Nexus is ZkVM a Modular Verifiable Internet. A Complete Guide - Run Nexus node as Prover Network.
Updated
Dec 16, 2024
Shell
Basic Groth16 SnarkJS verifier compatible with SP1.
Updated
Sep 27, 2024
Rust
A BrainFuck zkVM implementation on CKB, using Halo2.
Improve this page
Add a description, image, and links to the
zkvm
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
zkvm
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.