-
-
-
-
Whirlaway Public
Forked from TomWambsgans/WhirlawayA pqSNARK with lightweight proofs, powered by the Whir PCS.
Rust Apache License 2.0 UpdatedSep 5, 2025 -
provekit Public
Forked from worldfnd/provekitClient side zero-knowledge proving.
Rust MIT License UpdatedSep 2, 2025 -
-
ExpanderCompilerCollection Public
Forked from PolyhedraZK/ExpanderCompilerCollectionExpander Compiler
Rust GNU Affero General Public License v3.0 UpdatedAug 7, 2025 -
ceno Public
Forked from scroll-tech/cenoAccelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
Rust Apache License 2.0 UpdatedAug 5, 2025 -
Expander Public
Forked from PolyhedraZK/ExpanderExpander, an open-source GKR prover designed for scaling large-scale parallel computing.
Rust GNU Affero General Public License v3.0 UpdatedJul 31, 2025 -
plonky2-u32 Public
Forked from 0xPolygonZero/plonky2-u32u32 arithmetic gadgets for plonky2
Rust Apache License 2.0 UpdatedMay 15, 2025 -
plonky2-sha256 Public
Forked from polymerdao/plonky2-sha256 -
spartan-ecdsa Public
Forked from personaelabs/spartan-ecdsaThe fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
Rust UpdatedMay 12, 2025 -
sha256_expander_benchmark Public
Forked from duguorong009/sha256_expander_benchmarkShell UpdatedMay 2, 2025 -
zkvm-bench Public
Forked from babybear-labs/benchmarkBenchmark of ZKVMs and Proving Schemes
Rust UpdatedApr 28, 2025 -
binius Public
Forked from IrreducibleOSS/biniusA SNARK using towers of binary fields, implemented in Rust
Rust Apache License 2.0 UpdatedApr 10, 2025 -
spartan-circom Public
Write Spartan circuits in Circom
-
Spartan Public
Forked from microsoft/SpartanSpartan: High-speed zkSNARKs without trusted setup
Rust MIT License UpdatedMar 18, 2025 -
-
-
mopro Public
Forked from zkmopro/moproMaking client-side proving on mobile simple.
Rust Apache License 2.0 UpdatedFeb 14, 2025 -
-
rust-witness Public
Forked from chancehudson/rust-witnessGenerate circom witnesses natively in Rust
Rust UpdatedDec 24, 2024 -
whir Public
Forked from dmpierre/whirWHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
Rust Apache License 2.0 UpdatedOct 26, 2024 -
mopro_flutter Public archive
Generate ZKPs in your Flutter mobile app!
Kotlin Other UpdatedSep 9, 2024 -
chiquito-language-server Public
Forked from IWANABETHATGUY/tower-lsp-boilerplateChiquito language server
Rust MIT License UpdatedJul 2, 2024 -
plonky2-crypto Public
Forked from JumpCrypto/plonky2-cryptoCrypto Gadgets for Plonky2
Rust Apache License 2.0 UpdatedMay 16, 2024 -
summa-solvency Public
Forked from summa-dev/summa-solvencyCircuits for proof of solvency written in Halo2
Rust Apache License 2.0 UpdatedDec 5, 2023 -
plurality-rus-translation Public
Forked from pluralitybook/pluralityRoot repository for Plurality: Technology for Collaborative Diversity and Democracy by Audrey Tang and E. Glen Weyl
Jupyter Notebook Creative Commons Zero v1.0 Universal UpdatedOct 17, 2023 -
-
zk-wordle Public
The Wordle you know, but with Zero-Knowledge Proofs
{{ message }}