比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > FTX > Info

VIT:Vitalik Buterin:協議設計中的封裝復雜性和系統復雜性權衡_ITA

Author:

Time:1900/1/1 0:00:00

作者:VitalikButerin,原文來源:vitalik.ca?

以太坊協議設計的主要目標之一是最小化復雜性:使協議盡可能簡單,同時仍然使區塊鏈能夠完成一條有效區塊鏈需要做的事情。以太坊協議在這方面遠非完美,尤其是因為它的大部分是在2014-16年設計的,當時我們對它的了解要少得多,但我們仍然盡可能地積極努力降低復雜性。

然而,這一目標的挑戰之一是復雜性是難以定義的,有時,您必須在兩種選擇之間進行權衡,這兩種選擇會引入不同類型的復雜性并具有不同的代價。我們如何比較?

允許對復雜性進行更細致入微的思考的一種強大的智力工具是區分我們稱之為封裝復雜性和系統復雜性的東西。

當一個系統具有內部復雜的子系統但對外提供一個簡單的“接口”時,就會出現封裝復雜性。當一個系統的不同部分甚至不能完全分開并且彼此之間具有復雜的相互作用時,就會出現系統復雜性。

Vitalik Buterin:已把2011年制作的游戲上傳到IPFS:金色財經報道,以太坊聯合創始人Vitalik Buterin在社交媒體上稱,我把在加密前(2011年)做的一款游戲上傳到IPFS。祝好運。

對此,Aave及LensProtocol創始人Stani表示,一件很酷的事情是,有一個哈希值,所以你可以隨時找到游戲并玩它。不知道你用什么來創建它,但是帶有Unity的webGL使得為IPFS渲染變得非常容易。[2023/5/23 15:20:23]

下面有一些例子。

BLS簽名與Schnorr簽名

BLS簽名和Schnorr簽名是可以用橢圓曲線制作的兩種流行的加密簽名方案類型。

BLS簽名在數學上看起來非常簡單:

簽署:

Vitalik:捐贈的50萬億枚SHIB不會獲得稅務沖銷:5月19日消息,Vitalik表示,其向印度新冠加密救援基金捐贈的超50萬億枚SHIB不會獲得稅務沖銷(稅務減免)。據悉,SHIB幣價波動劇烈,此前其捐贈款價值20億美元,目前縮水到8億美元左右。(彭博社)[2021/5/19 22:19:08]

驗證:

H是一個哈希函數,m是消息,k和K是私鑰和公鑰。到這里為止,看起來都很簡單。然而,真正的復雜性隱藏在e函數的定義中:橢圓曲線配對,這是所有密碼學中最難理解的數學題之一。

現在,再看看Schnorr簽名。Schnorr簽名僅依賴于基本的橢圓曲線。但是簽名和驗證邏輯要復雜一些:

Diginex與Itiviti擴大合作 以采用后者的Tbricks自動化解決方案:全球金融機構技術和服務提供商Itiviti宣布擴大了與數字資產金融服務和咨詢公司Diginex的合作關系,后者將實施Itiviti的Tbricks自動化解決方案。Diginex選擇Tbricks為其機構客戶提供風險、損益表和投資組合管理。值得一提的是,該公司將使用Tbricks推出Diginex Access,這是一種針對數字資產的多地點交易、投資組合和風險管理服務,將由Tbricks自動化技術提供支持。(Finance Magnates)[2020/7/16]

那么......哪種類型的簽名“更簡單”?這取決于你關心什么!BLS簽名具有巨大的技術復雜性,但復雜性都隱藏在e函數的定義中。如果將e函數視為黑盒,BLS簽名實際上非常簡單。另一方面,Schnorr簽名的總體復雜性較低,但它們有更多可能以棘手的方式與外部世界交互的部分。

例如:

動態 | Kavita Gupta離職后 ConsenSys宣布重組其各項業務:據Cointelegraph消息,5月6日,風險投資公司ConsenSys在一份新聞稿中證實,其正在重組其各項業務,以鞏固其市場地位。據悉,其ConsenSys將整合ConsenSys實驗室、加速器Tachyon、風險投資運營公司以及ConsenSys Ventures合并為一個傘型投資部門。此前報道, ConsenSys Ventures負責人Kavita Gupta表示即將辭職,將擔任顧問并在斯坦福大學任教。[2019/5/7]

