LOT:Vitalik：HF1 提案_Alphaslot

HF1 為信標鏈首次硬分叉的暫時代碼名稱 (點進鏈接參與協議升級永久命名的討論)，這次升級的主要目標為：

1. 增加輕客戶端支持

2. 修復一些信標鏈上的漏洞，這些漏洞發現時間比較晚，來不及在創世前修復

3. 在需要進行較大的更新 (分片、合并) 之前，先在相對較小的更新中對硬分叉機制進行測試

HF1 提議的共識改變

同步委員會

我們在信標鏈上添加了隨機取樣的 “同步委員會”。這樣做的目的是讓輕客戶端以較低的開銷 (每天至少需要約20KB來保持，需要約500個字節來確定單個區塊) 來確定信標鏈頭。這將使得輕客戶端實際上可用于移動設備、信標鏈 之類的瀏覽器內的應用案例 (以及合并后的整個以太坊)，從而為更加去信任的錢包生態打好基礎。

在每個時間段（約27小時）內，隨機選擇 1024 位驗證者作為同步委員會的成員。同步委員會中的驗證者將發布證明當前鏈頭的簽名。這些簽名將作為LightClientUpdate對象的一部分被廣播至區塊鏈，這可以幫助輕客戶端找到鏈頭；并且簽名會被打包進鏈，驗證者會分得獎勵。

Navitas Global投資加密礦企Soluna Holding1400萬美元:金色財經報道，加密采礦數據中心開發商Soluna Holdings宣布與Navitas Global就其位于德克薩斯州的Project Dorothy 1B數據中心達成1400萬美元的投資伙伴關系。Navitas將為Dorothy 1B項目的最后階段基礎設施建設和25mw比特幣礦機提供投資資本，以換取Dorothy 1B項目49%的股權。該協議包括200萬美元的貸款，以完成建設和1200萬美元的股權投資。Soluna將提供運營和維護專業知識，并將繼續擁有Dorothy 1B項目51%的股份。[2023/5/16 15:04:46]

主要PR：

https://github.com/ethereum/eth2.0-specs/pull/2130

核算改革 (第一層)

給驗證者的獎勵不再通過計算得出。此前，我們的方法為存儲PendingAttestation對象然后在最后對它們進行處理。而現在我們添加了一個位字段以存儲每個驗證者的狀態，從而可以實時收集參與數據。位字段按照“混洗”的方法進行排序，以確保同一個委員會的驗證者的記錄同時顯示。這一改變的目的是簡化客戶端實現，并使得更新默克爾樹的成本更低。

Celestia：Quantum Gravity Bridge初期版本已上線Blockspace Race測試網:5月12日消息，模塊化區塊鏈網絡Celestia發推表示，Quantum Gravity Bridge的初期版本已于本周在Blockspace Race測試網上線，相應的合約已部署在以太坊Sepolia測試網上。

Quantum Gravity Bridge是一個從Celestia到以太坊的數據可用性（DA）橋接。Celestia使用Celestium作為可擴展的鏈下數據可用性 （DA） 解決方案為以太坊Rollup團隊提供服務。[2023/5/12 14:59:10]

https://github.com/ethereum/eth2.0-specs/pull/2176

核算改革 (第二層)

我們每 64 個 epochs 更新一次驗證者集并進行一次懲罰核算，而不再每個 epoch都計算一次。這樣做是為了極大地降低處理“空時段過渡 (empty epoch transitions)”的復雜性——比如，在一條參與率非常低的鏈中，兩個相繼的區塊之間隔了一千個 slot，其間僅有空塊。目前為了處理這樣的鏈，客戶端們將需要每個epoch重新計算一次驗證者的余額以對驗證者執行怠工懲罰。而這項提案應用之后，客戶端僅需要每隔 64 個 epoch 核算一次。

AI+Web3醫療科技公司Lavita AI完成500萬美元種子輪融資:5月11日消息，AI+Web3醫療科技公司Lavita AI宣布完成500萬美元種子輪融資，Camford Capital領投，一批來自區塊鏈和人工智能領域的天使投資人參投。

據悉，Lavita AI是一個基于Theta Network的去中心化健康數據點對點市場平臺，旨在患者能夠在人工智能、區塊鏈和隱私保護技術的支持下控制自己的健康。（Crypto Reporter）[2023/5/11 14:56:18]

此外，我們對怠工懲罰 (inactivity leaks) 增加了兩項變動：

1. 每個驗證者的怠工懲罰力度降低至1/4。也就是說，如果鏈上出現怠工懲罰，當一個完全離線的驗證者損失其余額的~10%的數額時，在此期間另一個90%都在線的驗證者僅損失其余額的~0.1% (而不是~1%)。這樣做是為了加大對作惡節點的懲罰力度，對那些僅僅由于網絡連接不佳而掉線的驗證者則降低懲罰力度。點進鏈接查看更多的討論

澳大利亞墨爾本出現有關Vitalik的街頭畫作:據Redidit網友爆料，近日，一幅畫有以太坊創始人Vitalik的街頭藝術創作出現在了澳大利亞墨爾本街頭。[2021/4/6 19:49:53]

2. 區塊敲定后怠工懲罰會逐漸減少，而不會停止。即區塊被敲定后，離線節點的余額將持續減少，這樣確保了參與率顯著高于2/3，而不是剛剛超過閾值。點進鏈接查看更多的討論 (不過請注意與此處略有不同)。

主要PRs：

https://github.com/ethereum/eth2.0-specs/pull/2192

https://github.com/ethereum/eth2.0-specs/pull/2194

懲罰常數調整

很慶幸，盡管我們還沒有完全解決驗證者懲罰的問題，但在某種程度上已經擺脫了困境。我們會改變以下常數：

Vitalik Buterin表示 ETH最終將進入Web3階段:以太坊創始人Vitalik Buterin近日表示，ETH最終將進入Web3階段，該階段是指實現ETH與其它各類技術的結合，以此來打造一個更加去中心化的互聯網。進而使得網絡的控制權交到用戶的手上。[2018/1/6]

1. INACTIVITY_PENALTY_QUOTIENT：

從2**26(= 67,108,864) 減少至3 * 2**24(= 50,331,648)

2. PROPORTIONAL_SLASHING_MULTIPLIER：

從1提高至2

3. MIN_SLASHING_PENALTY_QUOTIENT：

從2**7 (= 128)減少至2**6(= 64)

HF1 提議的分叉選擇變更(大概)與HF1同步部署

通過 (block, slot)對來做分叉選擇

目前，如果在最近的 slot 里沒有區塊發布，那么出于 LMD GHOST 證明的目的，該 slot 里面的證明會被算作支持證明者所支持的最近區塊。例如，在下圖，空白 (BLANK) 區塊的證明也會算入 A 的證明里。

但是，這容易招致 34% 攻擊。如果有m名驗證者被分配到每個 slot，那么一個惡意攻擊者就可以控制每個 slot 的0.34 * m。攻擊是這樣進行的：攻擊者不發布 B，且不發布任何他們的證明。所有的誠實證明者對他們在slotn看到A、在slotn+1什么都沒看到的聲明進行投票，在slot n+2，誠實提議者會在區塊A上生成區塊C，而誠實的驗證者們會支持C。此時，惡意提議者發布B并對slot n+1和n+2做證明。這樣，底部分叉有0.68 * m的驗證者支持它，而頂部分叉只有0.66 * m的驗證者支持，由此底部分叉勝出。

這樣的攻擊在此論文的 3.1部分有詳細描述：

https://econcs.pku.edu.cn/wine2020/wine2020/Workshop/GTiB20_paper_8.pdf

提議的修復方案是改變分叉選擇的運作方式——讓分叉選擇在 (block, slot) 對的樹上操作，而不是在區塊樹上。因此，在slotn+1的誠實投票會算作在上圖對 (BLANK, n+1)的投票，也就是會被正確算作支持頂部分叉，那么頂部分叉的支持率會變成1.32 * m，由此能夠打敗攻擊。

主要PR:

https://github.com/ethereum/eth2.0-specs/pull/2197

分叉選擇對稱攻擊修復

分叉選擇還存在“對稱攻擊” ?(balance attack)，攻擊是這樣形成的：有2%的驗證者在一個slot結束之前發布少量證明，讓大于49%的網絡的人認為區塊A勝出，讓大于49%的網絡的人認為區塊B勝出。如果他們對廣播計時準確，針對每組人群的信息會及時到達，且在slot的邊界時間結束前不夠時間重新廣播信息到其他組。如果網絡環境對攻擊者而言是最理想的話，這樣的攻擊他們可以無限重復。

提議的修復方案是通過賦予下一個slot的提議者暫時但重要的分叉選擇權來“打破對稱” ，他們能決定所有驗證者在分叉的哪一邊。

重要的文檔：

https://notes.ethereum.org/@vbuterin/lmd_ghost_mitigation

原文鏈接：

https://notes.ethereum.org/@vbuterin/HF1_proposal#Proposed-consensus-changes-in-HF1

來源 |?notes.ethereum.org/@vbuterin

作者 | Vitalik Buterin

Tags：VITETHLOTSLOTvite幣最新消息ethw暴跌PLOTAlphaslot

TRX