# Introduction to ZK

To get started within ZKM, let's explore the basics of ZK Proofs

## In Summary

A Prover generates a SNARK Proof which proves correctness and (if intended) privacy of the computation.

**S**uccinct - short in size**N**on-interactive - Verifier does not need to interact with the Prover to Verify the Proof**AR**gument - "Proof"**K**nowledge

Properties of a SNARK:

**Completeness**- If both parties are honest, the protocol gives the correct result**Soundness**- If the Prover is trying to cheat, the Verifier will accept with negligible probability**Succinctness**- The proof is short AND verification is easy**Privacy (Optional)**- The protocol does not leak useful information to the Verifier

How a zkRollup works:

Outsource all expensive computations off Ethereum to a Layer 2

Send the results with a proof (SNARK) to Layer 1

Last updated