
What will you build?
1) You will build a peer-to-peer system from scratch
2) You will secure the system with a day-to-day practical cryptography
3) You will implement Bitcoin and Ethereum backend components
4) You will write unit tests and integration tests for all core components


Follow the story of a software developer who is looking to revolutionize his local bar by implementing blockchain technology for its payment system.

Build a Blockchain from Scratch in Go


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


Cipher Shastra is a playground where anyone can enhance their Security Skills by solving and learning from CTF like challenges. 

The playground is open source and anyone can contribute challenges to it
Twitter: @ciphershastra

Cipher Shastra


Welcome to CryptoHack! These introductory challenges are designed to walk you through the process of solving challenges and submitting flags. Complete the challenges to earn your first gold trophy.

Learn about modern cryptography by solving a series of interactive puzzles and challenges.

CryptoHack


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


Welcome to CryptoHack! We've curated sets of challenges into guided tours, introducing our players to the fundamentals of modern cryptography.


https://www.youtube.com/watch?v=gyMwXuJrbJQ

This course will give you a full introduction into all of the core concepts in blockchain, smart contracts, solidity, NFTs/ERC721s, ERC20s, Coding Decentralized Finance (DeFi), javascript and solidity, Chainlink, Ethereum, upgradable smart contracts, and full stack blockchain development.   

Some of the technologies covered are:
- The Graph
- Chainlink
- Metamask
- Alchemy
- Remix
- Hardhat
- Solidity
- Openzeppelin
- Trail of Bits
- Ganache
- Ethers
- Etherscan
- Coinmarketcap
- Aave
- IPFS
- Fleek.hq
- Filecoin
- NextJS
- Moralis
- Web3uikit
- Opensea
- Pinata
- Nft.storage

 And more!

Follow along with the videos and you'll be a blockchain wizard in no time!  💻 The repository with helpful links to all code, resources, and support forums is located here: https://github.com/smartcontractkit/full-blockchain-solidity-course-js.

This course will give you a full introduction into all of the core concepts related to blockchain, smart contracts, Solidity, ERC20s, full-stack Web3 dapps, decentralized finance (DeFi), JavaScript, TypeScript, Chainlink, Ethereum, upgradable smart contracts, DAOs, the graph, moralis, aave, IPFS, and more. Follow along with the videos and you'll be a blockchain wizard in no time!

Learn Blockchain, Solidity, and Full Stack Web3 Development with JavaScript – 32-Hour Course


## 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