進行一個BLS多重簽名很容易:只需

。但是Schnorr多重簽名需要兩輪交互,并且需要處理棘手的密鑰取消攻擊。

Schnorr簽名需要隨機數生成,BLS簽名不需要。

金融廳限制泰國Tavitt公司ICO活動,“在日居住者無法購買”:日前,泰國Tavitt公司發布與日本金融廳協商結果,在日居住者不可以參加ICO活動。非在日居住者(在海外居住的日本人)可以參加ICO。根據引用的金融廳郵件,總結出以下幾點意見:1 、在日居住者將不能參加未在日本注冊的海外法人實施的ICO活動;2、非在日居住者(在海外居住的日本人)可以參加ICO;3、未在日本金融廳注冊加密貨幣交易所資格的海外法人實施的ICO活動,如果不明確“在日居住者無法購買”的話,將無法實施ICO。4、金融廳目前對該公司的技術WAVES無法理解,如果繼續存在這種“在日居住者可以買進ICO“的狀態的情況,將涉嫌違反資金決算法。5、在日居住者將不能通過WAVES等未在日本金融廳注冊的海外法人的加密貨幣交易所購入加密貨幣。[2018/3/7]

橢圓曲線配對就像是一個強大的“復雜性海綿”,因為它們包含大量封裝的復雜性,但可以實現系統復雜性低得多的解決方案。在多項式承諾領域也是如此:將KZG承諾的簡單性與內積參數的更復雜的內部邏輯進行比較。

密碼學與密碼經濟學

許多區塊鏈設計中出現的一個重要設計選擇是密碼學與密碼經濟學的選擇。通常這以在有效性證明和欺詐證明之間進行選擇的形式出現。

ZK-SNARK是一種復雜的技術。雖然可以在一篇文章中解釋它們如何工作背后的基本思想,但實際上實現ZK-SNARK來驗證某些計算所涉及的復雜性是計算本身的許多倍。有效地實施ZK-SNARK涉及具有特殊目的優化的電路設計、使用不熟悉的編程語言以及許多其他挑戰。另一方面,欺詐證明本質上很簡單:如果有人提出挑戰,您只需直接在鏈上運行計算。為了提高效率,有時會添加二進制搜索方案,但即使這樣也不會增加太多復雜性。

但是,雖然ZK-SNARK很復雜,但它們的復雜性是封裝的復雜性。另一方面,欺詐證明的相對簡單的復雜性是系統性的。以下是欺詐證明引入的系統復雜性的一些示例:

他們需要謹慎的激勵工程來避免驗證者的困境。如果在達成共識的情況下完成,他們需要額外的交易類型來證明欺詐,以及推理如果許多參與者競爭同時提交欺詐證明會發生什么。它們依賴于同步網絡。它們允許審查攻擊被用來提交盜竊行為。基于欺詐證明的Rollup要求流動性提供者支持即時提款。由于這些原因,即使從復雜性的角度來看,基于ZK-SNARKs的純加密解決方案也可能長期更安全:ZK-SNARKs存在一些人必須考慮的更復雜的部分,但它們存在更少的每個人不得不考慮的懸而未決警告。

其他示例

工作量證明——低封裝復雜度,因為機制極其簡單易懂,但系統復雜度更高。哈希函數——高封裝復雜性,但非常易于理解的屬性,因此系統復雜性低。隨機洗牌算法——洗牌算法可能內部復雜但導致易于理解的強隨機性保證,或者內部更簡單但導致更弱且更難以分析的隨機性屬性。礦工可提取價值——一個強大到足以支持復雜交易的協議在內部可能相當簡單,但這些復雜的交易可能會對協議的激勵產生復雜的系統性影響,因為它有助于以非常不規則的方式提出區塊的激勵。Verkle樹——Verkle樹確實有一些封裝的復雜性,實際上比普通的Merkle哈希樹要復雜得多。然而,從系統上講,Verkle樹呈現出與密鑰值映射完全相同的相對簡潔的界面。主要的系統復雜性“泄漏”是攻擊者操縱樹以使特定值具有非常長的分支的可能性;但是對于Verkle樹和Merkle樹,這種風險是相同的。

