
Most explanations struggle to clarify how and why they work, so zk-SNARKs remain somewhat “magical” and elusive, deterring developers from exploring or utilizing them in projects. Resources are scattered across blog posts and GitHub libraries. This results in a high barrier to entry, thereby slowing the widespread adoption of zk-SNARKs and associated privacy-enhancing technologies. Even worse, implementing zk-SNARKs without understanding the fundamentals of how they work increases the potential for security issues.

We want to change that with our MoonMath Manual to zk-SNARKs, designed for an audience with only minimal experience in cryptography and programming.

What is particularly unique about the MoonMath Manual is that it is designed to enable users to construct zk-SNARKs using simple pen-and-paper computations. Throughout the manual, users are encouraged to complete exercises that ensure they engage with the foundational building blocks of zk-SNARKs. While doing that, readers build the smallest possible — but fully functional — cryptographic stack to compute zk-SNARK internals without the need of a computer.

As users go through the manual, they will grasp mathematical concepts that are not only used in SNARKs, but also in other zero-knowledge proofs and cryptography more generally.


The MoonMath Manual is a resource for anyone interested in understanding and unlocking the potential of zk-SNARKs

The MoonMath Manual


Node Guardians is a gamified educational platform that creates lore-rich programming challenges for experienced Solidity, Huff, Cairo and Noir developers. Think of it as a skill-based RPG where developers can become familiar with specific stack components and a place where they can showcase their abilities. 

### Skills Upgrade

We have created a series of coding challenges called “quests” to engage smart contract developers, providing them with the knowledge to build safe and gas efficient applications. In addition to practical skills, we also provide theoretical knowledge about crypto history, technology and economics through building a library of articles that break down complex concepts of distributed systems & decentralized finance.


### Public Good

