ERK:Sin7y团队解读:Verkle Tree For ETH_TronLink钱包

引言

VerkleTree作为ETH2.0升级的一个重要部分,其相比于MerkleTree,在Proof的大小上,有着很大的提升;对于规模在十亿级别的数据,MerkleTree的proof大约需要1kB,而对于VerkleTree,它将小于150Bytes。

VerkleTree的概念在2018年推出,具体的可以参考论文VerkleTree;本文将主要介绍VerkleTree的原理。

MerkleTree?

MerkleTree是一种常见的Accumulator,它可以用来证明某个元素存在于Accumulator中,如下图所示:

Beosin:Ara项目被攻击的根本原因是合约中处理权限存在漏洞:6月19日消息,Beosin Alert发推称,Ara项目被攻击的根本原因是合约中处理权限存在漏洞。0xB817开头地址批准了大量ARA与USDT交换合约,它没有限制从调用者转移的用于交换的资金。[2023/6/19 21:46:59]

如果想要证明=(06:32)在这个Tree中,那图中所有红色标记的node都需要包含在Proof中,然后verifier根据图中所示的路径计算出Root,并和期望的Root进行比较。

VerkleTrees-concept

前FTX高管Nishad Singh计划对刑事指控认罪:金色财经报道,FTX前工程总监Nishad Singh正在与检察官敲定一项协议,计划对刑事指控认罪。目前协议尚未最终敲定。他将是SBF核心圈子中第三位认罪并与检察官合作的成员,前两名成员分别是FTX联合创始人Gary Wang和Alameda Research前首席执行官Caroline Ellison。SBF对包括欺诈在内的一系列刑事指控拒不认罪,目前正在等待10月份的审判。如果所有罪名成立,他可能被判处100年以上监禁。FTX于去年11月申请破产,其估值曾高达320亿美元。据估计,该公司拥有900万名客户,欠前50名债权人的金额可能高达31亿美元。[2023/2/18 12:14:31]

Beosin:SheepFarm项目遭受攻击事件简析:金色财经报道,根据区块链安全审计公司Beosin旗下Beosin EagleEye 安全风险监控、预警与阻断平台监测显示,BNB链上的SheepFarm项目遭受漏洞攻击,Beosin分析发现由于SheepFarm合约的register函数可以多次调用,导致攻击者0x2131c67ed7b6aa01b7aa308c71991ef5baedd049多次利用register函数增大自身的gems,再利用upgradeVillage函数在消耗gems的同时累加yield属性,最后调用sellVillage方法把yield转换为money后再提款。本次攻击导致项目损失了约262个BNB,约7.2万美元。Beosin Trace追踪发现被盗金额仍在攻击者账户,将持续关注资金走向。[2022/11/16 13:10:39]

中环球船务(SINO.US)宣布接受比特币支付:3月2日,中环球船务(SINO.US)宣布,公司将接受比特币作为其全球航运、货运和物流服务的支付方式。用比特币支付的款项将按照付款日适用的利率支付。

公司首席执行官LeiCao先生评论道:我们很高兴开始接受比特币作为支付方式。中环球船务正在适应数字货币行业的趋势,为我们的客户提供多种支付方式的选择。接受比特币将使我们的客户和商业伙伴能够利用日益重要的支付网络。(新浪财经)[2021/3/3 18:11:29]

Sino Global Capital CEO:中国央行数字货币可能是包含金融中介机构的分层系统:针对中国央行试点数字货币,Sino Global Capital首席执行官Matthew Graham表示,正在开发的应用程序将对加密货币产生影响,但不是基于区块链的。使用该应用程序的人和央行之间不会有直接的关系,但会有金融中介机构,并将有一个分层系统。这一点从最近泄露的中国农业银行DCEP内测钱包截图可以体现出来。

据此前报道,4月19日,央视新闻发表文章指出,近期,我国法定数字货币研发的进展引起社会普遍关注。中国人民银行数字货币研究所相关负责人近日表示,目前数字人民币研发工作正在稳妥推进,先行在深圳、苏州、雄安新区、成都及未来的冬奥场景进行内部封闭试点测试,以不断优化和完善功能。此外,考虑到前期数字货币仅限于试点,短期内不会大量发行和全面推广,货币流通速度也将保持正常水平。因此,数字货币不会引发通胀。(AMBCrypto)[2020/4/20]

Basis

KZGforsinglepoint

因为s是有限域F上随机选取的?个点,因此,prover作恶成功的概率为degree(Q)/P。

KZGformulti-points

VerkleTree-ETH

Compressformulti-polys

很明显,我们并不想让Verifier执行这么多次的配对操作。因此,我们需要进行一次Compress,具体如下:

Keypropertie

参考?

1.PCSmultiproofsusingrandomevaluation-Dankrad?Feist:?

https://dankradfeist.de/ethereum/2021/06/18/pcs-multiproofs.html

2.?Verkletrees-vitalik:https://vitalik.ca/general/2021/06/18/verkle.html??

3.?VerkleTreespaper:?

https://math.mit.edu/research/highschool/primes/materials/2018/Kuszmaul.pdf?

4.?Vectorcommitment:https://eprint.iacr.org/2011/495.pdf

5.?Lagrangeinterpolation:https://en.wikipedia.org/wiki/Lagrange_polynomial?

6.?KZG10:https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-commitments.html

7.?IPA:https://twitter.com/VitalikButerin/status/1371844878968176647

8.?Schwartz–Zippellemma:https://en.wikipedia.org/wiki/Schwartz%E2%80%93Zippel_lemma

关于我们

Sin7y成立于2021年,由顶尖的区块链开发者和密码学工程师组成。我们既是项目孵化器也是区块链技术研究团队,探索EVM、Layer2、跨链、隐私计算、自主支付解决方案等最重要和最前沿的技术。

微信公众号:Sin7y

GitHub:Sin7y

Twitter:@Sin7y_Labs

Medium:Sin7y

Mirror:Sin7y

HackMD:Sin7y

HackerNoon:Sin7y

Email:contact@sin7y.org

来源:金色财经

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

大币网

[0:15ms0-8:776ms