前言:只需1%的誠實節點在現實中可行嗎?歡迎大家一起探討。本文作者Trustnodes,由藍狐筆記社群“LS”翻譯。
“如果你增加更多的假設,具體來說,這要求觀察者也積極監察共識,而不只是在事后下載輸出,那么,你可以將容錯率一直提高到99%。”
在一篇由Emin Gun Sirer評論的高度技術性文章中,V神提出,這表明可以不要求50%以上的礦工或者權益質押者是誠實的,只需1%的人誠實即可。
因此,令人害怕的51%攻擊在這種共識算法情況下,成為99%攻擊,這也意味著攻擊實際上變成不可能。
從高階視角來看,它的運行方式,按照我們的理解,它是通過要求監聽節點或獨立觀察者來運作。
V神提出兩種可能的解決方案來處理以太坊的歷史數據:11月24日消息,V神Vitalik Buterin在Reddit的AMA中提出了兩種可能的解決方案來處理以太坊的歷史數據。其中包括將在合并后發生的一次性歷史到期,以及具有移動截止日期的定期歷史到期,正式名稱為EIP-4444。這兩種解決方案都可以實施。據了解,以太坊歷史數據已經超過400GB,處理以太坊客戶端的歷史數據,歷史到期將使運行節點變得更便宜,或者可以用來證明適度增加gas限制是合理的,這將降低交易費用。
一位用戶詢問了區塊提議者/區塊創建者分離 (PBS)。Buterin最近發布了關于這種方法的帖子,該方法旨在阻止區塊提議者(或礦工)以有利于他們的方式向區塊添加交易。PBS尚未完全開發和測試。(AMBCrypto)[2021/11/24 7:08:00]
你可能熟悉比特幣中最先看到的規則。如果不熟悉,這是中本聰在2010年7月17日的解釋,我們完整引用過來:
V神提議對以太坊未來的分片和歷史訪問進行預編譯:Vitalik Buterin(V神)發文研究對未來的分片和歷史訪問進行預編譯。V神在文章中表示,當前以太坊設計中的向后兼容性挑戰之一是,歷史訪問需要在EVM中驗證Merkle證明,該證明假設區塊鏈將永遠使用相同的格式和相同的密碼。分片增加了這一點的重要性,因為用于rollups的欺詐證明和有效性證明需要指向分片數據的指針。V神提出了一種更加面向未來的方法:我們可以添加執行驗證特定類型證明的抽象任務的預編譯,而不是要求在EVM中驗證歷史和分片的證明。如果將來更改格式,預編譯邏輯將自動更改。預編譯甚至可以具有條件邏輯,用于驗證轉換前slots的一種證明和轉換后slots的另一種證明。[2021/6/13 23:33:43]
“我相信,對于一家支付處理公司來說,提供快速分發交易服務是可能的,并且能夠在10秒甚至更短時間內完成足夠充分的檢查。”
ETH 2.0開發人員:Altair升級規格將于5月21日左右凍結,V神提案允許將質押委托為礦池:ETH 2.0開發人員Ben Edgington更新Eth2雙周進展表示,Altair是計劃在年中進行的相對較小的信標鏈更新。根據開發人員最近的電話,客戶端團隊在實施Altair規格方面進展相當順利。目前暫定時間規劃(未承諾):Altair規格凍結在5月21日左右;6月初短期上線測試網(僅是Altair規格,不是分叉轉換);嘗試在6月底之前將當前的測試網分叉;七月底八月初部署到信標鏈。此外,Altair升級會導致不能支付驗證節點一個epoch的獎勵,除非采取一次性修復。該修復增加了實現和測試的復雜性,但回報相對較少。
另外,V神Vitalik提案允許驗證節點更改其簽名密鑰:提供了一種將質押委托給礦池的方法,同時保留一定程度的控制權,并對slashable行為負責。[2021/5/9 21:41:22]
網絡節點只接收他們收到的第一個交易版本,以便合并到他們試圖生成的區塊中。當你廣播一個交易,如果其他人同時廣播一個雙花交易,這是關于誰先廣播到大多數節點的競賽。如果一個人稍微先行開始,通過網絡進行幾何擴散它會更快,并率先抵達大多數節點。
V神提出跨Rollup擴展方案以實現L2項目相互通信:3月3日消息,近日V神于社區論壇提出了一種針對特定類型的跨Rollup擴展的解決方案,以連接第二層擴展項目。根據該方案,雖然目前有許多項目已經部署了第二層Rollup方案,但問題在于各種二層項目不能直接在L2上實現相互通信。V神提議使用Rollup在兩個支持智能合約的協議之間進行傳輸。假設一個rollup可以處理簡單的事務,而另一個則具有完全的智能合約支持特性。為確保未來交易的安全,智能合約將被編程為接受“備忘錄”,其中包括任何人向它發送的額外數據。事務將創建一個連接層,在所有這些隔離的合約中保存存款,允許rollup A通過該層發送到rollup B。針對該方案,Alon Muroch表示該方案就像銀行之間的交易清算一樣。將資產批量分配到單獨的“賬戶”中可能會有限制,但兩端都設置一個大池,并按比例分攤費用可以是一種解決方案。(Cointelegraph)[2021/3/3 18:10:05]
一個粗略的示例:
這意味著,如果雙花的交易必須等待即使只是一秒鐘的時間,那么,它也有巨大的劣勢。
支付處理商跟很多節點有連接。當它收到交易,它就會將其大力擴散,同時監控網絡的雙花交易。如果它在任何一個監聽節點上收到一筆雙花交易,它就會警示該交易是壞的。如果沒有其中的監聽者聽到,雙花交易不會走太遠。
雙花交易將不得不等待,直到監聽階段結束,但到那個時候,支付處理商的廣播已經抵達大多數節點,或者它在廣播方面遙遙領先,雙花交易沒有任何希望能夠超越。
Buterin提出類似的東西,但是針對區塊的。Buterin后來澄清說,正如他在原始提案中明確指出的一樣,他沒有發明99%容錯共識算法,是Leslie Lamport發明的。Lamport是計算機科學家,曾因為其在分布式系統領域的貢獻而獲得圖靈獎。
“我恰好寫了一個解釋器并將其改編為區塊鏈語境”,Buterin說。在以太坊開發者Conrad Barski的高級別解釋中,他指出:
“Vitalik建議,如果網絡流量的獨立觀察者(也就是用戶運行的區塊鏈客戶端,不是礦工/驗證者)觀察實時發生的事情,并注意信息何時出現,他們可以監測到礦工發起的51%攻擊的“犯規行為”,這可以提供額外的安全保障,可以防止這種攻擊。”
Buterin后來補充道:“另外一個用例是它可以用作檢測51%審查攻擊的工具,并協調使用少數軟分叉來擺脫它們,而不需要靠太多人為驅動的社會協調工具,以在邊緣情況下選擇一個行為或其他。”
這聽上去像欺詐證明,一些比特幣核心開發者表示并不存在的這樣的神秘生物。然而,中本聰的白皮書,提到這樣的欺詐證明,以解釋為什么不需要保留特定的數據,或為什么輕節點可以是非常安全的。
簡單來說,顧名思義,欺詐證明是欺詐、欺騙或不當行為的證據,或未達成共識的證據。
如果你運行全節點,你在驗證所有內容,因此節點會拒絕不當行為。但是,如果你不是驗證所有內容,假說你使用的是智能手機,那么,在極少數情況下,你可能會接收到不正確的數據,而你無法知道它們是不正確的。
欺詐證明提供了這種方式,這里的建議是,如果我們理解非常好,似乎是因為獨立觀察者在監測,所以你可以知道數據是不正確的。
當然,所有這些都是由軟件或代碼本身完成的。如在代碼中“知道”一些數據不正確,由此,它會自動拒絕它。Buterin說:
“如果5%的驗證者是誠實的,那么,在512個隨機選擇的節點中沒有一個是誠實的,這種概率大約只有萬億分之一。因此,只要網絡延遲加上時鐘偏差小于D/2,上述的算法就會有效,它能就某些單個最終值上正確地協調節點,即使在最終值上存在多個沖突(由于閥值相關算法的容錯被破壞)也能正確解決。”
這里的重點當然是Casper,這個提議似乎是建議將其納入PoS。如果它在這種背景下有效,那么,以太坊區塊鏈可能會變得更加安全。
附錄:Vitalik《99%容錯共識指南》
https://vitalik.ca/general/2018/08/07/99_fault_tolerant.html
------
風險警示:藍狐筆記所有文章都不構成投資推薦,投資有風險,投資應該考慮個人風險承受能力,建議對項目進行深入考察,慎重做好自己的投資決策。
Tags:BSPNBS以太坊RINBSPT價格nbs幣發行量怎么得到以太坊幣交易Princess Striker Gem
在白話區塊鏈之前的推文《被稱為區塊鏈 3.0 的 EOS 是什么》中提到:比特幣就像大哥大,只有打電話功能;以太坊像小靈通,除了打電話,還可以有一些小游戲;EOS 就像第一代的 iPhone.
1900/1/1 0:00:00撰文:追風 Lab SBT:全稱是「SoulBound Token」,直接翻譯就是「靈魂綁定通證」.
1900/1/1 0:00:002022年4月12日上午,鏈捕手聯合EOS網絡基金會在Twitter Space展開了一場別開生面的直播活動。圍繞EOS EVM、EOS網絡基金會職能、EOS未來生態發展展開深度討論.
1900/1/1 0:00:00GameFi板塊在2021年的關注度比較好,并且賽道整體迎來了爆發,無論從用戶數、交易額以及整體板塊項目市值的數據表現,都能有所印證.
1900/1/1 0:00:00虎符錢包國寶:ETH2.0的二次創新可能是下一個超級熱點:今日,虎符錢包品牌合伙人國寶作客“XBIT和他的朋友們”欄目,就比特幣減半結束后的下一個行業熱點分享了自己的看法.
1900/1/1 0:00:00今天 Jam Review 第三期,精選推薦 Web3 時代的個人隱私文件夾系統 Dataverse,歡迎所有致力于 Web3 BUIDL 的朋友一起來測試評論.
1900/1/1 0:00:00