-
-
ultrahonk_soroban_contract Public
Forked from indextree/ultrahonk_soroban_contractSoroban contract for Ultrahonk Verifier
Rust MIT License UpdatedAug 15, 2025 -
poseidon2 Public
Forked from zkpassport/poseidon2A blazing fast Poseidon2 implementation in TypeScript for the BN254 curve
TypeScript MIT License UpdatedJul 3, 2025 -
zk-nullifier-sig Public
Forked from signorecello/zk-nullifier-sigImplementation of PLUME: nullifier friendly signature scheme on ECDSA
Rust MIT License UpdatedJun 14, 2025 -
co-snarks Public
Forked from TaceoLabs/co-snarksTooling for creating collaborative SNARKs for Circom and Noir circuits.
Rust Apache License 2.0 UpdatedMay 31, 2025 -
-
-
whir Public
Forked from WizardOfMenlo/whirWHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification
Rust Apache License 2.0 UpdatedMar 11, 2025 -
binius Public
Forked from IrreducibleOSS/biniusA SNARK using towers of binary fields, implemented in Rust
Rust Apache License 2.0 UpdatedMar 10, 2025 -
-
-
-
sumfold Public
Forked from grandchildrice/sumfoldA Folding Scheme to compress Sumcheck instances
Rust MIT License UpdatedFeb 20, 2025 -
Plonky3 Public
Forked from Plonky3/Plonky3A toolkit for polynomial IOPs (PIOPs)
Rust Apache License 2.0 UpdatedFeb 13, 2025 -
-
ark-spartan Public
Forked from arkworks-rs/spartanSpartan on Arkworks
Rust MIT License UpdatedDec 12, 2024 -
-
poseidon2_horizen Public
Forked from HorizenLabs/poseidon2Rust Apache License 2.0 UpdatedNov 25, 2024 -
noname Public
Forked from zksecurity/nonameNoname: a programming language to write zkapps
Rust UpdatedSep 22, 2024 -
-
sp1 Public
Forked from succinctlabs/sp1A performant, 100% open-source, contributor-friendly zkVM.
Rust Apache License 2.0 UpdatedAug 9, 2024 -
-
-
-
-
circom-compat Public
Forked from arnaucube/circom-compatArkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
Rust Apache License 2.0 UpdatedJul 12, 2024 -
-
-
arkworks_groth16_fork Public
Forked from arkworks-rs/groth16A Rust implementation of the Groth16 zkSNARK
Rust Apache License 2.0 UpdatedJun 14, 2024 -
sonobe_simple_circuit Public
Proving the Fibonacci Sequence with Sonobe's Nova scheme.