kunxian-xia
Follow
-
-
openvm Public
Forked from openvm-org/openvmA performant and modular zkVM framework built for customization and extensibility.
Rust MIT License UpdatedJan 15, 2025 -
sp1 Public
Forked from succinctlabs/sp1A performant, 100% open-source, contributor-friendly zkVM.
-
Spartan Public
Forked from microsoft/SpartanSpartan: High-speed zkSNARKs without trusted setup
Rust MIT License UpdatedDec 9, 2024 -
ceno Public
Forked from scroll-tech/cenoAccelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Rust Apache License 2.0 UpdatedNov 27, 2024 -
sp1-reth Public
Forked from 0x8f701/sp1-rethA performant, type-1 zkEVM written in Rust & SP1.
Rust Apache License 2.0 UpdatedOct 12, 2024 -
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Rust MIT License UpdatedSep 8, 2024 -
plonky2-ecdsa Public
Forked from 0xPolygonZero/plonky2-ecdsaECDSA gadgets for plonky2
Rust Apache License 2.0 UpdatedJul 31, 2024 -
plonky2-u32 Public
Forked from 0xPolygonZero/plonky2-u32u32 arithmetic gadgets for plonky2
Rust Apache License 2.0 UpdatedJul 31, 2024 -
-
halo2curves Public
Forked from privacy-scaling-explorations/halo2curvesRust Other UpdatedMay 21, 2024 -
risc0 Public
Forked from risc0/risc0RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
C++ Apache License 2.0 UpdatedFeb 26, 2024 -
-
ff Public
Forked from zkcrypto/ffTraits and utilities for working with finite fields.
Rust Apache License 2.0 UpdatedJan 29, 2024 -
pasta_curves Public
Forked from zcash/pasta_curvesRust implementation for zcash/pasta
Rust Other UpdatedJan 29, 2024 -
pairing Public
Forked from zkcrypto/pairingPairing-friendly elliptic curve library.
Rust Other UpdatedJan 26, 2024 -
group Public
Forked from zkcrypto/groupElliptic curve group traits and utilities.
Rust Other UpdatedJan 26, 2024 -
-
winterfell Public
Forked from facebook/winterfellA STARK prover and verifier for arbitrary computations
Rust MIT License UpdatedDec 25, 2023 -
Plonky3 Public
Forked from Plonky3/Plonky3A collection of libraries related to polynomial IOPs (PIOPs)
Rust Apache License 2.0 UpdatedDec 11, 2023 -
zkevm-prover Public
Forked from 0xPolygonHermez/zkevm-proverzkEVM prover in C++
C++ Other UpdatedNov 10, 2023 -
-
pil-stark Public
Forked from 0xPolygonHermez/pil-starkGenerates a stark from a pil
JavaScript Other UpdatedSep 20, 2023 -
-
zkevm-proverjs Public
Forked from 0xPolygonHermez/zkevm-proverjszkEVM proof generator reference written in Javascript
JavaScript Other UpdatedSep 19, 2023 -
ethers-rs Public
Forked from gakonst/ethers-rsComplete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
Rust Apache License 2.0 UpdatedJun 6, 2023 -
halo2-lib Public
Forked from scroll-tech/halo2-libMonorepo of halo2 crates
Rust MIT License UpdatedFeb 10, 2023 -
zkevm-circuits Public
Forked from privacy-scaling-explorations/zkevm-circuitsRust Other UpdatedJan 6, 2023 -
-
snarky Public
Forked from o1-labs/snarkyOCaml DSL for verifiable computation
HTML MIT License UpdatedMar 1, 2020