我們如何進行權衡?

通常,封裝復雜度較低的選擇也是系統復雜度較低的選擇,因此有一個選擇顯然更簡單。但在其他時候,您必須在一種復雜性和另一種復雜性之間做出艱難的選擇。在這一點上應該清楚的是,如果將復雜性封裝起來,那么它的危險性就會降低。系統復雜性帶來的風險并不是規范有多長的簡單函數;與其他部分交互的一個小的10行規范比原本被視為黑匣子的一個100行函數增加了更多的復雜性。

然而,這種偏好封裝復雜性的方法存在局限性。軟件錯誤可能出現在任何一段代碼中,并且隨著它變得越來越大,錯誤的概率接近1。有時,當您需要以一種意想不到的新方式與子系統交互時,最初封裝的復雜性可能會變得系統化。

后者的一個例子是以太坊當前的兩級狀態樹,它具有一棵賬戶對象樹,其中每個賬戶對象又擁有自己的存儲樹。

這種樹結構很復雜,但一開始復雜性似乎得到了很好的封裝:協議的其余部分與樹交互,作為您可以讀取和寫入的密鑰/值存儲,因此我們不必擔心關于樹的結構。

然而,后來證明復雜性產生了系統性影響:賬戶擁有任意大存儲樹的能力意味著無法可靠地期望狀態的特定部分有一個可預測的大小。這使得將狀態拆分為多個部分變得更加困難,從而使同步協議的設計和嘗試分配存儲過程變得復雜。為什么封裝的復雜性會變成系統性的?因為接口變了。修復?當前遷移到Verkle樹的提議還包括遷移到一種平衡良好的樹的單層設計。

最終,在任何給定情況下支持哪種類型的復雜性是一個沒有簡單答案的問題。我們能做的最好的事情就是保持適度支持封裝復雜性的態度,但不要過多,并在每個具體情況下行使我們的判斷力。有時,犧牲一點系統復雜性來大幅降低封裝的復雜性確實是最好的做法。在其他時候,您甚至可能會誤判什么是封裝的,什么不是。每種情況都不同。

Tags:VITVITAITAERKvite幣還能起來嗎Vitalick NeuterinDIGITALAXCYBERKONGZ

FTX
加密貨幣:巴比特午間要聞一覽_區塊鏈

1.美國區塊鏈協會政策主管:俄羅斯不能也不會利用加密貨幣來逃避制裁2.AnimocaBrands:根據法律建議.

1900/1/1 0:00:00
數字人:Epic、英偉達、迪士尼高管‘激辯’數字人_VERS

來源:競核 編譯:蘇于涵 在2021GTC大會上,英偉達CEO黃仁勛表示Omniverse愿景是讓個人模擬制造出遵從物理規律的共享3D虛擬世界.

1900/1/1 0:00:00
CRU:Crust Dev Community lead Mingshi:Crust網絡封裝速度更快、成本更低_CRUSADER幣

3月21日下午,Computecoin測試網huygens啟動會在鏈節點舉行,CrustDevCommunityleadMingshi在圓桌討論中分享了Crust網絡在短時間內取得較大進展的原因.

1900/1/1 0:00:00
NFT:美國珠寶品牌蒂芙尼購入Rocket Factory的Okapi NFT,進軍NFT領域_CIR

DeFi之道訊,3月26日晚間,美國珠寶品牌蒂芙尼發推宣布購買NFT系列RocketFactory的OkapiNFT,進入NFT領域.

1900/1/1 0:00:00
Vitalik: 關于兩個slot的提議者/構建者分離方案的具體設計

來源|ethresear.ch作者|VitalikButerin翻譯|EthereumCN原標題:《Vitalik:兩個slot的提議者/構建者分離方案》譯者注:目前新的分片方案Dankshar.

1900/1/1 0:00:00
區塊鏈:為什么游戲玩家在表達“討厭” NFT之前應該三思而后行?_LONDON Vault (NFTX)

每個舉動都得到一個相等和相反的反應。 去年,NFT蓬勃發展。 他們成為了加密的典型代表——可數字驗證的私人所有權。創造了財富。同時也催生了炒作.

1900/1/1 0:00:00
ads