
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


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


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


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


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

#circom

Newsletter