【ZK简明教程】(1)零知识证明的背景和系统结构
零知识证明作为一种密码学工具/思想,在加密,区块链,隐私保护,可信计算,联邦学习等诸多重要领域都有很重要的应用,但是其思想和具体的协议又相对比较具有技巧性,这给普通开发者和爱好者的理解带来了很高挑战。所以本系列力图从基础的数学工具出发,通过严谨的推理帮助读者理解零知识证明的机制,并且能够自己推导,证明,直至构造零知识证明。本系列力求使用尽可能简单的数学工具,大多数推理基于高中的数学知识,部分涉及到大学数学代数和离散数学的部分,但这些部分也会被指出,并给予解释。