ZKDL-Camp / lectures-texLinks
Source files for ZKDL Lectures
☆13Updated this week
Alternatives and similar repositories for lectures-tex
Users that are interested in lectures-tex are comparing it to the libraries listed below
Sorting:
- ☆40Updated 8 months ago
- On-chain Ethereum light client built with SP1☆60Updated 2 weeks ago
- ☆39Updated last month
- Monorepo for Summa Proof of Solvency Protocol☆98Updated 10 months ago
- A curated list of awesome things related to learning Circle STARK.☆30Updated 4 months ago
- Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.☆28Updated 9 months ago
- Email verification circuit in halo2☆67Updated last year
- Client side zero-knowledge proving.☆76Updated this week
- ☆94Updated 10 months ago
- ZKM Development Template/Framework☆25Updated 2 weeks ago
- A monorepo of reusable Noir circuits.☆43Updated last month
- ☆18Updated 2 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated 11 months ago
- ☆61Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 8 months ago
- The Ultimate ZK Proving Software Suite for Securing OP Rollups☆43Updated this week
- Crypto Gadgets for Plonky2☆72Updated last year
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Updated last year
- A monorepo of reusable crates for zero-knowledge technologies.☆14Updated last month
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- My notes related to Cryptography & Zero-Knowledge.☆46Updated 3 months ago
- ☆102Updated this week
- A collection of learning materials on the Beam chain and Ream client.☆46Updated last week
- Circom interpreter to arithmetic circuit description☆55Updated 10 months ago
- Noir library to verify JWT tokens, and prove claims.☆28Updated 2 months ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆25Updated last week
- Solidity implementation of Nova proving system verifier☆63Updated last year
- RLN circuits in Circom☆30Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- Benchmark of multiple zk implementations.☆83Updated last year