rdi-berkeley / zkp-mooc-labView external linksLinks
☆90Mar 14, 2023Updated 2 years ago
Alternatives and similar repositories for zkp-mooc-lab
Users that are interested in zkp-mooc-lab are comparing it to the libraries listed below
Sorting:
- ☆61Jan 31, 2023Updated 3 years ago
- To bring zero knowledge privacy primitives to all web3 developers.☆13Oct 20, 2023Updated 2 years ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆102Dec 2, 2024Updated last year
- A "Type 0" zkEVM☆12Jul 16, 2025Updated 6 months ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- ☆204Nov 25, 2023Updated 2 years ago
- Testudo: Spartan + Groth16☆53Feb 21, 2024Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year
- ☆49Updated this week
- Leology is an Aleo testing framework that makes developing Leo programs faster, easier, and safer.☆16Apr 9, 2025Updated 10 months ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- A repo for our research papers☆245Jun 4, 2025Updated 8 months ago
- ☆19Jan 20, 2023Updated 3 years ago
- Source code for "Building Cryptographic Proofs from Hash Functions"☆224Dec 4, 2025Updated 2 months ago
- ☆23Mar 8, 2024Updated last year
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- A list of worth-reading articles about Cryptohraphy☆16Jul 24, 2024Updated last year
- A PoC repo for a HyperNova impl☆83Aug 23, 2023Updated 2 years ago
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 7 months ago
- ☆33Sep 22, 2023Updated 2 years ago
- Rescue and Poseidon hash function implementations☆43Aug 15, 2024Updated last year
- A curated list of awesome things related to plonk proof system☆239Aug 17, 2024Updated last year
- An instantiation of the Poseidon hash for use with decaf377☆29Mar 6, 2025Updated 11 months ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- Cryptographic protocols☆38Apr 19, 2023Updated 2 years ago
- Circuits☆22Jan 30, 2026Updated 2 weeks ago
- Write-ups submitted by CTF participants☆35Jun 1, 2023Updated 2 years ago
- ☆20Nov 3, 2025Updated 3 months ago
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆59May 19, 2023Updated 2 years ago
- Tutorial for writing constraints in the `arkworks` framework☆259Jun 21, 2024Updated last year
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification☆10Oct 9, 2023Updated 2 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- Collection of security reviews of ZK Protocols☆239Dec 1, 2024Updated last year