V神發布ETH2.0信標鏈首個硬分叉提案HF1引入更公平的節點懲罰機制
巴比特資訊
剛剛
438
以太坊創始人V神在推特上介紹了以太坊信標鏈第一個硬分叉升級提案。V神稱,HF1添加了輕客戶端支持,簡化了規范,提高了效率,并引入了懲罰性較小的不活躍懲罰機制。根據文件,硬分叉將使開發人員可以對最近發布的信標鏈進行一些關鍵的升級,也將成為將來進行更深層更改的有用測試。其中輕客戶端支持對資源的要求最低,并且可以在移動設備上運行的節點。這將允許“最小化信任的錢包”能夠自己驗證區塊鏈,而不是依賴于外部服務提供者。”
HF1是以太坊信標鏈的第一個硬分叉升級的暫定代碼名稱。HF1的主要目標是:
添加輕客戶端支持
修復信標鏈中的一些脆弱點。這些脆弱點被發現時已經太晚而沒能在信標鏈創世啟動時修復。
在較小的更改升級環境下對信標鏈的硬分叉升級機制進行測試,以便以后進行更大的更改。
V神發布ChatGPT編碼試驗文章,表示AI不能替代程序員:12月6日,以太坊創始人Vitalik Buterin發布使用ChatGPT進行編碼試驗的文章。根據其試驗結果表示,ChatGPT在編碼過程中會出現錯誤,但也介紹了一些新的編碼模式,并且會加快編碼速度。V神表示:人工智能正在迅速改進,我希望它能繼續進一步優化,并隨著時間的推移消除此類錯誤。然而,人工智能遠不能替代人類程序員。[2022/12/6 21:26:23]
HF1中提出的共識更改內容包括:
同步委員會
我們向信標鏈添加一個隨機抽取的“同步委員會”。這樣做的目的是允許輕客戶端使用很少的overhead來確定鏈head。這將使輕客戶端實際上可在移動設備、內置瀏覽器之類的使用案例中使用信標鏈,從而為實現更加信任最小化的錢包生態系統鋪平道路。
在每個時間段內,隨機選擇1024位驗證者作為同步委員會的成員。同步委員會中的驗證者節點將發布簽名以向當前的head進行證明。這些簽名將作為LightClientUpdate對象的一部分進行廣播,該對象可以幫助輕客戶端找到這個head,并將被包含在信標鏈中以得到獎勵。
V神發文探討CEX的安全性:希望技術上使交易所接近非托管:11月19日消息,針對FTX事件,V神發文”安全的CEX:償付能力證明“,探討使交易所更接近去信任化的嘗試歷史、這些技術的局限性,以及一些新的、更強大的想法,這些想法依賴于ZK SNARK和其他先進技術。
V神表示,使用ZK-SNARKs可改善隱私和穩健性,將所有用戶的存款放入一棵Merkle樹中,并使用 ZK-SNARK 來證明樹中的所有余額都是非負的,加起來為一些聲稱的價值。如果我們為隱私添加一層哈希,則提供給每個用戶的Merkle分支將不會透露任何其他用戶的余額。
對于更進一步,不想僅僅證明交易所有資金來償還用戶,更要防止交易所完全竊取用戶的資金。V甚表示,理想的長期解決方案是依靠自我托管,并輔以多重簽名和社交恢復錢包等技術,以幫助用戶應對緊急情況。在短期內,有兩種明確的替代方案:Coinbase等托管交易所、Uniswap等非托管交易所。
最后,V神表示,短期內,交易所分為兩個明確的“類別”:托管交易所和非托管交易所。今天,后一類只是DEXes,例如Uniswap,未來我們可能還會看到加密“受限”的CEXes,其中用戶資金保存在類似于validium智能合約的東西中。我們也可能會看到半托管交易所,我們用法定貨幣而不是加密貨幣來信任它們。
兩種類型的交易所都將繼續存在,而提高托管交易所安全性的最簡單的向后兼容方式是添加儲備證明。這包括資產證明和負債證明的組合。為兩者制定良好的協議存在技術挑戰,但我們可以而且應該盡可能地在兩者上取得進展,并盡可能開源軟件和流程,以便所有交易所都能受益。
從長遠來看,V神希望我們越來越接近于所有交易所都是非托管的,至少在加密方面是這樣。錢包恢復將存在,并且可能需要為處理小額交易的新用戶以及出于法律原因需要此類安排的機構提供高度中心化的恢復選項,但這可以在錢包層而不是在交易所本身內完成。[2022/11/19 22:06:43]
更多內容:
V神發布新版以太坊發展路線圖:11月5日消息,以太坊聯合創始人Vitalik Buterin在社交媒體發布新版以太坊發展路線圖,其中主要變化包括:1、合并已經完成,不僅僅是關于“verkle trees”,也關于“驗證”,結論是“完全SNARK”的以太坊;2、新增“The Scourge”,確保可以和公平可信的中立交易、解決MEV問題;3、作為第2階段合并程碑的單時隙確定性(single-slot finality)。[2022/11/5 12:19:55]
https://github.com/ethereum/eth2.0-specs/pull/2130
記賬改革
我們替換了證明者獎勵的計算方式。不同于存儲PendingAttestation對象并且最后處理它們,我們選擇添加了一個位域,用于存儲每個驗證者的狀態,從而可以實時累積有關誰參與的數據。位域按“改組順序”排序,以確保同一委員會中驗證者的記錄一起顯示。這種更改的目的是簡化客戶端實現,并使更新Merkle樹更加便宜。
V神發布“Verkle樹和狀態到期”詳細計劃,狀態到期用狀態樹列表替換單個狀態樹:V神(Vitalik Buterin)表示,為Verkle樹和狀態到期寫了一些更詳細的計劃(包括原始EIPs)。Verkle樹:在現有的hexary Patricia樹旁引入一個新的Verkle狀態樹。在硬分叉之后,Verkle樹存儲對狀態的所有編輯以及所有訪問狀態的副本,并且hexary Patricia樹不能再修改。這是向以太坊完全依賴Verkle樹來存儲執行狀態多階段過渡的第一步。狀態到期:用狀態樹列表替換單個狀態樹,大約每一年一棵樹。狀態編輯存儲在與當前期間相對應的樹中,并且客戶端不再存儲超過最近兩個期間的樹。使用舊狀態的交易,在最近兩個期間沒有修改,需要提供見證人。[2021/6/18 23:46:59]
具體參考:
https://github.com/ethereum/eth2.0-specs/pull/2176
記賬改革
我們對驗證者集進行更改,并且懲罰記賬僅每64個時期發生一次,而不是每個單一時期。這樣做的目的是大大降低處理“空白時期過渡”的復雜性——例如,有一條鏈的參與度非常低,其中兩個連續的區塊相隔一千個slot,它們之間只有一個空白時期。為了處理這樣的鏈,目前客戶端需要每個時期重新計算每個驗證者的余額一次,以此對驗證者進行不活躍懲罰;而在新的提案中,他們只需要每64個時期執行一次。
以太坊創始人V神發推詢問網友:可以接受的51%算力攻擊頻率是多少?:以太坊創始人V神在推特上發起投票,問“針對公有鏈,可以接受的51%算力攻擊頻率是多少?”。總共12700人參與投票,52%認為100年發生一次是可以接受的,13%選擇10-100年,19%認為1-10年,還有16%的投票人表示可以接受1年一次51%算力攻擊。[2018/1/22]
此外,我們對不活躍懲罰的工作方式進行了兩項更改:
不活躍懲罰將變為每個驗證者的二次方。也就是說,如果存在不活躍懲罰,在此期間完全離線的驗證者會損失約10%的余額,那么在此期間90%的時間在線的驗證者現在只會損失約0.1%的余額。這試圖將處罰重點放在真正行為不當的節點上,減少對由于網絡連接問題而離線的誠實節點。
更多的討論可以參考此處:
https://github.com/ethereum/eth2.0-specs/issues/2098
驗證者不活躍懲罰在確定后逐漸減慢而不是停止。這樣可確保一旦達到最終狀態,離線節點將繼續失去余額一段時間,從而確保驗證者在線時間百分比顯著高于2/3,而不是僅稍高于該閾值。
具體參考:
https://github.com/ethereum/eth2.0-specs/pull/2192?
https://github.com/ethereum/eth2.0-specs/pull/2194
值得慶祝的一點是,通過削弱驗證者罰款,我們可能稍微走出困境。我們將對常數進行更改:
INACTIVITY_PENALTY_QUOTIENT:reducedfrom2**26(=67,108,864)to3*2**24(=50,331,648)
PROPORTIONAL_SLASHING_MULTIPLIER:increasedfrom1to2
MIN_SLASHING_PENALTY_QUOTIENT:reducedfrom2**7(=128)to2**6(=64)
與HF1同時部署的分叉選擇更改
對的分叉選擇
當前,如果在最近的slot中沒有發布任何塊,則出于該slot期間的LMDGHOST證明的目的,視為證明者正在支持的鏈中的最新區塊。例如,在下面的這張圖中,BLANK上的證明算作A上的證明:
<img?src="https://img.jinse.com/4715604_image3.png"?auto";'>
但是,這為34%攻擊打開了大門。假設為每個slot分配了m個驗證者,其中惡意攻擊者控制了0.34*m。攻擊者也有權為slotn+1發布區塊B。攻擊進行如下:攻擊者不發布B,也不發布其任何證明。所有誠實的證明人都會投票支持聲稱他們在第n個slot中看到區塊A而在第n+1個slot中什么都沒有看到的說法,當前該計數被視為對A的投票。在第n+2個slot中,一個誠實的提議者會在A上面構建一個區塊C,此時,惡意提議者會向slotn+1和n+2公布B及其對B的證明。上面的分叉有0.68*m個驗證者支持它,但頂部分叉只有0.66*m的支持,因此下面的分叉獲勝。
這種攻擊在該論文的3.1章節中進行了更加詳細的描述:
https://econcs.pku.edu.cn/wine2020/wine2020/Workshop/GTiB20_paper_8.pdf
擬議的解決方案是更改分叉選擇的工作方式,從而使其對對的樹進行操作,而不是對區塊樹進行操作。因此,在上圖中,slotn+1中的誠實投票將計為對的投票,因此它們將正確地計為支持上面的分叉,因此上面的分叉獲得的支持為1.32*m,從而擊敗攻擊。
更多內容:
https://github.com/ethereum/eth2.0-specs/pull/2197
修復分叉選擇余額攻擊
在分叉選擇中存在一種“余額攻擊”,擁有2%驗證者的攻擊者會在一個slot結束之前的正確時間發布少量證明,說服網絡中超過49%的人認為某個區塊A獲勝,而超過49%的網絡則認為B區塊獲勝。如果他們正確地安排了廣播的時間,則每一組驗證者都會按時看到針對他們的消息,但是沒有時間在這個slot結束之前將消息重新廣播到另一組驗證者。如果網絡環境對于攻擊者而言是最佳的,則它們可以無限期地重復。
提議的解決方案是通過授權下一個slot的提議者對分叉選擇產生暫時但重大的影響,從而將所有驗證者的支持方向決定性地轉移到一側或另一側,從而“打破了對稱性”。
更多內容:
https://notes.ethereum.org/@vbuterin/lmd_ghost_mitigation?
以太坊
V神
本文來源:
巴比特資訊
文章作者:巴比特資訊
我要糾錯
聲明:本文由入駐金色財經的作者撰寫,觀點僅代表作者本人,絕不代表金色財經贊同其觀點或證實其描述。
提示:投資有風險,入市須謹慎。本資訊不作為投資理財建議。
金色財經>區塊鏈>V神發布ETH2.0信標鏈首個硬分叉提案HF1引入更公平的節點懲罰機制
文章2020年12月,BTC在價值確認與泡沫質疑的爭議聲中,在經歷了從19000美元到3000美元的歷程之后,沖破了歷史高點,攀上20000美元的新高.
1900/1/1 0:00:002月19日,絕對是DeFi歷史上轉折性的一天。誰能想到一向“不溫不火”的幣安智能鏈突然把以太坊從“DeFi王座”上拉了下來,雖然可能“暫時的”,但這也是從未有過的,因為在此之前即便是大火的波卡,
1900/1/1 0:00:00隨著比特幣的迅速崛起,主流注意力已經轉向了比特幣,最近比特幣的價格已經突破了57500美元。主流公司對比特幣的興趣日益增加,比特幣作為一種對沖工具,在其他資產類別中脫穎而出.
1900/1/1 0:00:00從歷史數據來看,目前正處于這種從長期持有者主導供給到短期持有者主導供給的過渡中。這種過渡雖然比2017年更快,但這是一個強烈的信號,表明現在已經離開了比特幣最初的積累階段.
1900/1/1 0:00:00據Axios從多個消息來源獲悉,加密貨幣交易所Coinbase在即將上市之前的一次私募市場股票出售中的估值已超過1000億美元.
1900/1/1 0:00:00.new_summary,blockquote{position:relative;font-size:16px;letter-spacing:1px;line-height:28px;marg.
1900/1/1 0:00:00