Daniel-Szego / zk-leraning-groupLinks
☆14Updated 2 months ago
Alternatives and similar repositories for zk-leraning-group
Users that are interested in zk-leraning-group are comparing it to the libraries listed below
Sorting:
- This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust☆49Updated 2 months ago
- WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification☆150Updated 2 weeks ago
- Multi-party computation libraries written in Rust 🦀☆268Updated this week
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆62Updated 9 months ago
- A curated list of educational materials, guides, and research papers for beginners interested in learning about Fully Homomorphic Encrypt…☆11Updated last year
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆19Updated 4 months ago
- 2PC with ideal UX and DevX. Combination of Garbled Circuits, PLONK, and KZG Witness Encryption☆14Updated 6 months ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆174Updated 4 months ago
- Rust crypto library for data privacy tools☆113Updated this week
- A curated list of Plonky3 resources, libraries, tools and more.☆28Updated 3 months ago
- A curated list of awesome things related to learning Binius☆13Updated 7 months ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆52Updated last week
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆63Updated 7 months ago
- ☆67Updated 2 years ago
- ☆76Updated 7 months ago
- A lattice-based non-interactive folding scheme written in Rust☆91Updated last week
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆43Updated 3 months ago
- Verifiable FHE with GKR☆26Updated 10 months ago
- ☆127Updated 7 months ago
- Circom to Gnark Groth16 parser and recursion example☆18Updated 2 weeks ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆131Updated this week
- ☆58Updated 3 months ago
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆24Updated this week
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆12Updated 5 months ago
- ☆66Updated 8 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆78Updated last week
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆27Updated last year
- Crescent adds privacy to existing credentials with zero-knowledge☆33Updated this week
- A course on Halo2 in collaboration with Zircuit☆29Updated 6 months ago
- Threshold ECDSA via Triples☆80Updated last year