adria0 / za
An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
☆42Updated 3 years ago
Alternatives and similar repositories for za:
Users that are interested in za are comparing it to the libraries listed below
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 5 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- ☆18Updated last year
- An implementation of a namespaced merkle tree in Rust.☆31Updated last week
- Fawkes-Crypto - zkSNARKs framework☆22Updated last year
- ☆17Updated 2 years ago
- Large Files Storage for Substrate☆22Updated 5 years ago
- Prover for the Plumo light client system https://docs.zkproof.org/pages/standards/accepted-workshop3/proposal-plumo_celolightclient.pdf☆14Updated 3 years ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆11Updated 6 months ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Simplified ed25519 BIP32 derivations☆24Updated last year
- BLS12-381 cryptography using Apache Milagro☆28Updated last year
- ☆28Updated 2 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23Updated 6 years ago
- ☆16Updated 11 months ago
- ☆28Updated last year
- ☆20Updated 2 years ago
- ☆26Updated 2 years ago
- A library for decentralized private computation☆19Updated 3 years ago
- Merkle-Mountain-Range library☆17Updated 2 years ago
- Argument systems for inner pairing products☆42Updated 9 months ago
- A minimal RedJubjub implementation for use in Zebra.☆28Updated 3 weeks ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆54Updated 3 weeks ago
- RLN wrappers and implementation in Go☆11Updated 3 years ago
- circom runtime☆19Updated 6 months ago
- Cryptography libraries for ZKsync☆31Updated last week
- A generalized merkle mountain range implementation.☆57Updated last month
- A pure rust implementation of Arcturus proofs for confidential transactions.☆12Updated 4 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated last year
- Early-stage research related to the Anoma protocols.☆23Updated last year