木星链 木星链
Ctrl+D收藏木星链
首页 > BNB > 正文

ANC:图解零知识证明(ZKP) 一篇读懂密码学基础

作者:

时间:1900/1/1 0:00:00

零知识证明(Zero-Knowledge Proof或Zero-Knowledge Protocol)是一种基于概率的验证方法,它包括“类似事实的陈述”和“关于个人知识的陈述”。

验证者基于一定的随机性来询问证明者,如果证明者给出的答案正确,那么证明者将有很大概率会拥有其所声称的“知识”。零知识证明可以在不透露使用哪种货币的情况下验证你确实花了钱。

如今,零知识证明已经被许多区块链项目视为最好的隐私保护方案之一。能够在不泄露数据的情况下,来证明数据的真实性。

在本文中,我们将会解释神秘的零知识证明(Zero-Knowledge Proof)及其当前的应用。

为什么ZKP如此重要?

数据隐私是当今社会最重要的课题之一。保护与个人身份有关的个人数据(出生日期、银行证明、交易记录、教育证书)是至关重要的,并且其重要性将不断提高。

报告:以美元计价的稳定币占所有稳定币的99.3%:金色财经报道,DRW的加密货币子公司Cumberland发布了一份关于非美元稳定币的报告,报告指出目前,以美元计价的稳定币占所有稳定币的99.3%,也是前十几个稳定币代币。该报告强调了非美元稳定币的多个用例,包括外汇交易和跨境汇款。平均每天7.5万亿美元的外汇交易量,即使将其中的一小部分带入加密轨道,也会对交易量产生巨大的推动作用。

此外,报告指出,将美元转换为欧元的一些成本比较。Uniswap Research将在Uniswap上兑换500美元的成本为7美元,而银行收取的费用为28美元,汇款运营商收取的费用为19美元。[2023/6/7 21:22:03]

在科技时代,我们正在创造着前所未有的海量数据,而且我们也在不断创造着关于自身的可供掠夺的数据。

像Google和Facebook这样的大公司利用我们的数据成为了当今世界的科技巨头。然而,最近密码学的突破和区块链的兴起为保护我们的数据和身份信息提供了新方法。零知识证明或许就是答案。

法国投资者起诉Binance法国,要求赔偿超240万欧元损失:金色财经报道,据当地媒体消息,Binance法国公司及其母公司Binance Holdings Limited因涉嫌误导性商业行为和欺诈性隐瞒而被法国的15名投资者起诉。原告声称,Binance在获得该国当局的注册之前就宣传和分销加密货币服务,违反了法国法律。

据报道,投诉中的截图显示了Binance在获得许可证之前的社交媒体活动,包括一个被称为 \"Binance法语 \"的Telegram频道。原告还声称,在TerraUSD(UST)崩溃后,他们损失了240多万欧元,而Binance法国将该代币宣传为锚定美元支持的。

币安法国回应了有关此案的问题。据称,该公司在涉事期间未在法国进行任何宣传传播,并指出“Telegram群组是全球社区论坛”,从而允许用户自愿创建和加入频道。(Cointelegraph)

此前金色财经报道,法国的金融市场监管机构Autorité des marchés financiers已于2022年5月向Binance颁发了数字资产提供商的许可证。该许可证允许该加密货币交易所提供资产托管和加密货币交易等服务。[2022/12/26 22:07:24]

Moadrona旗下两支新基金完成6.9亿美元募资,专注于Web3等领域投资:金色财经报道,总部位于西雅图的风险投资公司Madrona宣布旗下两支新基金完成6.9亿美元募资,其中Madrona Fund 9完成4.3亿美元募资,Acceleration Fund 3完成2.6亿美元募资。新基金将重点投资Web3、应用人工智能/机器学习、现代数据堆栈和 DevOps、金融科技等领域,Madrona Fund 9将投资pre-seed、种子轮和A轮阶段阶段的初创公司,Acceleration Fund 3则专注于B 轮或 C 轮阶段的初创公司。Madrona最新参投了Web3数据应用程序SPICE AI,还投资了专为青少年和父母构建的加密货币应用程序Stack。(nftgators)[2022/9/14 13:28:06]

零知识证明的原理

零知识证明是麻省理工学院的研究人员在20世纪80年代提出的一种加密方案。零知识证明协议是指一方(证明方)可以证明某事对另一方(验证方)来说是真实的。除了此特定陈述属实之外,不会透露其他任何信息。

DEXILON完成300万美元融资,Fenbushi Capital等参投:金色财经消息,去中心化衍生品协议DEXILON宣布推出测试网并完成300万美元种子轮融资,GSR、Youbi Capital、Fenbushi Capital、Ledgerprime与Cipholio Ventures等参投。

据悉,DEXILON是下一代去中心化衍生品交易所和生态系统,可用于为金属、能源和软商品以及外汇(FX)等非加密资产推出衍生品合约。[2022/7/15 2:14:05]

例如,当前网站将用户密码的Hash散列值储存在其web服务器中。为了验证客户端是否真的知道密码,大多数网站目前使用的方法是要求客户端输入密码的hash散列,并将其与储存的结果进行比较。

零知识证明可以保护用户账号不被泄漏。如果可以实现零知识证明,那么客户端密码对任何人来说都是未知的,但是仍然可以对客户端登录进行身份验证。当服务器受到攻击时,用户的账户仍然是安全的,因为其密码并没有被储存在web服务器中。