Lit Protocol is a decentralized key management network that powers encryption, access control, and automation for web3 applications. Read the [docs](https://developer.litprotocol.com/) to learn more.

The Lit grant program is looking to fund projects that improve developer experience and community development in the web3 ecosystem. We want to support those who are building the infrastructure and applications that will make it easier for people to use and develop Lit-enabled applications.


The Lit grant program is looking to fund projects that improve developer experience and community development in the web3 ecosystem.

Lit Protocol Grants

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

Road to ZK


Inside the Dark Web turns to the topic of internet surveillance concerning the pros and cons of the ability for everything that passes over the immense World Wide Web being able to be watched, recorded, and analyzed.

Documentary about the history of web3 and the cypherpunks.

Inside the Dark Web


Zero Knowledge is a podcast which goes deep into the tech that will power the emerging decentralised web and the community building this. Covering the latest in zero knowledge research and applications, the open web as well as future technologies and paradigms that promise to change the way we interact — and transact — with one another online.

Zero Knowledge is hosted by Anna Rose

Where we talk about zero knowledge research and the decentralised web

Zero Knowledge


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


A Simple, Minimalist Template for Noir Projects.

A Simple, Minimalist Template for Noir Projects

nplate


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


One of the most exciting recent advances in the field of cryptographic proof systems is the development of STARKs. It comes in the wake of a booming blockchain industry, for which proof systems in general seem tailor-made: blockchain networks typically consist of mutually distrusting parties that wish to transact, or generally update collective state according to state evolution rules, using secret information. Since the participants are mutually distrusting, they require the means to verify the validity of transactions (or state updates) proposed by their peers. Zk-SNARKs are naturally equipped to provide assurance of computational integrity in this environment, as a consequence of their features:

- zk-SNARKs are (typically) universal, meaning that they are capable of proving the integrity of arbitrary computations;
- zk-SNARKs are non-interactive, meaning that the entire integrity proof consists of a single message;
- zk-SNARKs are efficiently verifiable, meaning that the verifier has an order of magnitude less work compared to naïvely re-running the computation;
- zk-SNARKs are zero-knowledge, meaning that they do not leak any information about secret inputs to the computation.

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


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


Your entire Ethereum (and almost every other blockchains) wallet is accessible by your private key, which is basically a random 256 bits long number. In fact, you could enter any 32 hex characters long key, and import an account to your Metamask for example. If you want to try this out, there are two ways: some websites like https://keys.lol/ allow you to see random private keys, and even compute their balance. However, I’d be tempted to think that if you use such websites to compute a private key, you’ll probably won’t be able to withdraw from one whose balance is not zero, as there’s a high chance the website installed a bot that filters the latter and instantly transfers the funds to another address, such as the website owner’s.

This article is an introduction to possible attacks against cryptography algorithms used in blockchains and is to arouse your curiosity about cryptography.

Ethereum private keys attacks


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


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


This tutorial covers the basics of the science of cryptography. It explains how programmers and network professionals can use cryptography to maintain the privacy of computer data. Starting with the origins of cryptography, it moves on to explain cryptosystems, various traditional and modern ciphers, public key encryption, data integration, message authentication, and digital signatures.

This tutorial is meant for students of computer science who aspire to learn the basics of cryptography. It will be useful for networking professionals as well who would like to incorporate various cryptographic algorithms to ensure secure data communication over their networks.

This tutorial has been prepared with the view to make it useful for almost anyone who is curious about cryptography. A basic knowledge of computer science and a secondary level of mathematics knowledge is sufficient to make the most of this tutorial.

This tutorial covers the basics of the science of cryptography.

Learn Cryptography


As most of you probably have some crypto assets on your own, you might have heard of the words ‘public key’ and ‘private key’. In a blockchain network, the public key kind of works as your address. If anyone else in the network wants to send you some funds, he or she is going to send it to your public key. Your private key can be seen as your signature — whenever you like to make a transaction of funds, you prove that you are the one owning the private key belonging to your public key without showing it to anyone in the network. Participants of the network, who check your transaction, can prove that you, with your public key, are the owner of the private key, without even knowing what it is. Pretty cool! But how does this really work on a more fundamental level? Let’s dig a little bit into the theory.

This article gives an introduction to understanding elliptic curve cryptography and coding it.

Learn how to code elliptic curve cryptography


In this series of posts, we will show how to execute a PLONK zero-knowledge proof system completely by hand. All of the math used in these posts can reasonably be done with just pencil-and-paper (and a little patience). For each kind of computation we will give you at least one fully worked example—often several—and tricks to help save time and notebook paper.

Most of the math we will do is elementary, though some higher-level concepts do appear. This series assumes the reader is familiar with polynomial and matrix arithmetic as well as finite fields and their simple extensions.

Having some knowledge about elliptic curves will be helpful, but the needed formulas are provided and can be used even if you are unfamiliar with them.

While this series is intended to show that even a complex construction like PLONK can be done on paper, you might want to use a computational helper like WolframAlpha to move through the posts more quickly, if you wish.

In this first post we will show you how to choose parameters, run a trusted setup, and convert a statement into a PLONK-style circuit by hand. The next post will show you how to create a proof, and in the final post in the series we will verify the proof.

This article will explain how to execute a PLONK zero-knowledge proof system completely by hand.

PLONK by Hand


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


Executing complex functions on chain Ethereum has always been a big no-no, something that you should never do. Blockchain computation is very expensive as all the nodes are needed to execute the same calculation to verify its correctness.

StarkWare is one of the Ethereum scaling services that is attempting to scale Ethereum using STARKs (Scalable Transparent ARgument of Knowledge) proofs. I will not go too deep into how STARKs work in this blogpost, but I am going to give a practical overview on how they can be used in practice.

Verifying complex auto battler calculation on Ethereum

STARKs: Scaling decentralized games


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.


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

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


Sign-In with Ethereum is a game-changer for user choice on the Internet.

Instead of submitting to "Big Login," users can now login using the same keys controlling their blockchain accounts--without an intermediary. This approach has the promise but not guarantee to rebalance power dynamics in favor of the user. With Sign-In with Ethereum, we open a path where large corporations can no longer strip a user's ability to access services nor spy on their actions.

Sign-In with Ethereum is an open standard for authentication developed entirely in the open, informed through public discourse with community members across dapps, apps, wallets, security firms, and far more. You can find all the meeting recordings and notes on login.xyz. This approach is a far cry from the closed development of proprietary identity systems found in tech giants or government vendors, rightfully protested by privacy and digital rights advocates.

In contrast, Sign-In with Ethereum (EIP-4361) defines an open creative commons (CC) signing format for Ethereum accounts to securely authenticate with any web-based services. It was built by the community with direct support from the Ethereum Foundation and ENS, with Spruce tapped to lead the charge late last year. I'm excited to discuss the significance of Sign-In with Ethereum, and how it is so much more than "Connect Wallet" for all builders in Web3.

Sign-In with Ethereum is a game-changer for user choice on the Internet. Instead of submitting to 'Big Login' users can now login using the same keys controlling their blockchain accounts--without an intermediary.

Why Sign-In with Ethereum is a Game-Changer


## 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


circom is a compiler written in Rust for compiling circuits written in the circom language. The compiler outputs the representation of the circuit as constraints and everything needed to compute and verify different ZK proofs. You can choose to directly export the verifier to Solidity, allowing you to build powerful and scalable DApps by leveraging the magic of zero knowledge proofs.

Test and create zero knowledge proofs for your circuits

ZK-SNARKS with circom


This is a very basic visual introduction to the concepts behind a blockchain. We introduce the idea of an immutable ledger using an interactive web demo.

Blockchain 101 - A visual demo


This is part two in my basic visual introduction to the concepts behind a blockchain. We build on the concepts from the previous video and introduce public / private key pairs and signing using an interactive web demo.

We build on the concepts from the previous video and introduce public / private key pairs and signing using an interactive web demo.

Blockchain 101 - Keys & signing


Educational sandbox for building on web3. Visually understand how Ethereum works by doing.

ETH.Build


We build an NFT WITHOUT any off-chain metadata!

Code: https://github.com/PatrickAlphaC/all-on-chain-generated-nft


We explore the world of using SVGs to generate random NFT ImageURIs and Metadata 100% on-chain. In combination with Chainlink VRF to create randomness and true scarcity. 

How to make NFT Art with On-Chain Metadata


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


End-To-End NFT/ERC-721/Blockchain Collectible tutorial. We deploy some adorable puppies.

Article: https://betterprogramming.pub/how-to-create-nfts-with-solidity-4fa1398eb70a
Code: https://github.com/PatrickAlphaC/nft-mix


End-To-End NFT/ERC-721/Blockchain Collectible tutorial. We deploy some adorable puppies.  


Learn how to generate and verify signatures from React.js code using MetaMask wallet. 

Sign and Verify messages


https://www.youtube.com/watch?v=M576WGiDBdQ

This course will give you a full introduction into all of the core concepts in blockchain, smart contracts, solidity, NFTs/ERC721s, ERC20s, Coding Decentralized Finance (DeFi), python and solidity, Chainlink, Ethereum, upgradable smart contracts, and full stack blockchain development.   

Some of the technologies covered are:
- BrownieEth
- solidity
- IPFS
- AlchemyPlatform
- Infura
- MetaMask
- Etherscan
- EthereumRemix
- Chainlink
- web3.py
- Ganache
- AaveAave
- OpenZeppelin
- NFT 
- ERC20 
- Opensea
- Pinatacloud
 And more!

Follow along with the videos and you'll be a blockchain wizard in no time!  💻 The repository with helpful links to all code, resources, and support forums is located here: https://github.com/smartcontractkit/full-blockchain-solidity-course-py.

This course will give you a full introduction into all of the core concepts in blockchain, smart contracts, solidity, NFTs/ERC721s, upgrades, and more.

Solidity, Blockchain, and Smart Contract Course – Beginner to Expert Python Tutorial


We go through the how to make a ton of API calls to our blockchain node with 1 single API call to a multicall contract. We learn how we can keep our API calls low, and be more efficient overall. 

How to make a ton of API calls to our blockchain node with 1 single API call to a multicall contract. We learn how we can keep our API calls low, and be more efficient overall.

What is Multicall?


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


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

Crypto Glossary: Cryptocurrencies and Blockchain.

a16z crypto glossary


A curated list of cryptography resources and links.

Awesome cryptography

A curated list of EVM resources for aspiring shadowy super coders.

The EVM Handbook


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.


#cryptography

🏆 Node Guardians

🎓 ZK Whiteboard Sessions

📺 ETH.Build

📺 Learn Blockchain, Solidity, and Full Stack Web3 Development with JavaScript – 32-Hour Course

Newsletter