ZK-STARK(1):概述
ZK-STARK概述
ZK-STARK概述
主要按照论文的思路简单回顾一下zk-SNARKs
Zerocash是Zerocoin团队开发的新的加密货币,在Zerocoin的基础上进一步增强了隐私性
Zerocash白皮书全文翻译
本节中会利用椭圆曲线ECC,来实现一个有限的但是可以满足要求的同态隐藏,这个同态隐藏也可以帮助将协议由交互式转换为非交互式的协议
本节介绍Alice如何构造一个简短的证明,证明其拥有一个QAP的解
介绍一个将想要证明和验证的语句编译成多项式的协议
系数知识测试的目的是确保Alice不会违背协议
多项式盲评估是zk-SNARKs的核心之一
介绍zk-SNARKs首先要从同台隐藏开始说起