双线性配对
看论文遇到的一个知识点,简单记录一下
看论文遇到的一个知识点,简单记录一下
Zerocash白皮书全文翻译
好久没写胡言乱语了
本节中会利用椭圆曲线ECC,来实现一个有限的但是可以满足要求的同态隐藏,这个同态隐藏也可以帮助将协议由交互式转换为非交互式的协议
本节介绍Alice如何构造一个简短的证明,证明其拥有一个QAP的解
介绍一个将想要证明和验证的语句编译成多项式的协议
系数知识测试的目的是确保Alice不会违背协议
多项式盲评估是zk-SNARKs的核心之一
介绍zk-SNARKs首先要从同台隐藏开始说起
翻译自Zcash的官方文档