☆61Jan 31, 2023Updated 3 years ago
Alternatives and similar repositories for zkp-course-lecture3-code
Users that are interested in zkp-course-lecture3-code are comparing it to the libraries listed below
Sorting:
- ☆90Mar 14, 2023Updated 2 years ago
- Cryptographic protocols☆38Apr 19, 2023Updated 2 years ago
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- Scikit-learn compatible Python library for generating ZK proofs of execution☆19Feb 19, 2025Updated last year
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆73Nov 6, 2025Updated 4 months ago
- Hammster Next.js and Halo2 web app.☆17May 21, 2023Updated 2 years ago
- Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture☆29Updated this week
- educational python plonk implementation, based on vitalik's py_plonk☆223Jul 12, 2024Updated last year
- ☆38Jul 30, 2025Updated 7 months ago
- ☆67May 13, 2025Updated 9 months ago
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Jul 29, 2023Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Oct 16, 2023Updated 2 years ago
- ZKProofs website☆90Oct 25, 2023Updated 2 years ago
- Prototype implementations of various Collaborative zkSNARKs.☆132Jun 3, 2025Updated 9 months ago
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆102Dec 2, 2024Updated last year
- Source code for "Building Cryptographic Proofs from Hash Functions"☆225Dec 4, 2025Updated 3 months ago
- A curated list of awesome resources for learning and programming with Circom☆23May 15, 2023Updated 2 years ago
- 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆27Mar 4, 2023Updated 3 years ago
- Source code for all entries from the 2023 ZPrize competition☆25Jan 29, 2026Updated last month
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- ☆73Nov 25, 2024Updated last year
- Google Tink's critical Ed25519 bug related to Java "final" keyword☆11Apr 5, 2020Updated 5 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 6 years ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- An NFT collection to commemorate players of the Curta team for their participation and performance in the 2023 Paradigm CTF.☆11Nov 2, 2023Updated 2 years ago
- Computer Security Class - Department of Informatics and Telecommunications, University of Athens☆12Feb 22, 2017Updated 9 years ago
- Secp256k1 blind signature certification authority boilerplate☆11Apr 23, 2024Updated last year
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- ☆11Jan 17, 2024Updated 2 years ago
- ☆50Feb 11, 2025Updated last year
- A repo for our research papers☆246Jun 4, 2025Updated 9 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated 2 weeks ago
- ⚙️ A library for proving PLONKish circuits (halo2) in the EVM.☆11Aug 14, 2023Updated 2 years ago
- ☆11Dec 20, 2023Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Jun 15, 2023Updated 2 years ago
- A modular library for designing and optimising homomorphic encryption schemes☆25Updated this week
- ☆10Jun 8, 2022Updated 3 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago