http://www.www.tnmanning.com

一文读懂零知识证明背后的简单逻辑

在《星际迷航》的宇宙中,P = NP,这对付计较界也许是件功德,它意味着所有可以在多项式时间内验证的问题,也可以在多项式时间内求解。但对付暗码学界而言,这大概是一场劫难。
3. 所依赖的安详假设。安详假设与安详密切相关,好比 Bulletproofs 依赖的是一个尺度安详假设:离散对数问题,加上一个随机预言模子;而 zk-SNARKs 依赖的是一个不行否证的安详假设问题:指数常识假设。

一文读懂零常识证明背后的简朴逻辑


而零常识证明协议,好比我们熟悉的 zk-SNARKs,它的主业就是埋没并能证明需要它埋没的种种奥秘。这是如何做到的?
这是关于 zk-STARKs 的。它也是零常识证明协议,但它是基于信息编码的零常识证明,这是完全差异的一条阶梯,而且有大概打乱你已经清晰的思路。
你必然留意到了,我们说椭圆曲线数字签名算法具有「零知属性」,却并没有说它是零常识证明协议,因为它的主业是做数字签名,埋没私钥只不外是它必需要实现的一个成果。并且它也只能埋没私钥,假如想让它帮你埋没一个你本身的奥秘,它是做不到的。

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。