Zero Knowledge

A trusted setup is a mechanism ZK-SNARKs use to evaluate a polynomial at a secret value.

A homomorphism between two groups exists if a structure preserving map between the two groups exists. Note that a homomorphism is one-directional.

This article describes how elliptic curve addition works over real numbers.

See what elliptic curves look like over a finite field, why their points form a cyclic group, and how point addition and multiplication work, in Python.

Ethereum precompiles behave like smart contracts built into the Ethereum protocol. The nine precompiles live in addresses 0x01 to 0x09.

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

We will demonstrate a step-by-step exploration of a basic zk-dapp designed for verifying additions.

Zero knowledge proofs demonstrate you executed a computation correctly without revealing the inputs to the computation.