VER:Verkle Tree For ETH-ODAILY

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

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

MerkleTree

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

ETHDenver通過Gamerjibe平臺為社區提供元宇宙參會體驗:2月17日消息，ETHDenver 大會組織者借助 Gamerjibe 平臺，發布元宇宙會場，用戶可通過登錄 Gamerjibe 平臺，加入 ETHDenver 的虛擬城堡，觀看討論和研討會，并與其他虛擬參會者建立聯系。

Gamerjibe 是一個元宇宙平臺，可為 Web 3.0 社區和企業客戶提供可互動和沉浸式元宇宙體驗。[2022/2/17 9:57:47]

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

特斯拉幫助BTCPay Server修復漏洞:特斯拉員工披露了開源比特幣支付處理器和錢包BTCPay Server中的一個錯誤，并幫助該項目團隊修復了該錯誤。在上周審查了該項目的GitHub后，特斯拉將該漏洞告知了BTCPay團隊，有關該錯誤的更多信息將在BTCPay的下一個主要版本中公開。（Coindesk）[2021/3/31 19:31:47]

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]

Discover Card宣布不允許客戶在加密貨幣交易中使用其信用卡:本周，Discover Card宣布不允許客戶在加密貨幣交易中使用其信用卡。Discover Card首席執行官內姆斯表示：“這是一種試圖從中國或其他地方騙錢的方式，如果有人偷了我們的信用卡號碼，則我們可能會被要求用加密貨幣進行支付”。Discover并不希望在新興的分布式資本市場中占有一席之地。[2018/1/28]

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：VERTREEREWARDWARVersus FarmSafetreesREWARD價格Rewards Token

幣安app官網下載