价值约12.6 亿美元的BTC在过去30 天内从交易所撤出:金色财经报道,Watcher.Guru发推称,在过去 30 天内,有 59,170枚BTC(价值约12.6 亿美元)从交易所撤出。[2022/7/10 2:02:45]

零知识证明可以分为「交互式」和「非交互式」两种。接下来我们就一一来看看这两种证明方式有哪些不同。

交互式零知识证明

零知识证明协议的基础是交互式的。它要求验证者不断对证明者所拥有的“知识”进行一系列提问。

例如,如果有人声称自己知道数独游戏的答案,零知识证明的过程就是验证者需要随机指定要通过列、行或九个正方形进行验证。

每轮测试不需要知道具体的答案,只需要检测数字1~9是否包含在内。只要验证的次数足够多,就有理由相信证明者是知道数独问题答案的。

然而,这种简单的方法并不能使人相信证明者和验证者都是真实的。在数独这种情况下,两者可以提前串通,以便证明者可以在不知道答案的情况下依然通过验证。

如果他们想要说服第三方,验证者还必须要证明验证过程是随机的,并且他不会向证明者泄漏答案。

因此,第三方难以验证交互式零知识证明的结果,要向多人证明某些东西的话则需要额外的努力和成本才行。

非交互式零知识证明

顾名思义,非交互式零知识证明不需要交互过程,避免了串通的可能性,但是可能需要额外的机器和程序来确定实验的顺序。

例如,在数独这个例子中,由程序决定要验证的列或行。验证序列必须保密,否则验证者可能会在不知道真正“知识”的情况下通过验证。

区块链上的零知识证明

比特币和以太坊都是用公共地址来代替当事方的真实身份,使交易部分匿名,公众只知道发送和接收的地址以及交易的数量。然而,可以通过区块链上可用的各种信息(如交互记录)找出地址的真实身份,因此存在暴露隐私的可能。

零知识证明,可以在发送方、接收方和其他交易细节都保持匿名的情况下,保证交易有效。

ZCash可能是成功实现零知识证明的最著名的区块链项目之一。Zcash实现了ZKP的修改版本,被称为zk-SNARKS,代表Zero-Knowledge Succinct Non-Interactive Argument of Knowledge(零知识简明非交互式知识证明)

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以及ARM TrustZone。对于因特尔的SGX技术来说,即使应用程序、操作系统、BIOS或VMM受到威胁,私钥也是安全的。

此外,最近的一份白皮书揭示了它在零知识密码学方面的创新:ZK-STARKs (零知识可扩展透明知识理论,Zero-Knowledge Scalable Transparent ARguments of Knowledge)。

根据zk-STARK 白皮书,zk-STARK是第一个在不依赖任何信任设置的情况下实现区块链验证的系统,随着计算数据的增加,计算速度呈指数级增加。

它不依赖于公钥加密系统,更简单的假设使其在理论上更加安全,因为它唯一的加密假设是Hash 散列函数(例如SHA2)是不可预测的。

不可否认的是,零知识证明和zk-S(T|N)ARK技术的测试和采用都将需要一定的时间。但是对于区块链底层开发平台来说,如何兼顾性能和安全性是至关重要的。也许只有零知识证明等密码学技术被更多应用的时候,区块链这项技术才能被更好地推动。

标签:ANCARKNANDGEXENO Governance TokenSparkpointcoinbase和binanceICO OpenLedger

BNB热门资讯
区块链:盘点19个现金流协议:哪些协议代币最「赚钱」?

代币的价值捕获能力是影响项目长远发展的关键因素,如何提升代币价值也一直是加密社区所关注的问题,目前而言,通过将协议收入与社区共享无疑是有效的路径之一.

1900/1/1 0:00:00
DAO:一文盘点主流Web3任务管理平台

原文作者:Allen在全球流动性不断收紧的宏观环境下,此轮加密熊市显得“格外惨烈”,除了业内知名机构Celsius、BlockFi、Three Arrows Capital等遭遇危机外.

1900/1/1 0:00:00
元宇宙:QQ音乐发力元宇宙:测试虚拟社区Music Zone

近日,QQ音乐在内测版本中,加入了一项全新的社交功能,意图将其作为对元宇宙领域的首次尝试。该虚拟社区名叫Music Zone,正式上线后入口将在“我的”页.

1900/1/1 0:00:00
区块链:区块链中的不可能三角是什么丨金色百科

在区块链行业中,我们有时会看到某某项目宣传他们打破了“不可能三角”,比如近期大火的“荷兰式拍卖”项目Algorand.

1900/1/1 0:00:00
BTC:金色百科丨回购销毁真的百利无一害吗?

近段时间,许多交易所纷纷推出了自己的回购销毁政策,这些销毁回购通常由“基金会”或是“机构”以中心化的方式,简单粗暴的减少代币在市面上的流通量,并根据“越稀有越值钱”的理论,来进行拉盘的动作.

1900/1/1 0:00:00
以太坊:BTC、ETH和EOS相比较有什么区别?| 白话区块链入门143

在白话区块链之前的推文《被称为区块链 3.0 的 EOS 是什么》中提到:比特币就像大哥大,只有打电话功能;以太坊像小灵通,除了打电话,还可以有一些小游戏;EOS 就像第一代的 iPhone.

1900/1/1 0:00:00