ZK-University / ZKUView external linksLinks
Zero-Knowledge University
☆34Aug 14, 2024Updated last year
Alternatives and similar repositories for ZKU
Users that are interested in ZKU are comparing it to the libraries listed below
Sorting:
- ☆17Feb 3, 2024Updated 2 years ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆35Sep 14, 2023Updated 2 years ago
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 7 months ago
- Contains several examples and challenges to use Lambdaworks☆15Sep 7, 2023Updated 2 years ago
- Collection of past CTFs to play and practice locally.☆52Aug 20, 2024Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆32Jul 29, 2023Updated 2 years ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆91Dec 28, 2025Updated last month
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 6 months ago
- Confidential Transfers Wrapped Token Program☆10Mar 9, 2024Updated last year
- ☆11Jan 17, 2024Updated 2 years ago
- Elliptic curve operations written in rust.☆13Jul 16, 2024Updated last year
- ☆13Nov 14, 2024Updated last year
- 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
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 4 months ago
- A course on Halo2 in collaboration with Zircuit☆35Jan 14, 2025Updated last year
- Breathe air☆25May 19, 2024Updated last year
- An interactive tutorial to get you up and running with Noir☆28Aug 28, 2025Updated 5 months ago
- A backend agnostic modular FHE library over the Torus using bivariate polynomial representation☆51Jan 17, 2026Updated 3 weeks ago
- Collection of security reviews of ZK Protocols☆239Dec 1, 2024Updated last year
- RPC server and client to run the Stone Prover on the Madara sequencer.☆11Oct 16, 2024Updated last year
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- Based Ethereum framework for writing tests in Rust☆12Dec 17, 2023Updated 2 years ago
- ZK Theorem Proving☆10Aug 11, 2024Updated last year
- Enclave is an open-source protocol for Encrypted Execution Environments (E3).☆44Updated this week
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆713Dec 19, 2024Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 7 months ago
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated 11 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆80Dec 23, 2023Updated 2 years ago
- Firefly Pixie hardware wallet design, schematics and PCB☆17Nov 27, 2024Updated last year
- Verifying Cairo Programs in SP1☆14Oct 16, 2024Updated last year
- ☆14Dec 13, 2024Updated last year
- Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.☆16Feb 28, 2024Updated last year
- ☆18Feb 4, 2026Updated last week
- ☆18Jul 16, 2025Updated 6 months ago
- ☆16Feb 17, 2024Updated last year
- Provides tools for testing circom circuits.☆67Jun 10, 2025Updated 8 months ago
- A monorepo of reusable crates for zero-knowledge technologies.☆19Updated this week
- Adapt your STARK stone proofs for verifications on Ethereum☆17Oct 2, 2024Updated last year