pod2 & spec
☆22Mar 18, 2026Updated this week
Alternatives and similar repositories for pod2
Users that are interested in pod2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A monorepo for vOPRF-based secure nullifiers☆22Apr 13, 2025Updated 11 months ago
- ☆20Jul 7, 2025Updated 8 months ago
- implentation of Ligerito☆19Nov 9, 2025Updated 4 months ago
- ☆24Updated this week
- Circom interpreter to arithmetic circuit description☆58Sep 12, 2024Updated last year
- Circom AES-GCM circuits☆35Feb 12, 2026Updated last month
- A backend agnostic modular FHE library over the Torus using bivariate polynomial representation☆55Mar 12, 2026Updated last week
- ☆132Dec 23, 2024Updated last year
- FPT: a Fixed-Point Accelerator for Torus Fully Homomorphic Encryption☆29Sep 2, 2025Updated 6 months ago
- Diamond iO implementation https://eprint.iacr.org/2025/236☆91Sep 19, 2025Updated 6 months ago
- A curated list of rust articles worth reading☆24Jun 1, 2023Updated 2 years ago
- ☆30Aug 10, 2023Updated 2 years ago
- Introductory lecture notes on programmable cryptography☆130Sep 24, 2025Updated 5 months ago
- Multi-party computation libraries written in Rust 🦀☆287Mar 10, 2026Updated last week
- Rust implementation of the TLSNotary protocol☆404Mar 13, 2026Updated last week
- Create MPC apps with TypeScript.☆58Jul 22, 2025Updated 8 months ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- Notes of Berkeley ZKP MOOC Course☆21Apr 1, 2024Updated last year
- ☆23Dec 8, 2025Updated 3 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆215Updated this week
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- A Solidity implementation of a VDF verifier contract☆16Apr 7, 2023Updated 2 years ago
- ☆26Nov 14, 2025Updated 4 months ago
- Client side zero-knowledge proving.☆102Mar 16, 2026Updated last week
- Web Proofs using zk-SXG☆30Nov 16, 2024Updated last year
- TS Client for Index Supply☆28Jul 31, 2025Updated 7 months ago
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- Zuzalu Passport☆360Nov 16, 2025Updated 4 months ago
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆58Aug 2, 2025Updated 7 months ago
- World's first implementation of a (possibly) secure witness encryption scheme. Uses the CLT13 multilinear map.☆36Jan 12, 2022Updated 4 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆28Nov 7, 2023Updated 2 years ago
- Oblivious key-value store based on Circuit ORAM☆36Mar 22, 2025Updated last year
- A running-time optimized custom version of chrisokasaki's TradeMaximizer☆13Jun 19, 2025Updated 9 months ago
- Include halo2 example circuits☆10Jul 4, 2022Updated 3 years ago
- A language for building boolean circuits based on TypeScript☆34Jul 9, 2025Updated 8 months ago
- r1cs file format parser☆23May 6, 2024Updated last year
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 5 months ago
- ☆11Oct 12, 2019Updated 6 years ago
- Library and gadget to do regex string matches in halo2☆36Jul 25, 2024Updated last year