1. ZKP 研究框架及相关内容概述

ZK简介

最初在1980年提出,由Shafi Goldwasser, Silvio Micali和Charles Rackoff。刚开始叫做交互式证明系统 (Interactive proof system)。

Prover 和 Verifier 之间交换信息,让 Verifier 相信某种 statement 是真的。而不透露给 Verifier 过多与证明无关的信息。

ZK 是解决了这样一个问题:我知道一个Y ,满足 F ( X , Y ) = Z F ( X , Y ) = Z F(X,

你可能感兴趣的:(#,隐私计算与零知识证明,zk,零知识证明,区块链,去中心化)