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.
  • Succinct - short in size
  • Non-interactive - Verifier does not need to interact with the Prover to Verify the Proof
  • ARgument - "Proof"
  • Knowledge
• 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