From 2405f722e57ebe88798f81b6aaf1b2d33763cb8f Mon Sep 17 00:00:00 2001 From: gangstarr60 <32969880+gangstarr60@users.noreply.github.com> Date: Wed, 3 Jan 2024 20:19:41 +0300 Subject: [PATCH] Update other-terms.mdx --- pages/other-terms.mdx | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pages/other-terms.mdx b/pages/other-terms.mdx index 20d1f1b..e934fe9 100644 --- a/pages/other-terms.mdx +++ b/pages/other-terms.mdx @@ -347,3 +347,7 @@ A zero-knowledge proof is the resulting output of a [zero-knowledge](#Zero-knowl ## ZK-Rollup A [rollup](/foundational-terms#rollup) that uses [ZKPs](#Zero-knowledge-proof-(ZKP)) (also often called [validity proofs](#Validity-proof) to [validate](#Validator) the correctness of the state transition function and update the rollup state. This is one of two main types of rollup constructions, along with [optimistic rollups](#Optimistic-rollup). In general, ZK-Rollups do not provide privacy preserving properties; privacy preserving ZK-Rollups are sometimes called ZK-ZK-Rollups. + +## zk-SNARK + +zk-SNARK (zero-knowledge Succinct Non-interactive ARgument of Knowledge) is a type of zero-knowledge proof (ZKP). This proof construction allows one party to prove to another that a certain statement is true, without revealing any information about the statement itself.