-
binius Public
Forked from IrreducibleOSS/biniusA SNARK using towers of binary fields, implemented in Rust
Rust Apache License 2.0 UpdatedJun 10, 2025 -
-
-
-
garaga Public
Forked from keep-starknet-strange/garagaState-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Cairo MIT License UpdatedMar 1, 2025 -
-
varunthakore.github.io Public
Forked from kitian616/jekyll-TeXt-themePersonal Webpage
SCSS MIT License UpdatedFeb 7, 2025 -
noname Public
Forked from zksecurity/nonameNoname: a programming language to write zkapps
Rust UpdatedDec 14, 2024 -
-
MProvePlus-Ristretto Public
Forked from suyash67/MProvePlus-RistrettoMProvePlus implementation in Rust based on the Ristretto curve.
Rust UpdatedDec 13, 2024 -
MProve-Ristretto Public
Forked from suyash67/MProve-RistrettoMProve implementation in Rust based on Ristretto curve, based on the paper: https://eprint.iacr.org/2018/1210.pdf
Rust UpdatedDec 13, 2024 -
zkvm-benchmarks Public
Forked from a16z/zkvm-benchmarksBenchmarks of popular zkVMs including Jolt
Rust UpdatedDec 4, 2024 -
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Rust MIT License UpdatedNov 22, 2024 -
pumice Public
Forked from zksecurity/pumiceAn API compatible port of the Stone prover.
Rust UpdatedNov 2, 2024 -
-
Nova Public
Forked from microsoft/NovaNova: High-speed recursive arguments from folding schemes
-
-
merkle-trees Public
R1CS implementation for Merkle Trees using bellpepper
-
-
bellpepper Public
Forked from lurk-lang/bellpepperSNARK Circuit library
Rust Other UpdatedMar 21, 2024 -
bellpepper-gadgets Public
Forked from lurk-lab/bellpepper-gadgetsA library of gadgets compatible with bellpepper and bellperson
Rust MIT License UpdatedJan 21, 2024 -
-
bellperson-nonnative Public
Forked from avras/bellperson-nonnativeNon-native arithmetic for SNARKs
Rust Other UpdatedDec 9, 2023 -
-
bp-ed25519 Public
Forked from avras/bp-ed25519R1CS constraints for the Curve25519 base field
Rust MIT License UpdatedNov 15, 2023 -
-
bellperson-sha512 Public
R1CS implementation of SHA512 using bellperson
-
indexed-merkle-tree Public
R1CS implementation for Indexed Merkle Tree
Rust MIT License UpdatedAug 10, 2023 -
curve25519-dalek Public
Forked from dalek-cryptography/curve25519-dalekA pure-Rust implementation of group operations on Ristretto and Curve25519
Rust Other UpdatedJul 18, 2023 -
{{ message }}