-
Ziren Public
Forked from ProjectZKM/ZirenAn open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2
Rust MIT License UpdatedNov 11, 2025 -
-
-
ziren-wasm-stark-verifier Public
Forked from ethproofs/ziren-wasm-stark-verifierHTML UpdatedOct 29, 2025 -
zkvm-benchmarks Public
Forked from ProjectZKM/zkvm-benchmarksBenchmarks of popular zkVMs including Jolt
Rust UpdatedOct 28, 2025 -
-
brainfuck-stark Public
A ZK-VM for the Brainfuck language, built on Plonky3.
-
Plonky3 Public
Forked from ProjectZKM/Plonky3A toolkit for polynomial IOPs (PIOPs)
Rust Apache License 2.0 UpdatedSep 29, 2025 -
fri-cuda Public
FRI low-degree test (LDT) on GPU via CUDA, following Plonky3.
Rust UpdatedSep 12, 2025 -
inversify-typeorm Public
Dependency injection and service container integration with TypeORM using InversifyJs library.
-
-
rust-cuda-example Public
A Rust and CUDA Integration Example.
C++ Apache License 2.0 UpdatedAug 22, 2025 -
-
-
zkm-prover Public
Forked from ProjectZKM/zkm-proverA parallel proving service for ZKM.
Rust UpdatedJul 10, 2025 -
goat-geth Public
Forked from GOATNetwork/goat-gethgeth fork for goat evm runtime
Go GNU Lesser General Public License v3.0 UpdatedJun 24, 2025 -
sp1 Public
Forked from succinctlabs/sp1The fastest, most feature-complete zkVM for developers.
Rust Apache License 2.0 UpdatedJun 20, 2025 -
-
-
revm Public
Forked from bluealloy/revmRust implementation of the Ethereum Virtual Machine.
Rust MIT License UpdatedJun 4, 2025 -
reth Public
Forked from paradigmxyz/rethModular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Rust Apache License 2.0 UpdatedJun 3, 2025 -
alloy Public
Forked from alloy-rs/alloyTransports, Middleware, and Networks for the Alloy project
Rust Apache License 2.0 UpdatedJun 3, 2025 -
rsp-subblock Public
Forked from succinctlabs/rsp-subblockRust Apache License 2.0 UpdatedMay 21, 2025 -
rsp Public
Forked from succinctlabs/rspA minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
Rust Apache License 2.0 UpdatedMay 7, 2025 -
zkm-project-template Public
Forked from ProjectZKM/zkm-project-templateZKM Development Template/Framework
Rust Apache License 2.0 UpdatedApr 18, 2025 -
-
wtd-bayarea-mdbook Public
Forked from joshrotenberg/wtd-bayarea-mdbookShort presentation on mdbook for Write the Docs Bay Area
UpdatedApr 13, 2025 -
-
Agglayer_PessimisticProof_Benchmark Public
Forked from BrianSeong99/Agglayer_PessimisticProof_BenchmarkThis repo explains the design and the usage of Pessimistic Proof in AggLayer. It compares the bench performance of running pessimistic proof in SP1, Pico, Risc0, Valida, OpenVM zkVMs and more.
Rust MIT License UpdatedApr 2, 2025 -
zkm Public
Forked from ProjectZKM/zkmThe universal zkVM empowering Ethereum as the Global Settlement Layer
Rust MIT License UpdatedMar 28, 2025
{{ message }}