zigtur / Rareskills-ZK-book
My work for Rareskills ZK Book.
☆47Updated last year
Alternatives and similar repositories for Rareskills-ZK-book:
Users that are interested in Rareskills-ZK-book are comparing it to the libraries listed below
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆77Updated last year
- A curated list of ZK and Maths resources☆47Updated last year
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆67Updated 3 months ago
- A curated list of repos related to Circom☆97Updated 2 years ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆77Updated 3 months ago
- Collection of security reviews of ZK Protocols☆225Updated 3 months ago
- ☆53Updated last year
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- Fast paced learning group for ZK enthusiasts focused on circuit development & Security☆34Updated last year
- MoonMath Manual notes, exercise solution and extra comments.☆28Updated 9 months ago
- Public reports of audits performed by Nethermind Security☆44Updated last week
- Exercises for Part 2 of the ZK-book☆23Updated 4 months ago
- A curated list of awesome security resources for ZK.☆78Updated 2 weeks ago
- List of Halmos resources.☆53Updated last month
- A set of exercises to get started with Cairo0☆19Updated this week
- Exercises for the Yield 2022 Mentorship progam☆61Updated 2 years ago
- ☆91Updated 9 months ago
- My personal notebook for various zk-related topics☆48Updated 2 months ago
- A collection of ctf challenges based on Rareskills educational content☆36Updated 2 months ago
- Resources for learning Noir from ZKCamp's Aztec Course☆54Updated last year
- ☆47Updated 3 months ago
- Zero-Knowledge University☆32Updated 7 months ago
- A Brainfuck zkVM with Circom.☆58Updated last year
- CTF challenges made by MiloTruck☆67Updated 6 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 months ago
- A 6-part series on how to use Echidna on real-world codebases☆106Updated last year
- A DSL for generating optimal EVM bytecode☆187Updated 4 months ago
- Provides tools for testing circom circuits.☆59Updated last week
- Practical tips for building secure smart contracts at every stage, from the initial design to deployment☆51Updated last week
- Diagrams for Solidity contracts☆46Updated last year