ZK-Hack / puzzle-zeitgeistView external linksLinks
☆10Nov 20, 2024Updated last year
Alternatives and similar repositories for puzzle-zeitgeist
Users that are interested in puzzle-zeitgeist are comparing it to the libraries listed below
Sorting:
- ☆22Jan 16, 2024Updated 2 years ago
- ☆14Dec 13, 2024Updated last year
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated last month
- Implementations of protocols from the book 'Proofs, Arguments and Zero Knowledge'☆21Jan 15, 2026Updated 3 weeks ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆32Nov 27, 2025Updated 2 months ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆22Nov 6, 2024Updated last year
- An anonymous social media platform.☆24Oct 28, 2023Updated 2 years ago
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆27Updated this week
- 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 2 years ago
- Web Proofs using zk-SXG☆30Nov 16, 2024Updated last year
- ☆31Oct 27, 2025Updated 3 months ago
- Proof system backends for OpenVM.☆34Updated this week
- Formally proving the security of Fast Reed-Solomon interactive oracle proofs of proximity☆76Dec 11, 2025Updated 2 months ago
- ☆33Feb 14, 2025Updated 11 months ago
- Extracting the semantics of Noir to Lean for formal verification☆36Updated this week
- Batch ECDSA in circom☆35Jul 20, 2022Updated 3 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆47Dec 18, 2025Updated last month
- 🚀 Interep back-end and front-end.☆35Apr 28, 2023Updated 2 years ago
- Consensus client for Seismic☆58Updated this week
- ☆42Sep 15, 2025Updated 4 months ago
- Rust library for practical time-lock encryption using `drand` threshold network☆41Dec 24, 2022Updated 3 years ago
- Proving physical interactions with digital signatures☆33Aug 1, 2024Updated last year
- ☆60Updated this week
- ☆42Jan 22, 2026Updated 3 weeks ago
- Rescue and Poseidon hash function implementations☆43Aug 15, 2024Updated last year
- Digital SuperTwin: digital twin of supercomputers☆13Nov 24, 2024Updated last year
- 🏆 Finalist at EthOnline'23 Hackathon 🏆☆12Nov 4, 2023Updated 2 years ago
- ☆11Mar 28, 2022Updated 3 years ago
- ☆38Sep 2, 2020Updated 5 years ago
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆106Jul 12, 2025Updated 7 months ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆47May 7, 2025Updated 9 months ago
- Building Zero Knowledge Proof from Scratch in Rust☆50Nov 10, 2025Updated 3 months ago
- ☆67Updated this week
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆19Feb 6, 2026Updated last week
- A Lean implementation of Interaction Trees☆13Jan 13, 2025Updated last year
- All-in-one environment to use Dria, the collective knowledge for AI.☆14Mar 15, 2024Updated last year
- Secp256k1 blind signature certification authority boilerplate☆11Apr 23, 2024Updated last year