零知识证明:STARKs vs SNARKs
新技术之间的冲突
纵观历史,总是有类似的技术在同一时间上市,它们寻求相似的结果,但以不同的方式解决问题。当这种市场现象发生时,我们应该尝试客观地评估每项技术。
由于 STARK 阵营和 SNARK 阵营都对各自的技术充满热情,我们认为对这两种技术进行客观比较会很有趣。
零知识证明
零知识证明的想法最初是在1980年的一份学术论文中——《交互性证明系统的知识复杂度》中被提出。论文中提到:证明者可以在不披露信息本身的情况下向验证者证实信息的真实性。
从更技术的角度说,ZKP 是证明者与验证者两方之间的一个协议,证明者可以在不透露证明本身之外任何信息的前提下,让验证者确认某项证明是有效的。这是证明的“零知识”部分——没有知识或信息可以支持这条证明,除了证明本身。这听起来毫无道理,也似乎是不可能的。正是如此,这些技术才更加重要。
经常拿来解释 ZKP 的例子是一个名叫《寻找 Waldo》的游戏。证明者如何利用零知识来向验证者证明他知道 Waldo 在图中的哪个地方。一般的情况来说,证明者只需要在图上指出 Waldo 的位置即可,或者说 Waldo 在红白条纹的帐篷旁边,这样通过提供知识来向验证者证明他确实知道 Waldo 在哪儿。
但是如果用零知识的方法,证明者需要拿出一张纸,在中间剪个洞,并将洞放在 Waldo 上面来展示给验证者。这样,验证者可以看到 Waldo,知道证明者说的是真的,而且过程中也没有任何知识/信息的泄露。
STARK 与 SNARK
当今市场上最引人注目的两种零知识技术是 zk-STARKs 和 zk-SNARKs。两者都是双方证明知识的方法的缩写:zk-STARK代表零知识可扩展透明知识论证,zk-SNARK代表零知识简洁非交互式知识论证。这篇文章将深入探讨从文化和技术角度探讨这两种不同的零知识技术之间的核心差异。此外,这两种零知识技术本质上都是非交互的,这意味着代码可以自主部署和运行。
以下是两者对比的数据表格
zk-SNARK 的未来
zk-SNARKs 是匿名加密交易的有用工具。但它们也有助于为隐私币以外的越来越多的其他应用程序提供动力。例如,Celo 是一种加密货币协议,专注于移动支付,并渴望创造一个更具包容性的金融世界。
Mohan 特别指出了 zk-SNARKs 如何帮助发展中国家的人们。
“如果我们现在考虑这些人如何能够使用加密货币,这几乎是不可能的,他们没有使用 Metamask,而是将 10,000 美元投入到一个随机的 DeFi 项目中,”他说。Mohan 补充说,使用 zk-SNARKs,手机用户可以立即与区块链同步——保留与加密相同的无需许可属性,但这种属性不具备高度技术能力的设备上。
尽管有他们的承诺,zk-SNARKs 仍然非常小众。即使在像加密这样的高科技行业,很多人也不知道他们是什么。但随着越来越多的公司开始采用这项技术,这种情况可能会发生变化。
其中包括Aleo,这是一家最近从蓝筹风险投资公司筹集了 2800 万美元的初创公司,旨在构建工具,让 Web 开发人员将零知识证明集成到各种 Internet 应用程序中——该项目承诺让消费者在不泄露信息的情况下浏览 Web大量个人数据。
零知识证明:STARKs vs SNARKs相关推荐
- 一个更优的零知识证明:Bulletproofs
在2015年我们宣布机密交易(CT)作为侧链Elements Alpha的主要特征.该特征用Pedersen commitments取代了交易金额,这种一种隐藏金额的加密工具,同时保留了任何人验证在特 ...
- 零知识证明ZK-SNARKs的Circom 电路和 Snarks (翻译)
前言:在翻译这篇博文之前,本人在本地电脑按照其步骤一一试过了,所以,文章的内容是可行的.下面是一张图片是本人在Remix上的执行结果. 什么是 ZKsnarks,它们是如何工作的? ZKSnarks ...
- 零知识证明学习资源汇总
本文将继续会持续进行更新,更新后的版本将在 Github 和知乎上发布,欢迎关注. Github 地址:https://github.com/sec-bit/learning-zkp/blob/mas ...
- 零知识证明经典文献大汇总(可收藏)
从去年的DAO经典到更早的NFT经典(以及在此之前是最初的加密经典). 本文, 为那些寻求理解.深入和构建零知识的人挑选了一组资源:强大的基础技术,这些基础技术掌握着区块链可扩展性的关键,代表着隐私应 ...
- 比较零知识证明算法zkSNARK,zkSTARKs,zkBoo,Sonic,BulletProofs
本文分为两部分,第一部分说明零知识能干什么,为什么它这么强大,在区块链中这么火:第二部分比较零知识证明的算法zkSNARK, zkSTARKs, zkBoo, Sonic和BulletProofs的特 ...
- 通过零知识证明,成为重要的区块链革新者
银行巨头ING:通过零知识证明,成为重要的区块链革新者 Captain Hiro 2018-05-02 13:28 发布在 区块链 2 1755 银行业巨头ING将证明创业公司并不是唯一可以推进区块链 ...
- 什么是零知识证明(ZK Proof)?Web2.0通往Web3.0的入口技术
古老的难题 女:你爱我吗? 男:爱! 女:怎么证明? 男:-- 零知识证明的定义 零知识证明(Zero-Knowledge Proof)也叫做最小泄露证明,能充分证明自己是某种权益的合法拥有者,又不把 ...
- 云中「秘密」:构建非交互式零知识证明---探索零知识证明系列(五)
本文作者:郭宇 Once exposed, a secret loses all its power. 一旦泄露,秘密就失去了全部威力 ― Ann Aguirre 这已经是本系列的第五篇文章了,这一篇 ...
- zkSNARKs(零知识证明)简述
zkSNARKs 的成功实现让我们印象深刻,因为你可以在不执行,甚至不知道执行的具体内容是什么的情况下确定某个计算的结果是否正确 -- 而你唯一知道的信息就是它正确的完成了.但是不幸的是,大多数关于 ...
最新文章
- javascript变量声明 及作用域
- 开源自己写的Library到github,让别人或自己的项目依赖
- mongodb[三] 文档操作:插入、更新、删除
- Java Streams,第 1 部分: java.util.stream 库简介
- Matlab:成功解决Expression or statements is incorrect--possibly unbalanced (,{,[.
- java 服务器读取客户端文件,java 服务器读取客户端文件
- mysql mysqli 修改_php mysqli 增删改查操作
- python中类的构成_Python类的构成元素
- 流量直升机-千牛插件功能列表
- PCB实用设计3 | 二极管大全·尖刺·滤波·有意义的降压
- 中国一票否决Arm被购案的六个理由
- Ubuntu下安装Nvidia和Intel双显卡驱动
- laravel框架图片无法显示问题
- 他强由他强,清风拂山岗;他横任他横,明月照大江
- 将访问控制更改为:共享级访问控制,并重启计算机使设置生效.,Internet应用模拟题...
- python进行JB正态性检验
- 洛谷:P5707 【深基2.例12】上学迟到
- python下载图片并保存_Python从URL获取图片、读取图片格式并保存到本地
- 计算机教学理论方面相关课题,《小学信息技术课堂有效教学的探索》课题研究方案...
- 夏普第二季度亏损数十亿日元 光伏业务持续陷入苦战
热门文章
- Qt框架之情人节玫瑰花案例项目
- 苹果手机双卡双待是哪一款_手机双卡双待信号有区别吗手机主卡、副卡这些区别,早知道为好!...
- html中dr标签的作用是什么,DR是什么意思?关于DR的意义
- webfunny埋点漏斗功能
- 40多个JAVA手机游戏打包
- 从一文中了解SSRF的各种绕过姿势及攻击思路
- quartus频率计 时钟设置_Quartus II EDA频率计设计
- CP2K入门教程分享
- 大道至简——RISC-V架构之魂(上)
- Fabric v2.0 源码解析——排序节点(Orderer)运行机制