零知识证明是一种基于概率的验证方法,它包括“类似事实的陈述”和“关于个人知识的陈述”。
验证者基于一定的随机性来询问证明者,如果证明者给出的答案正确,那么证明者将有很大概率会拥有其所声称的“知识”。
零知识证明可以在不透露使用哪种货币的情况下验证你确实花了钱。
如今,零知识证明已经被许多区块链项目视为最好的隐私保护方案之一。能够在不泄露数据的情况下,来证明数据的真实性。
在本文中,我们将会解释神秘的零知识证明及其当前的应用。
为什么ZKP如此重要?
数据隐私是当今社会最重要的课题之一。保护与个人身份有关的个人数据是至关重要的,并且其重要性将不断提高。
在科技时代,我们正在创造着前所未有的海量数据,而且我们也在不断创造着关于自身的可供掠夺的数据。
像Google和Facebook这样的大公司利用我们的数据成为了当今世界的科技巨头。然而,最近密码学的突破和区块链的兴起为保护我们的数据和身份信息提供了新方法。零知识证明或许就是答案。
Aave DAO决定换取200万美元的Balancer LP代币:金色财经报道,Aave社区批准了一项200万美元的代币交换,从DeFi协议Balancer购买BAL-WETH流动性池代币。Aave DAO将使用财库中价值140万美元的31万个BAL和价值60万美元的326个WETH进行交换。
经批准的资产将转换成B-80BAL-20WETH,将BAL代币与以太坊配对。交换将在CowSwap的Milkman协议的帮助下进行。[2023/7/11 10:47:16]
零知识证明的原理
零知识证明是麻省理工学院的研究人员在20世纪80年代提出的一种加密方案。零知识证明协议是指一方可以证明某事对另一方来说是真实的。除了此特定陈述属实之外,不会透露其他任何信息。
CryptoQuant联创:BTC矿工过去三周向Binance转移5.4万枚BTC:7月4日消息,加密数据分析平台Crypto Quant联合创始人兼CEO Ki Young Ju发文表示,比特币矿工在过去3周内向Binance转移了5.4万枚比特币,同时比特币兑美元未平仓合约没有显着变化,表明矿工们(转移比特币)填补抵押品以增加新多头头寸的可能性较小。在我看来,矿工们的转入似乎更有可能是现货销售行为。[2023/7/4 22:16:50]
例如,当前网站将用户密码的Hash散列值储存在其web服务器中。为了验证客户端是否真的知道密码,大多数网站目前使用的方法是要求客户端输入密码的hash散列,并将其与储存的结果进行比较。
零知识证明可以保护用户账号不被泄漏。如果可以实现零知识证明,那么客户端密码对任何人来说都是未知的,但是仍然可以对客户端登录进行身份验证。当服务器受到攻击时,用户的账户仍然是安全的,因为其密码并没有被储存在web服务器中。
加密货币受创,但远不及里拉暴跌,土耳其人拥抱USDT等加密币:金色财经报道,土耳其人纷纷涌向加密货币市场,作为抵御里拉暴跌的避风港。当地对USDT的需求在5月初大选前飙升,自埃尔多安赢得大选连任土耳其总统引发市场动荡以来,这种需求一直居高不下。根据Kaiko的数据,6月初,在日均1.1万亿美元交易量的加密市场中,里拉交易量占总交易量的10%,此前在5月份达到18%的峰值,2023年初这一比例为4%。尽管全球监管对加密资产类别进行了打击,但里拉的表现更糟,最近几天跌破了历史低点。过去一周,土耳其里拉兑美元下跌了11%,原因是土耳其央行在大选后退出了对土耳其里拉的干预。[2023/6/10 21:28:30]
零知识证明可以分为「交互式」和「非交互式」两种。接下来我们就一一来看看这两种证明方式有哪些不同。
交互式零知识证明
零知识证明协议的基础是交互式的。它要求验证者不断对证明者所拥有的“知识”进行一系列提问。
Raoul Pal:看起来CeFi将加密货币借贷风险推给零售投资者的商业模式已经基本结束:金色财经报道,前高盛高管Raoul Pal在社交媒体上称,看起来CeFi将加密货币借贷风险推给零售投资者的商业模式已经基本结束。今后必须是DeFi和批发贷款市场,拥有更大的传统资产负债表和规范的更好的传统风险管理。[2022/11/17 13:17:03]
例如,如果有人声称自己知道数独游戏的答案,零知识证明的过程就是验证者需要随机指定要通过列、行或九个正方形进行验证。
每轮测试不需要知道具体的答案,只需要检测数字1~9是否包含在内。只要验证的次数足够多,就有理由相信证明者是知道数独问题答案的。
然而,这种简单的方法并不能使人相信证明者和验证者都是真实的。在数独这种情况下,两者可以提前串通,以便证明者可以在不知道答案的情况下依然通过验证。
如果他们想要说服第三方,验证者还必须要证明验证过程是随机的,并且他不会向证明者泄漏答案。
Coinbase CEO:若监管机构要求审查以太坊验证者,将关闭质押服务或提出法律挑战:8月18日消息,Coinbase首席执行官Brian Armstrong在推特上表示:“如果监管机构要求该平台在以太坊协议级别对其验证者进行审查时,Coinbase将关闭质押服务并保持网络完整性。”这是其对开源加密分析应用程序Rotki的创始人LefterisKarapetsas早些时候向Coinbase和其他主要ETH质押平台提出的问题的回应。Armstrong称,要着眼于大局,可能有更好的选择是提出法律挑战,也可以帮助达成更好的结果。[2022/8/18 12:33:18]
因此,第三方难以验证交互式零知识证明的结果,要向多人证明某些东西的话则需要额外的努力和成本才行。
非交互式零知识证明
顾名思义,非交互式零知识证明不需要交互过程,避免了串通的可能性,但是可能需要额外的机器和程序来确定实验的顺序。
例如,在数独这个例子中,由程序决定要验证的列或行。验证序列必须保密,否则验证者可能会在不知道真正“知识”的情况下通过验证。
区块链上的零知识证明
比特币和以太坊都是用公共地址来代替当事方的真实身份,使交易部分匿名,公众只知道发送和接收的地址以及交易的数量。然而,可以通过区块链上可用的各种信息找出地址的真实身份,因此存在暴露隐私的可能。
零知识证明,可以在发送方、接收方和其他交易细节都保持匿名的情况下,保证交易有效。
ZCash可能是成功实现零知识证明的最著名的区块链项目之一。Zcash实现了ZKP的修改版本,被称为zk-SNARKS,代表Zero-KnowledgeSuccinctNon-InteractiveArgumentofKnowledge
zk-SNARK技术减少了证明的大小以及验证所需的计算量。它能够在不泄漏有关地址和相关有价值的任何关键信息的情况下证明有效交易条件得到了满足。
zk-SNARK将需要验证的交易内容转换为两个多项式乘积相等的证明,并结合同态加密和其他先进技术,在执行交易验证时保护隐藏的交易金额。
其过程可以简单地描述为:
将代码拆分为可验证的逻辑验证步骤,然后将这些步骤拆分为一个由加法、减法、乘法和除法组成的运算电路;
进行一系列变换,将待验证的代码转化为多项式方程,如t(x)h(x)=w(x)v(x);
为了使证明更加简洁,验证者预先随机选择几个检查点s来检查这些点的方程是否为真;
通过同态编码/加密,验证者在计算方程式时不知道实际输入值,但仍然可以进行验证;
在方程的左边和右边,同时乘以一个不等于0的秘密值k。当验证(t(s)h(s)k)等于(w(s)v(s)k)时,具体的t(s)、h(s)、w(s)和v(s)是不可知的,从而达到保护信息的目的。
但zk-SNARK并不是完美的。
当前zk-SNARK实现中的一个缺陷,是需要提前设置参数。如果这些参数被泄漏,那么整个网络将面临毁灭性的打击。因此,在使用这些网络时,用户必须坚信参数不会被泄漏。
可能的解决方案包括使用现代“可信执行环境”,如因特尔SGX以及ARMTrustZone。对于因特尔的SGX技术来说,即使应用程序、操作系统、BIOS或VMM受到威胁,私钥也是安全的。
此外,最近的一份白皮书揭示了它在零知识密码学方面的创新:ZK-STARKs(零知识可扩展透明知识理论,Zero-KnowledgeScalableTransparentARgumentsofKnowledge)。
根据zk-STARK白皮书,zk-STARK是第一个在不依赖任何信任设置的情况下实现区块链验证的系统,随着计算数据的增加,计算速度呈指数级增加。
它不依赖于公钥加密系统,更简单的假设使其在理论上更加安全,因为它唯一的加密假设是Hash散列函数是不可预测的。
不可否认的是,零知识证明和zk-S(T|N)ARK技术的测试和采用都将需要一定的时间。但是对于区块链底层开发平台来说,如何兼顾性能和安全性是至关重要的。也许只有零知识证明等密码学技术被更多应用的时候,区块链这项技术才能被更好地推动。
作者|?OscarW
译者?|火火酱
责编|Aholiab
出品?|?区块链大本营
据外媒今日消息,咨询公司ValleyCapitalPartners向加密平台即服务公司StrongSalt投资了300万美元.
8月底英格兰银行行长马克.卡尼在美联储的学术会议上发表了题目为“当前国际货币金融体系中日益增长的货币政策的挑战”的演讲,卡尼称美元为基础的全球货币秩序不可持续.
2019年以来,比原链动作频频,继5月份首创一主多侧架构Bystack之后,今日再次推出创新性协议MOV,持续引领公链创新.
近日,四大审计事务所之一的德勤现在允许其员工使用移动比特币钱包在员工食堂支付食品费用,成为了继普华永道卢森堡分公司后又一试验比特币的审计事务所.
据Coindesk9月30日报道,瑞士证券交易所SIXGroup旗下的区块链公司瑞士数字交易所组织了一个由金融机构组成的全球财团,已支持其“首次数字发行”.
在万向区块链实验室举办的国际区块链周活动中,Findora联合创始人兼首席科学家BenediktBünz在其中一场分论坛中分享了一种全新的零知识证明技术Supersonic.