Verkle Tree For ETH-ODAILY_VER

VerkleTree作為ETH2.0升級的一個重要部分，其相比于MerkleTree，在Proof的大小上，有著\n很大的提升；對于規模在十億級別的數據，MerkleTree的proof大約需要1kB，而對于VerkleTree，\n它將小于150Bytes。

VerkleTree的概念在2018年推出，具體的可以參考論文VerkleTree；本文將主要介紹Verkle\nTree的原理。

MerkleTree

MerkleTree是一種常見的Accumulator，它可以用來證明某個元素存在于Accumulator中，如\n下圖所示：

眾籌平臺Energy Funders通過旗下Bitcoin Discovery Fund出售比特幣挖礦業務股權:5月5日消息，據眾籌平臺Energy Funders提交誒美國證券交易委員會的文件顯示，眾籌平臺Energy Funders通過旗下Bitcoin Discovery Fund以每股5000美元出售其比特幣挖礦業務股權，總共將出售價值1000萬美元的股票。挖礦所得將按月以美元或比特幣的形式分配給投資者。Energy Funders表示，若比特幣價格保持在4.5萬美元范圍內，投資者收益率將超過100%。[2022/5/5 2:51:23]

如果想要證明=(06:32)在這個Tree中，那圖中所有紅色標記的\nnode都需要包含在Proof中，然后verifier根據圖中所示的路徑計算出Root，并和期望的Root進行比較。

ZT創新板已經上線BabyEverDoge:據官方公告，ZT創新板已經上線BabyEverDoge，已經開放充值，并于6月21日16:00開啟BabyEverDoge/USDT交易對。

Baby EverDoge代幣持有者不僅受益于靜態獎勵，還受益于合約的回購流程。作為回購流程的一部分，合約負責回購一些代幣并在發生賣出時銷毀它們。

ZT數字資產交易平臺是一家全球性的數字資產交易服務商，致力于為全球用戶打造創新型熱門數字資產首發地。[2021/6/21 23:53:43]

VerkleTrees-concept

慢霧：Cover協議被黑問題出在rewardWriteoff具體計算參數變化導致差值:2020年12月29日，慢霧安全團隊對整個Cover協議被攻擊流程進行了簡要分析。

1.在Cover協議的Blacksmith合約中，用戶可以通過deposit函數抵押BPT代幣；

2.攻擊者在第一次進行deposit-withdraw后將通過updatePool函數來更新池子，并使用accRewardsPerToken來記錄累計獎勵；

3.之后將通過_claimCoverRewards函數來分配獎勵并使用rewardWriteoff參數進行記錄；

4.在攻擊者第一次withdraw后還留有一小部分的BPT進行抵押；

5.此時攻擊者將第二次進行deposit，并通過claimRewards提取獎勵；

6.問題出在rewardWriteoff的具體計算，在攻擊者第二次進行deposit-claimRewards時取的Pool值定義為memory，此時memory中獲取的Pool是攻擊者第一次withdraw進行updatePool時更新的值；

7.由于memory中獲取的Pool值是舊的，其對應記錄的accRewardsPerToken也是舊的會賦值到miner；

8.之后再進行新的一次updatePool時，由于攻擊者在第一次進行withdraw后池子中的lpTotal已經變小，所以最后獲得的accRewardsPerToken將變大；

9.此時攻擊者被賦值的accRewardsPerToken是舊的是一個較小值，在進行rewardWriteoff計算時獲得的值也將偏小，但攻擊者在進行claimRewards時用的卻是池子更新后的accRewardsPerToken值；

10.因此在進行具體獎勵計算時由于這個新舊參數之前差值，會導致計算出一個偏大的數值；

11.所以最后在根據計算結果給攻擊者鑄造獎勵時就會額外鑄造出更多的COVER代幣，導致COVER代幣增發。具體accRewardsPerToken參數差值變化如圖所示。[2020/12/29 15:58:07]

動態 | Ethos Universal錢包宣布支持25種ERC20代幣:據bitcoinexchangeguide報道，Voyager最近收購的區塊鏈資產生態系統Ethos宣布將25個ERC20代幣添加到其Universal錢包中，將允許用戶存儲、發送和接收代幣。[2019/3/22]

Basis

KZGforsinglepoint

因為s是有限域F上隨機選取的?個點，因此，prover作惡成功的概率為degree(Q)/P\n。

KZGformulti-points

VerkleTree-ETH

Compressformulti-polys

很明顯，我們并不想讓Verifier執行這么多次的配對操作。因此，我們需\n要進行一次Compress，具體如下：

Keyproperties

a.該方案允許Prove任意個數的points，且Proof的大小是恒定的

b.yi的值可不顯式提供，因為它就是下一層值的hash;

c.xi的值可不顯式提供，可以根據Key判斷；

d.所用到的公開信息就是被證明的key/value對，和由下而上的沒層級對應的承諾；

參考

1.PCSmultiproofsusingrandomevaluation-DankradFeist；

2.Verkletrees-vitalik

3.VerkleTreespape

關于我們

Sin7y成立于2021年，由頂尖的區塊鏈開發者組成。我們既是項目孵化器也是區塊鏈技術研究團隊，探索EVM、Layer2、跨鏈、隱私計算、自主支付解決方案等最重要和最前沿的技術。

微信公眾號：Sin7Y

GitHub|Twitter|Telegram|Medium|Mirror|HackMD|HackerNoon

Tags：VERTREEWARREWARDInverse Bitcoin Volatility Index TokenTREE幣EdgewareREWARDS

幣贏