Sin7y团队解读:Verkle Tree For ETH

引言

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

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

MerkleTree?

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

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

MATIC 销毁量突破 600 万枚:金色财经报道,据 MATIC 销毁数据仪表盘显示,MATIC 销毁量已超 600 万枚,目前为 6,040,586.56 枚。[2023/1/31 11:39:00]

VerkleTrees-concept

CZ:Binance将实施V神新想法并为行业开源:11月20日消息,在Vitalik Buterin发布新文章《拥有一个安全的CEX:证明偿付能力及其他》后,Binance首席执行官CZ在社交媒体上表示将致力于Vitalik的新想法,并坦言自己不太明白Vitalik Buterin文章里的所有方程式,但Binance团队会实施其想法并为行业开源。

此前报道,Vitalik Buterin分析了交易平台进行去中心化资产证明的尝试历史、技术局限性,以及如何使用ZK-SNARK和其他先进技术来极大地简化和改进目前Merkle tree资产证明协议中的隐私问题和稳健性。[2022/11/20 22:09:32]

DiTok推出去中心化短视频SocialFi平台:7月30日消息,DiTok推出基于区块链的去中心化短视频SocialFi平台。用户躺在家里刷手机、看短视频,可以赚取代币。目前DiTok已经正式开启全球公测。(Asiaone)[2022/7/30 2:48:17]

Basis

KZGforsinglepoint

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

CNBC:美国税法可能会通过“非商业坏账”注销的方式为Celsius等平台的投资者提供救济:7月7日消息,Celsius、Anchor和Voyager Digital等加密货币借贷平台由于加密货币价格暴跌而暂停或限制投资者提款。注册会计师Shehan Chandrasekera表示,美国税法最终可能会通过“非商业坏账”注销的方式为投资者提供救济。

据悉,构成非商业坏账的条件是一方贷款给另一方形成债务,而出借资金完全损失且不可收回。另一位注册会计师Lewis Taub强调,“必须是出借给平台的所有资金完全损失,才能认为该债务资金可以扣除。部分损失不算数。冻结账户,或加密货币平台的有限提款,并不构成全部损失。”而确定用户提供给加密平台的资金是否构成贷款并不简单。(CNBC)[2022/7/7 1:56:22]

KZGformulti-points

Holodeck Media与区块链内容工作室Arslanian Media Group合并:5月5日消息,专注于元宇宙、游戏和加密内容的媒体公司Holodeck Media已与Arslanian Media Group合并。Arslanian Media Group是加密货币和区块链技术工作室,负责制作Crypto Capsule和The Future of Money等节目。新合并的实体旨在推出更多节目。

Holodeck Media负责制作Business of Esports播客,其首席执行官Paul Dawalibi将该服务描述为“CNBC与Barstool Sports相遇,但是为了元宇宙中的游戏。”(CoinDesk)[2022/5/5 2:52:50]

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

来源:金色财经

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

银河链

加密货币Vivi 专访欧阳默|Web3投资的机遇与挑战

全长6573字,预计阅读15分钟编辑:MiX?圣经说「要进窄门,那是少有人走的路。」Web3无疑是眼下最大的风口之一,传统互联网红利时代已近尾声,赢家通吃的“马太效应”成为行业发展的掣肘,大量的Web2公司,都在尝试进入Web3.

XMRBTC细节决定机会之结果篇

首先上一篇文章表述,先回顾22日的文章,在结合上一篇观点去研判。 上文观点回顾如下: 日线5日均线拐头 日线20日均线穿30日均线Lido业务发展主管:质押监管政策影响尚未确定,个人作为美国人或面临无法为Lido工作的风险:2月13日.

[0:15ms0-1:878ms