Node Guardians is a public good for developers and will always remain so. 
In addition to supporting the growth of cool ecosystems, we plan to make the platform sustainable by managing [infrastructure](https://infra.nodeguardians.io/) across various networks.

Rewarding non-contributing operators wastes funds, we prefer community-building and education.


Node Guardians is a gamified educational platform that creates lore-rich programming challenges for experienced Solidity, Cairo, Huff and Noir developers.

Node Guardians


ZK Whiteboard Sessions is an educational series on all things zero knowledge. Produced by ZK Hack and powered by Polygon – we’ll be releasing a new module every week!


ZK Hack


## Introductory Modules

- What is a SNARK?
- Building a SNARK (part 1)
- Building a SNARK (part 2)

## Whiteboard Sessions with ZK Projects​

- SNARKs vs. STARKS with Brendan and Bobbin
- PLONK and Custom Gates with Adrian Hamelink
- Lookup Arguments for Performance Optimisation with Mary Maller
- Zero Knowledge Virtual Machine (zkVM) with grjte
- Achieving Decentralised Private Computation with Pratyush Mishra
- Introduction to zkRollups with Barry Whitehat
- zkEVM with Jordi Baylina
- ZK Swaps with Henry de Valence
- zkID with Oleksandr Brezhniev
- Fast Recursion with Plonky2 with William Borgeaud

ZK Whiteboard Sessions is an educational series on all things zero knowledge

ZK Whiteboard Sessions

Free resources to learn about Zero Knowledge Proofs (ZKPs) and Cryptography

Road to ZK


This repository contains a boilerplate for full stack development of a Zero Knowledge decentralized application with the use of DSLs and tools such as Hardhat, Circom, Snarkjs, Nextjs etc.


If you ever get stuck, and need a guide to reference, the guide written by Vivian Plasencia, "How to create a Zero Knowledge Dapp, from Zero to Production", is a great one, and where the inspiration for this boilerplate, was derived from. Find it [HERE](https://vivianblog.hashnode.dev/how-to-create-a-zero-knowledge-dapp-from-zero-to-production)

Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs

Circom Next starter

This is a reference repo to help you get started with writing zero-knowledge circuits with Noir

Noir Starters


Simple monorepo you can use as a template to start developing your dApp with Semaphore. 

Semaphore Boilerplate


The easiest way to integrate succinct verifiable on-chain computation using hidden information in custom applications that execute on a credibly-neutral immutable public ledger.

Essentially, it's zero knowledge for those with zero knowledge.

zero knowledge for those with zero knowledge

zk-starter


Magic technology, advancing civilization, short letters, privacy, and a future that's already here. That's Zero Knowledge Proofs (ZKPs) in a nutshell. What's going on?

Zero Knowledge Proofs are magic. They allow us to do things we couldn't dream of before.

A Friendly Introduction to Zero Knowledge


Circom is a fantastic tool for learning zk-snarks. However, because it is quite low-level, there are more opportunities to accidentally add subtle bugs. In real applications, programmers should consider using higher level zero knowledge programming languages. You should always get an audit before deploying a smart contract that holds user funds, but this is especially true for zk circuits, as the attack vectors are less well known.


This tutorial introduces the Circom language and how to use it, along with common pitfalls

Circom language tutorial with circomlib walkthrough

This article walks you through how to build a zk-circuit using the halo2 rust crate by the Zcash team.

Constructing ZK SNARK Circuits


This is a step-by-step guide on how to build a Zero Knowledge (zk) Decentralized Application (DApp) from zero to production.

The goal is to explain the flow of a zk dapp and deploy it so that users can use it.

- We will create a zk DApp to prove that someone knows how to solve a sudoku game, without revealing the answer.
- We will use Circom (for circuits), Solidity (for smart contracts) and Javascript (for the frontend).
- I will cover circuits and smart contracts testing.
- I will give some tips that I use to build and organize this kind of projects.

How to create a Zero Knowledge DApp: From zero to production


Tornado cash is a cryptocurrency smart contract mixer that enables users to deposit crypto with one address and withdraw with another wallet without creating a traceable link between those two addresses.

How Tornado Cash Works

Walkthrough for developing a zero knowledge dapp for age verification.

Building a web3 dapp using Zero-knowledge (Snarks) Boilerplate


Zero Knowledge Proofs enable a Prover to demonstrate knowledge of something to a Verifier without revealing that knowledge. For example, if we want to prove that we have solved a puzzle without giving away the solution, we can use Zero Knowledge Proofs.

Creating and verifying zero-knowledge proofs in solidity

How To Create a ZK Smart Contract


In Zero Knowledge Lottery we introduced a revolutionary zero knowledge lottery scheme. As discussed in the article, it’s possible to implement the scheme by modifying Tornado Cash Nova’s (Nova) code. In this two part blog series we’ll first explain how Nova’s circuits work (PART 1) and then implement the ZK-Lottery on top of it (PART 2).

- Zero Knowledge Lottery https://killari.medium.com/zero-knowledge-lottery-437e456dc3f2
- Part 1 - https://killari.medium.com/implementing-zero-knowledge-lotterys-circom-circuits-part-1-2-16910b3732a2
- Part 2 - https://killari.medium.com/implementing-zero-knowledge-lotterys-circom-circuits-part-2-2-59a2f976cd24

In this blog series we’ll first explain how Nova’s circuits work (PART 1) and then implement the ZK-Lottery on top of it (PART 2).

Implementing Zero Knowledge Lottery’s Circom circuits - Part 1

Implementing Zero Knowledge Lottery’s Circom circuits - Part 2


You know how data structures and algorithms are pretty much Computer Science 101? They’re fundamental to just about everything in the field. Well, polynomials are just as fundamental to zero knowledge proofs (ZKPs).

In case you need a primer, ZKPs let us prove a fact without revealing the fact. You can read my [ZKP 101 post](https://www.zkcamp.xyz/blog/what-is-a-zkp-anyway) for all the details. But before we get into level 201, there’s a bit of math and cryptography we should cover.

In this blog post, we’ll focus on the math that makes ZKPs possible: Polynomials. Why? Because they’re really helpful in three major ways:

- They can encode an unbounded amount of data
- They can encode relationships between data
- They let us efficiently check whether two pieces of data are the same


You can't understand ZKPs without understanding polynomials

Polynomials 101


In this series we try to demystify zero-knowledge proofs (ZKPs) for the rest of non-math nerds. Since writing [part 1](https://dev.to/tonyolendo/the-complete-full-stack-guide-to-getting-started-with-zero-knowledge-proofs-using-circom-and-zk-snarks-part-1-53gi), my thoughts on the subject have evolved. I’m more drawn to answering the following questions

- Can anyone be a ZK developer?
- Is there a simple path that we can define for anyone to get started in writing ZK circuits?

The simple answer to all the questions above is yes! Most assuredly, yes. How? Just learn [Circom](https://iden3.io/circom) and you’ll be well on your way.


This tutorial series explains the mechanics of the STARK proof system. It is directed towards a technically-inclined audience with knowledge of basic maths and programming.

Anatomy of a STARK

Start building zero-knowledge products without a degree in computer science and math!

Zero-knowledge is easy or the ultimate how-to article

In this article, and the subsequent series, I will be sharing what I have learnt about one of ZKP protocols and one in particular — zkSNARK Groth16.

Under the hood of zkSNARK Groth16 protocol


## TL;DR

- Zero-knowledge proofs (ZKPs) can cryptographically prove a statement is true without revealing the statement itself. They offer a new level of privacy in digital transactions, allowing for verification without compromising sensitive data.
- Zk-SNARKs, which stand for Succinct Non-interactive Arguments of Knowledge, are a type of ZKPs. ‘ Succinct’ and ‘Non-interactive’ highlight their efficient performance, while ‘Zero-knowledge’ refers to their privacy-enhancing feature. They are becoming increasingly important in the blockchain world, significantly improving both scalability & privacy.


Despite the growing importance of ZKPs, much of the existing information about them tends to be quite technical. This article provides a clear guide to ZKPs for the blockchain world.

Zero-Knowledge Proofs in Plain English


An exploration of MiMC, Poseidon, and Vision/Rescue, along with a deep dive into SNARK and STARK complexity.

ZK-Friendly Hash Functions


We demonstrates the key paradigms required to write a circuit, how to generate constraints using the R1CS system and finally covers proof generation using Snark JS.

In this video, we go over how to use Circom and its main features

Introduction to Circom


What are zero-knowledge proofs? Justin Thaler (a16z crypto, Georgetown University) demystifies key concepts in this rapidly evolving and increasingly important space. This talk sheds light on the fundamentals of zero-knowledge proofs and SNARKS – including how people are using them today, how web3 startups should be thinking about them, and how they might be used in future. 

Introduction to ZKP


Full playlist and other classes at 
https://www.youtube.com/playlist?list=PLvvyxOd1rILerZHAs52Z36fyBBK1HHP8b


ZkBlock develops content, tools and dapps for zero knowledge proofs, smart contracts, ethereum (& L2), web3 apps and cryptography. https://zkblock.app/


Learn how does a zk voting work? How to create one using zkblock.app?

Using a simple zk voting dapp


Evmtools is a toolkit for web3 and evm chains. Provide tools for development of smart contracts, zero knowledge proofs, and cryptography. Extension also available [here](https://chromewebstore.google.com/detail/evm-tools/aibinghcdfagfoaajjiojfhkmnjmjmem)


EVM Tools


zk block is one stop app for zero knowledge proofs, smart contracts, ethereum (& L2), web3 apps and cryptography.


#zkp

🏆 Node Guardians

🎓 ZK Whiteboard Sessions

Newsletter