原文作者:Xiang|W3.Hitchhiker
原文编辑:Evelyn|W3.Hitchhiker
不同多项式承诺方案列表
上表中,FRI是Starkware采用的多项式承诺方案,可以实现量子级别的安全,但证明的数据量却是最大;IPA是Bulletproof和Halo2零知识算法默认的多项式承诺方案,验证时间相对较长,采用的项目有门罗币,zcash等,前两者是不需要初始可信设置的。
由上图可以看出在证明大小与验证时间上,KZG多项式承诺的优势比较大,KZG承诺也是目前应用最广的一种多项式承诺方式。但KZG是基于椭圆曲线,配对函数,需要初始可信设置的。
ETH升级路线与多项式承诺的关联
在ETH相关生态及其未来升级路线中,都可以看到多项式承诺的踪影。
PoW(工作量证明)共识将会转变成PoS(权益证明)。
TheVerge:
引入Verkle树(VerkleTrees)的设计来优化以太坊上的数据存储。
因AI监管法案将出台,OpenAI CEO称考虑退出欧洲市场:金色财经报道,OpenAI CEO周三表示,如果无法遵守欧盟即将出台的人工智能(AI)法规,该公司可能会考虑退出欧洲市场。目前,欧盟正在制定AI法规,这可能是全球首套管理AI的规定。法规草案显示,部署ChatGPT等生成式AI工具的公司必须披露用于开发其系统的任何受版权保护的材料。在考虑退出之前,OpenAI将努力遵守欧洲的监管规定。他表示,目前的欧盟AI法案草案将会造成过度监管的情况,但我们听说它将回调,他们还在谈论这件事。[2023/5/25 10:39:32]
TheSplurge:
四个不同部分升级后的协调,旨在减少错误(Bugs)的出现和确保网络能畅顺运作,还有就是EVM改进和添加账号抽象模型等。
其中TheSurge升级将借鉴多项式承诺技术实现数据可抽样性功能,TheVerge升级将利用多项式承诺来优化其数据结构,ETHL2的zkrollup也都采用了多项式承诺来实现其零知识证明带来的性能拓展。
什么是KZG多项式承诺
Brave浏览器桌面版本发布v1.50.121更新:4月20日消息,据官方推特,隐私浏览器Brave桌面版本发布v1.50.121更新,包含一个已被发现在野外被利用的Chromium漏洞的修复程序。用户可能已经收到自动Brave更新,如果没有,可通过浏览器的菜单访问“关于Brave”来手动更新。Android更新正在等待Google Play商店审核,应该很快就会发布。
此前4月17日消息,谷歌Chrome浏览器紧急发布安全补丁,修复可盗取比特币私钥等信息的漏洞CVE-2023-2033。如果用户在其他浏览器中使用了Chrome内核的浏览器,也需升级最近版本以避免被攻击。[2023/4/20 14:16:03]
此文这里只介绍较好理解的KZG多项式承诺,KZG多项式承诺也被称为卡特多项式承诺方案,是Kate,Zaverucha和Goldberg一起发表的。在一个多项式方案中,证明者计算一个多项式的承诺,并可以在多项式的任意一点进行打开,该承诺方案能证明多项式在特定位置的值与指定的值一致。
之所以被称为承诺,是因为当一个承诺值发送给某对象(验证者)时,证明者不可以改变当前计算的多项式。他们只能够对一个多项式提供有效的证明;当试图作弊时,它们要不无法提供证明,要不证明被验证者拒绝。
FTX 9月底所持有加密货币的公允价值仅为659,000美元:11月21日消息,根据破产法庭文件显示,截至 2022 年 9 月底,FTX International 所持有加密货币的总公允价值仅为 659,000 美元,而其创始人 SBF 却声称该公司持有价值 55 亿美元的“低流动性”加密货币。(Business Insider)[2022/11/21 7:53:02]
KZG数学原理
详细可参考QiZhou博士在DappLearning讲解的关于KZG视频。
在理解KZG之前,可以先了解一下多项式、群、环、域、椭圆曲线、生成元、配对公式、朗格朗日插值等数学定义。
由于椭圆曲线群并不支持运算多项式之间的乘法运算,所以此时得采用配对函数去解决
批量证明
具体应用场景
多项式承诺应用方向总结起来可以分为3大类
数据可用性
数据结构优化
零知识证明系统
1.数据可用性
美国国会议员Lauren Boebert未在2021年定期报告加密交易:金色财经报道,根据8月13日提交的年度财务报表,美国科罗拉多州众议员Lauren Boebert没有为2021年购买的加密货币提交定期交易报告。
在2021年年度财务报表中,Boebert列出了她和配偶Jayson Boebert共同拥有的一项支票资产以及她丈夫单独拥有的其他几项资产,包括价值在1,001美元至15,000 美元之间的加密货币。?报表列出了2021年5月5日至7日之间的八笔加密交易,包括四笔购买和四笔出售。所有交易均通过Jayson的Robinhood账户进行。
根据2012年出台的《停止利用国会消息交易法案》(STOCK),美国众议院议员必须在交易后45天内为他们、他们的配偶和受抚养子女进行的每笔超过1000美元的证券交易提交一份“定期交易报告”。(The Block)[2022/8/25 12:46:19]
DAS
核心目的:数据缺失则无法通过大多数节点抽查
尽力做到:占用带宽小,抽样过程所需计算量小
Terra创始人Do Kwon将其Twitter设为私有,致使LUNA暴跌20%:金色财经报道,Terra首席执行官兼创始人Do Kwon将他的Twitter帐户设为私有,只允许选定的追随者访问他的推文,致使LUNA暴跌20%。此举背后的原因尚不清楚,但Do Kwon在过去几周内受到的大量骚扰可能促使其设为私有。Terraform Labs的法律问题仍在继续,许多人预测Kwon可能会因上个月的加密货币毁灭而面临牢狱之灾。(cryptopotato)[2022/6/8 4:10:34]
纠删码
纠删码会增加额外数据块,这种情况很容易通过抽样调查发现,从而提升安全性。
以上图为例,有4个数据,一次只能抽样一个,假设一个数据有问题,每个用户抽样发现错误的概率是1/4,但是加入两数据块后,还是一个数据有问题,用户抽样发现的概率可以高达1/2。这样就能大幅提升安全性。
KZG也可实现纠删码,利用拉格朗日公式:
比如把(0,3),(1,6)带入公式可得,y=3x3
y1,y2可以理解为要保存的数据,
对应点(3,12)等等,其中y值可以作为纠删码数据,其中任意两个点都可以推出原多项式公式系数。
不同数据可用性项目组成
Celestia=Tendermint(cosmos)2d纠删码欺诈证明NamespacemerkletreeIPFS基础设施
PolygonAvail=Substrate(Polkadot)2d纠删码KZG多项式承诺IPFS基础设施
ETHprotoDankSharding=Blobs数据2d纠删码KZG多项式承诺ETH基础设施
EIP-4844升级将在TheMerge之后的下一个以太坊分叉升级中引入“proto-danksharding”并添加blob交易类型,这有望将第2层Rollup的可扩展性提高,同时为实现完全分片铺平道路。
BlobTransaction
增加一种新的交易类型,这种交易包含额外的存储空间——Blobs
Blob开始只有128KiB的存储空间
一个交易最多包含2个Blob,即256KiB
一个Block最多包含16个,即2MiB;Target是8个,即1MiB
Blob以KZGCommitmentHash作为Hash,用于数据验证,作用和Merkle类似
节点同步链上的BlobTransaction后,Blob部分会在一段时间后过期删除
L2需要通过更新目前在L1的合约,以支持DankSharding。
Celestia通过欺诈证明实现。当见证人发现数据没有被正确采用删码技术,那么这个人就会将欺诈证明提交从而来提醒其他节点。但是这里需要最少诚实假设和同步假设。
protoDanksharding后的以太坊和PolygonAvail则采用了KZG多项式承诺(KZGcommitments)的方法。
KZG多项式承诺方案,理论上要优于欺诈证明方案,带宽需求更小,抽样所需计算量也更小,也免去了欺诈证明中的包括少数诚实假设和同步假设等的安全假设。未来ETH也有意引入抗后量子密码学(参考stark,采用哈希,不在使用椭圆曲线作为基础),避免量子计算机攻击。
2.数据结构优化VerkleTree
VerkleTree的概念在2018年推出,作为ETH升级的一个重要部分,其相比于MerkleTree,在Proof的大小上,有着很大的提升;对于规模在十亿级别的数据,MerkleTree的proof大约需要1kB,而对于VerkleTree,它将小于150Bytes。
与MerkleTree一样VerkleTree也能实现ProofofInclusion,而且只需KZGroot和Data就能验证,不需要额外的Proof,更省带宽。
1.需求:StatelessClient
节点不存完整的StateTree,只获取需要的State来验证Block
PortalNetwork
对StateTree的PoI有更高的性能要求
2.回顾DataAvailability里的KZGcommitment
每个leaf都是polynomial上的点
constantsizeproof,和leaf数量无关
3.VerkleTree
在不同树结构中构建证明,更新证明,以及证明所需的复杂度:
Verkle方案不需要以太坊客户端下载完整的状态数据,使得ETH验证者轻节点成为可能(甚至可支持手机运行),多项式承诺需要的证明空间复杂度大幅降低,带宽量需求量也大幅减少。
3.零知识证明系统
早期zk技术属于线性PCP类。除要求可信设置外,主要缺点是如果需要为不同的计算提供证明,都需要一次新的设置。近期zk技术PIOP类支持通用初始设置和透明设置。
新的zk证明系统通常可以描述为PIOPPCS。前者可被视为是证明者用来说服验证者的约定程序,而后者使用数学方法确保该程序不会遭到破坏。项目方可以按需修改PIOP,且可以在不同PCS中进行选择。
由Amber文章里的图可以看到zk系公链项目采用KZG方案的最多,有PloygonHermez,Scoll,Zksync2.0,Aztec,Aleo,Manta,以太坊基金会支持的PSE也采用的KZG方案。而Starknet,Risc0,PolygonMiden采用的是FRI方案,PloygonZkvm(Hermez)则是FRI与KZG的结合。
值得一提是,一些新的零知识证明系统支持多项式承诺方案的切换,KZG未来也可以切换成其他多项式承诺方案。
总的来说,多项式承诺正在重塑整个区块链的架构,不论是在链的数据结构优化上,模块化区块链的数据可用性上,还是零知识证明系统上都将大有作为。其他地方是否还存在应用场景也是非常值得探索与跟进的。
Mechaverse(MM)willbeavailableonBurningDropfrom10:00:00onNovember2.
1900/1/1 0:00:00ForesightNews消息,苏富比宣布将于12月13日拍卖另一幅私人手中仅存的第一版美国宪法副本,拍卖前该宪法副本将于11月4日至22日在苏富比约克大道画廊公开展出.
1900/1/1 0:00:00尊敬的用戶:Hotcoin本著保護用戶的宗旨,定期對平台內的代幣進行綜合性審查,持續保持交易幣種的高質量.
1900/1/1 0:00:00关于Gate.ioStartup免费空投计划为回馈平台用户,Gate.io上线“免费空投计划”,在Startup区不定期进行区块链项目的免费空投计划.
1900/1/1 0:00:00自从埃隆马斯克上周以440亿美元买下整个网站以来,狗狗币的价格一直表现得非常好,因为他的推文对加密货币的价值产生了巨大影响.
1900/1/1 0:00:0011月1日消息,工业和信息化部、教育部、文化和旅游部、国家广播电视总局、国家体育总局印发《虚拟现实与行业应用融合发展行动计划》,发展目标包括,到2026年,产业生态持续完善.
1900/1/1 0:00:00