-
sp1 Public
Forked from succinctlabs/sp1The fastest, most feature-complete zkVM for developers.
Rust Apache License 2.0 UpdatedJun 3, 2025 -
Plonky3 Public
Forked from Plonky3/Plonky3A toolkit for polynomial IOPs (PIOPs)
Rust Apache License 2.0 UpdatedMay 25, 2025 -
whir Public
Forked from WizardOfMenlo/whirWHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
Rust Apache License 2.0 UpdatedMar 12, 2025 -
sol-whir Public
Forked from privacy-scaling-explorations/sol-whirSolidity libraries and contracts for verifying WHIR proofs on the EVM.
Solidity MIT License UpdatedDec 19, 2024 -
sp1-project-template Public template
Forked from succinctlabs/sp1-project-templateTemplate for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
Rust MIT License UpdatedDec 4, 2024 -
zkm-weil Public
Forked from weilzkm/zkmThe universal zkVM empowering Ethereum as the Global Settlement Layer
Rust MIT License UpdatedDec 1, 2024 -
zkm-project-template Public
Forked from zkMIPS/zkm-project-templateZKM Development Template/Framework
Rust Apache License 2.0 UpdatedNov 29, 2024 -
-
zkvm-benchmarks Public
Forked from zkMIPS/zkvm-benchmarksBenchmarks of popular zkVMs including Jolt
Rust UpdatedOct 31, 2024 -
-
eigen-zkvm Public
Forked from 0xEigenLabs/eigen-zkvmA Rust zkVM with a Modular Proof System
Rust Apache License 2.0 UpdatedAug 10, 2024 -
powdr Public
Forked from powdr-labs/powdrA modular stack for zkVMs, with a focus on productivity, security and performance.
Rust Apache License 2.0 UpdatedAug 9, 2024 -
eigen-estark-gevulot Public
Forked from 0xEigenLabs/eigen-estark-gevulotAssembly UpdatedJul 29, 2024 -
use-cases Public
Forked from zkMIPS/use-casesSome Example Use Cases Using ZKM Generated Proofs
Go UpdatedJul 18, 2024 -
valida Public
Forked from valida-xyz/validaA STARK-based VM focused on code reuse, performance, and modularity
Rust Apache License 2.0 UpdatedJul 15, 2024 -
bitcoin-circle-stark Public
Forked from Bitcoin-Wildlife-Sanctuary/bitcoin-circle-starkBuilding blocks of a Circle STARK verifier in Bitcoin script
Rust MIT License UpdatedJul 12, 2024 -
ops Public
Forked from nanovms/opsops - build and run nanos unikernels
Go MIT License UpdatedJun 12, 2024 -
hash-based-snargs-book Public
Forked from hash-based-snargs-book/hash-based-snargs-bookSource code for "Building Cryptographic Proofs from Hash Functions"
TeX UpdatedMay 11, 2024 -
Expander Public
Forked from PolyhedraZK/Expander-cppExpander, an open-source GKR prover designed for scaling large-scale parallel computing.
C++ GNU Affero General Public License v3.0 UpdatedMay 11, 2024 -
The lookup singularity. Based on Spartan; built on Arkworks.
Rust MIT License UpdatedMar 26, 2024 -
cdk-validium-node Public
Forked from 0xPolygon/cdk-validium-nodeGo implementation of a node that operates the Polygon zkEVM Network
Go Other UpdatedJan 19, 2024 -
winterfell Public
Forked from facebook/winterfellA STARK prover and verifier for arbitrary computations
Rust MIT License UpdatedDec 29, 2023 -
binius Public
Forked from Hodgeson/biniusFork of binius
Rust Apache License 2.0 UpdatedNov 20, 2023 -
virgo-plus Public
Forked from TAMUCrypto/virgo-plusAn efficient interactive zero-knowledge proof scheme based on GKR in terms of unlayered circuit.
C++ MIT License UpdatedMay 23, 2023 -
optimism Public
Forked from ethereum-optimism/optimismThe Optimism monorepo
Go MIT License UpdatedSep 22, 2022 -
-
tornado-relayer Public
Forked from tornadocash-community/tornado-relayerJavaScript UpdatedAug 10, 2022 -
tornado-core Public
Forked from tornadocash-community/tornado-coreJavaScript GNU General Public License v3.0 UpdatedAug 10, 2022 -
Dapp-Learning Public
Forked from Dapp-Learning-DAO/Dapp-LearningDapp learning project for developers at all stages. Becoming and cultivating sovereign individuals. Nonprofit organization.
Solidity MIT License UpdatedMay 25, 2022 -
openzeppelin-contracts Public
Forked from OpenZeppelin/openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.
JavaScript MIT License UpdatedApr 17, 2022
{{ message }}