引言
多鏈是未來的發展趨勢,可擴展性的追求將 Ethereum 引向了 Rollup 技術的搭建。在轉向模塊化區塊鏈的過程中,人們再次關注到了應用鏈。而在不遠的未來,我們聽到了關于特定應用 Rollup、L3 和主權鏈的傳聞。但這一切都將以碎片化為代價,而目前的跨鏈橋通常在功能上存在限制,并依賴于可信的簽名者來確保安全性。
那么,互聯的 Web3 最終將呈現出怎樣的局面呢?我們認為,跨鏈橋最終將演變為跨鏈消息傳遞或「任意消息傳遞」(AMP)協議,以解鎖新的應用場景,讓應用能夠在源鏈和目標鏈之間傳遞任意消息。我們還將見證「信任機制格局」的出現,其中構建者將在可用性、復雜性和安全性之間做出各種權衡。
每個 AMP 解決方案都需要實現兩個關鍵功能:
? 驗證:能夠在目標鏈上驗證來自源鏈消息的有效性
? 活躍性:能夠將信息從源鏈傳遞到目標鏈
很遺憾,百分之百的無信任驗證并不現實,用戶必須根據驗證是在鏈上還是鏈下,選擇相信代碼、博弈理論、人類(或實體),或者這些的組合。
在本文中,我們將整體互操作性領域垂直劃分為基于信任機制和基于集成架構兩個方面。
信任機制:
1. 信任代碼和數學:對于這些解決方案,存在著鏈上的證明,任何人都可以驗證。這些解決方案通常依賴于輕客戶端,用于驗證源鏈在目標鏈上的共識或驗證源鏈在目標鏈上狀態轉換的有效性。通過輕客戶端進行的驗證可以通過零知識證明來提高效率,將任意長的計算壓縮為離線進行,同時提供簡單的鏈上驗證來證明計算結果。
2. 信任博弈論:當用戶 / 應用程序需要相信第三方或第三方網絡來保證交易的真實性時,就會涉及到額外的信任假設。通過采用無權限網絡和經濟激勵以及樂觀安全等博弈理論,可以提高這些機制的安全性。
3. 信任人類:這些解決方案依賴于大多數驗證者的誠實性或獨立性,這些驗證者傳遞不同的信息。除了相信兩個交互鏈的共識外,還需要相信第三方。這種情況下,唯一的風險在于參與實體的聲譽。如果足夠多的參與實體同意一筆交易是有效的,那么它就被視為有效。
值得注意的是,所有解決方案在一定程度上都需要對代碼和人類的信任。任何具有錯誤代碼的解決方案都可能被黑客利用,每個解決方案在設置、升級或代碼庫的維護方面都有一定的人為因素。
集成架構:
1. 點對點模型:需要在每條源鏈和目標鏈之間建立專用的通信通道。
2. 中心式樞紐模型:需要建立一個與中央樞紐的通信渠道,以實現與連接到該樞紐的所有其他區塊鏈的互聯互通。
重慶市南岸區人民檢察院胡勇:應用區塊鏈破解網絡金融犯罪治理難題:12月29日消息,重慶市南岸區人民檢察院胡勇發文《應用區塊鏈破解網絡金融犯罪治理難題》表示,將網絡金融機構主要業務上鏈,通過區塊鏈可信存儲的特點實現對鏈上金融服務的監管,幫助金融機構優化基礎結構,降低信息不對稱程度,提高效率,進而實現有效監管。區塊鏈是按照時間先后排列的塊鏈,將前一個金融交易信息的塊數據通過哈希算法添加到當前塊頭中以此類推來實現鏈式存儲功能,如果不更改網絡金融數據的當前塊和后續塊,就不能回溯更改金融交易數據,除非不法分子控制整個區塊鏈網絡的51%以上才能篡改交易數據,這樣就保證了網絡金融安全。與此同時,如果有不法分子違法交易,其違法交易數據就會通過嵌套方式進入區塊鏈中,這將有利于對犯罪的懲治和追查。鑒于網絡金融犯罪懲治往往不易固定犯罪時間、犯罪方式等過程信息,區塊鏈技術在查處網絡金融犯罪中的應用,可以有效解決犯罪行為追溯難問題。(正義網)[2020/12/29 15:58:58]
點對點模型相對難以擴展,因為每個連接的區塊鏈都需要一個成對的通信渠道。對于具有不同共識和框架的區塊鏈來說,開發這些通道可能是具有挑戰性的。然而,如果需要,成對的橋梁提供了更多靈活性來定制配置。還可以采用混合方法,例如使用 Inter-Blockchain Communication(IBC)協議通過中繼進行多跳路由,從而消除了直接點對點通信的需求,但在安全性、延遲和成本等方面引入了更多復雜性。
信任代碼和數學
為了只依賴代碼 / 數學進行信任假設,可以使用輕客戶端來驗證源鏈在目標鏈上的共識。輕客戶端 / 節點是連接到全節點以與區塊鏈交互的軟件。目標鏈上的輕客戶端通常存儲源鏈塊頭的歷史記錄(按順序),這足以驗證交易。離線代理(如中繼)監視源鏈上的事件,生成密碼學包含證明,并將它們與塊頭一起轉發到目標鏈上的輕客戶端。由于輕客戶端按順序存儲塊頭,每個塊頭都包含可用于證明狀態的 Merkle 根哈希,因此它們能夠驗證交易。以下是這種方法的主要特點概述:
安全性
在輕客戶端的初始化過程中引入了信任假設。在創建新的輕客戶端時,它會初始化為來自對方鏈上特定高度的一個塊頭。然而,存在一個可能性,即提供的塊頭可能是不正確的,從而可能通過偽造的塊頭欺騙輕客戶端。一旦輕客戶端被初始化,就不會再引入進一步的信任假設。然而,值得注意的是,該初始化過程依賴于較弱的信任假設,因為任何人都可以驗證它。此外,對于中繼器的連續傳輸信息,存在活躍性假設。
實施
輕客戶端的實施取決于驗證所需的密碼原語的可用性。如果連接的是同一類型的鏈,意味著它們共享相同的應用程序框架和共識算法,則兩端的輕客戶端實施將相同。例如,所有 Cosmos SDK-based 鏈都使用 Inter-Blockchain Communication (IBC) 協議。另一方面,如輕客戶端的實現取決于對驗證所需的密碼學原語的支持情況。如果連接的是相同類型的鏈,即它們共享相同的應用框架和共識算法,那么兩側的輕客戶端實現將相同。例如,Inter-Blockchain Communication(IBC)協議用于所有基于 Cosmos SDK 的鏈。另一方面,如果連接的是兩種不同類型的鏈,例如不同的應用框架或共識類型,則輕客戶端的實現將不同。一個例子是 Composable Finance,他們正在努力通過 IBC 將 Cosmos SDK 鏈連接到 Polkadot 生態系統的 Substrate 應用框架。這就需要在 Substrate 鏈上使用 Tendermint 輕客戶端,并在 Cosmos SDK 鏈上添加一個「beefy」輕客戶端。最近,他們通過 IBC 在 Polkadot 和 Kusama 之間建立了第一個連接。
網友爆料:ABC團隊破解BCHA鏈困境或只有緊急修改挖礦算法:微博網友“BCH愛好者BruceLee”剛剛在微博發文稱,現在BCHA面臨的形勢已經非常嚴峻了,隨著時間的推移,那個打空塊的礦工的意圖已經基本展現出來了。他是一個和ABC開發組存在極大私人恩怨的礦工,目的就是弄死或弄殘BCHA鏈。最開始他采取的是挖空塊的方式,而且是使用遠高于挖礦利潤的算力,這個辦法攻擊效果差,成本很高。昨天開始他已經采取孤立塊的方式,但是他自己還在接著挖礦,還是需要倒貼一些錢的。今天開始,他的攻擊方式更進化一步。他暫停了在BCHA鏈挖礦,改為監視其他礦工的動作,一旦其他礦工挖出的新塊不符合條件(100%捐贈給ABC團隊),他就立即切算力過來,把這些區塊孤立作廢掉,然后再切走。這樣搞幾次,其他算力就不敢再來挖礦了。于是就看到了現在的結果,在目前BCHA的市場價和挖礦難度基本匹配的現狀下,已經連續7個小時沒有新的塊挖出來了。使用這種方式,他可以用極低的代價長時間讓BCHA鏈處于無法正常運行的狀態。ABC團隊破解這個困境的辦法,只有兩個:1.寄希望于某個大算力倒貼錢來守護網絡,這個概率接近0;2.緊急修改挖礦算法,比如改成顯卡挖礦。目前市面上已經有多條鏈修改過挖礦算法,所以阿毛里依樣畫葫蘆,應該很快就可以做到。當然也可以改成POS,不過改成POS涉及的東西更多,比單純修改挖礦算法復雜很多。[2020/11/28 22:26:12]
挑戰
資源密集性是一個重要挑戰。在所有鏈上運行成對的輕客戶端可能是昂貴的,因為區塊鏈上的寫入是昂貴的。此外,在具有動態驗證者資源密集性是一個重要挑戰。在所有鏈上運行成對輕客戶端可能很昂貴,因為區塊鏈上的寫入是昂貴的。此外,對于具有動態驗證者集的鏈(如 Ethereum),運行輕客戶端是不可行的。
可擴展性是另一個挑戰。輕客戶端的實現根據鏈的架構而異,這使得擴展和連接不同生態系統變得困難。
代碼漏洞是一個潛在的風險,因為代碼中的錯誤可能導致漏洞。例如,2022 年 10 月的 BNB 鏈漏洞就揭示了一個影響所有支持 IBC 的鏈的關鍵安全漏洞。
為了解決在所有鏈上運行成對輕客戶端的成本和實際性問題,可以采用零知識(ZK)證明等替代解決方案,以消除對第三方信任的需求。
零知識證明作為第三方信任的解決方案
零知識證明可用于在目標鏈上驗證源鏈的狀態轉換的有效性。與在鏈上執行整個計算相比,ZK proofs 僅在鏈上執行計算的驗證部分,而實際計算發生在鏈下。這種方法可以更快、更高效地驗證,相比重新運行原始計算。一些例子包括 Polymer Labs 的 Polymer ZK-IBC 和 Succinct Labs 的 Telepathy。Polymer 正在開發多跳(multi-hop)的 IBC,以增強連接性并減少所需的成對連接數量。
歐科云鏈副總裁張超:區塊鏈+大數據有望破解金融科技安全挑戰:10月13日,歐科云鏈副總裁張超在第三屆數字中國建設峰會上指出,當前金融科技安全挑戰不斷。一方面,基于區塊鏈等新型技術手段的犯罪,學習認知門檻高;另一方面,缺乏傳統金融案件的相關偵查調查工具及相關機構配合。歐科云鏈于今年9月發布區塊鏈大數據產品“鏈上天眼”,可追蹤數字貨幣流向、明確重點偵察方向、提高偵察效率。張超表示,歐科云鏈一直致力于區塊鏈技術研發和應用,后續將繼續深耕區塊鏈+大數據產品的研發,力爭開啟金融安全“天眼”。[2020/10/13]
該機制的關鍵方面包括:
zk-SNARKs 的安全性依賴于橢圓曲線,而 zk-STARKs 則依賴于哈希函數。zk-SNARKs 可能需要一個可信的設置(trusted setup),包括創建用于生成驗證中使用的證明的初始密鑰。關鍵是銷毀設置事件的秘密,以防止通過偽造驗證來進行交易。一旦可信的設置完成,就不會引入進一步的信任假設。此外,新的 ZK 框架(如 Halo 和 Halo2)完全消除了對可信設置的需求。
存在多種 ZK proving 方案,如 SNARK、STARK、VPD 和 SNARG,目前最廣泛采用的是 SNARK。不同的 SNARK proving 框架,如 Groth16、Plonk、Marlin、Halo 和 Halo2,在證明大小、證明時間、驗證時間、內存需求和可信設置需求等方面提供了權衡。遞歸的 ZK proofs 也已經出現,允許將證明工作負載分布在多臺計算機上,而不是單臺。為了生成有效性證明,必須實現以下核心基元:驗證驗證者使用的簽名方案、在鏈上存儲的驗證者集合承諾中包含驗證者公鑰的證明,以及跟蹤驗證者集,其可能經常變化。
在 zkSNARKs 中實現各種簽名方案需要實現域外算術和復雜的橢圓曲線操作,這并不簡單,并且可能需要根據不同的鏈的框架和共識來進行不同的實現。審計 ZK circuits 是一項具有挑戰性且容易出錯的任務。開發人員需要熟悉領域特定語言,如 Circom、Cairo 和 Noir,或者直接實現電路,這兩者都可能具有挑戰性,并且可能減緩采用速度。如果證明時間和工作量非常高,可能只有專門團隊和專用硬件才能處理,可能導致集中化。更長的證明生成時間也會導致延遲。增量可驗證計算(Incrementally Verifiable Computation,IVC)等技術可以優化證明時間,但其中許多仍處于研究階段,等待實現。更長的驗證時間和工作量將增加鏈上成本。
信任博弈論
基于博弈論的互操作性協議可以廣泛分為兩類,根據它們如何激勵參與實體的誠實行為:
動態 | EOS競猜游戲SKR EOS遭隨機數破解:今天凌晨2:25-3:42之間,PeckShield安全盾風控平臺DAppShield監測到黑客向EOS競猜類游戲SKR EOS發起連續攻擊,獲利上千個EOS,目前該游戲的Dice玩法已經暫停。PeckShield安全人員初步研究發現,此次是因游戲合約的Dice玩法隨機數問題被攻破。[2019/6/14]
第一類是經濟安全機制,其中多個外部參與者(如驗證者)合作達成共識,確定源鏈的更新狀態。為了成為驗證者,參與者需要質押一定數量的 Token,如果發生惡意活動,這些 Token 可能會被減少。在無需許可的設置中,任何人都可以積累質押并成為驗證者。此外,對遵循協議的驗證者提供區塊獎勵等經濟激勵,確保誠實行為的經濟動機。然而,如果潛在的被盜金額超過質押金額,參與者可能會勾結竊取資金。使用經濟安全機制的協議示例包括 Axelar 和 Celer IM。
第二類是樂觀安全機制,其中解決方案依賴于只有少數區塊鏈參與者是誠實的并遵守協議規則的假設。在這種方法中,一個誠實的參與者可以充當擔保。例如,一種最佳解決方案允許任何人提交欺詐證明。雖然存在經濟激勵,但是一個誠實的觀察者可能會錯過一個欺詐交易。樂觀 Rollups 也采用了這種機制。Nomad 和 ChainLink CCIP 是使用樂觀安全機制的協議示例。在 Nomad 的情況下,觀察者能夠證明欺詐,盡管在撰寫本文時它們已被列入白名單。ChainLink CCIP 計劃利用由分布式預言機網絡組成的反欺詐網絡來監測惡意活動,盡管 CCIP 的反欺詐網絡的實施尚未可知。
安全性
在安全性方面,這兩種機制都依賴于驗證者和觀察者的無許可參與,以確保博弈論的有效性。在經濟安全機制中,如果質押金額低于可能被盜金額,資金更容易受到攻擊。另一方面,在樂觀安全機制中,如果沒有人提交欺詐證明,或者許可觀察者受到破壞或移除,少數信任的假設可能會被利用。相比之下,經濟安全機制對于維護安全性并不那么依賴活躍性。
實施
在實施方面,一種方法涉及一個具有自己驗證者的中間鏈。在這種設置中,一組外部驗證者監視源鏈,并在檢測到調用時就交易的有效性達成共識。一旦達成共識,它們會在目標鏈上提供證明。通常需要驗證者抵押一定數量的 Token,如果檢測到惡意活動,這些 Token 可能會被減少。使用這種實施方法的協議示例包括 Axelar Network 和 Celer IM。
另一種實施方法涉及使用離鏈代理。離鏈代理被用于實現類似樂觀 Rollups 的解決方案。在預定義的時間窗口內,這些離鏈代理可以提交欺詐證明,并在必要時撤銷交易。例如,Nomad 依賴于獨立的離鏈代理來中繼頭部和密碼學證明。另一方面,ChainLink CCIP 計劃利用其現有的預言機網絡來監測和證明跨鏈交易。
動態 | 黑客試圖破解Etherscan “評論區”:據CCN消息,以太坊塊瀏覽器Etherscan阻止了一項黑客攻擊,黑客試圖“評論區”來提供惡意代碼。用戶在訪問Etherscan官方網站時彈出一條可疑消息“1337”,表明黑客試圖將惡意代碼注入網站,此舉可能是試圖制造以太網釣魚網站。值得慶幸的是,這個特殊的計劃似乎沒有導致任何資金損失。[2018/7/24]
優勢和挑戰
博弈論的 AMP 解決方案的一個關鍵優勢是資源優化,因為驗證過程通常不在鏈上進行,從而降低了資源需求。此外,這些機制具有可擴展性,因為共識機制對于各種類型的鏈保持不變,并且可以輕松擴展到異構區塊鏈。
與這些機制相關的挑戰也有幾個。如果大多數驗證者勾結,信任假設可能會被利用以竊取資金,這就需要采取諸如二次投票和欺詐證明之類的對策。此外,基于樂觀安全的解決方案在最終性和活躍性方面引入了復雜性,因為用戶和應用程序需要等待欺詐窗口以確保交易的有效性。
信任人類
需要信任人類實體的解決方案也可以廣泛分為兩類:
1. 聲譽安全:這些解決方案依賴于多簽名實現,其中多個實體驗證和簽署交易。一旦達到最低閾值,交易被視為有效。這里的假設是大多數實體是誠實的,如果大多數這些實體對特定交易進行簽名,則該交易是有效的。這里唯一需要承擔風險的是參與的實體的聲譽。一些示例包括 Multichain(Anycall V6)和 Wormhole。由于智能合約漏洞,仍然可能存在漏洞,正如 2022 年初 Wormhole 的黑客攻擊所證明的那樣。
2. 獨立性:這些解決方案將整個消息傳遞過程分為兩部分,并依賴于不同的獨立實體來管理這兩個過程。這里的假設是這兩個實體彼此獨立,不會勾結。LayerZero 就是一個例子。塊頭通過分布式預言機按需傳輸,交易證明通過中繼器發送。如果證明與頭部匹配,則交易被視為有效。雖然證明匹配依賴于代碼 / 數學,但參與者需要信任這些實體保持獨立,沒有惡意意圖。構建在 LayerZero 上的應用程序可以選擇他們的預言機和中繼器(或托管自己的預言機 / 中繼器),從而將風險限制在個別預言機 / 中繼器上。最終用戶需要相信 LayerZero、第三方或應用程序本身正在獨立運行預言機和中繼器,沒有惡意意圖。
在這兩種方法中,參與的第三方實體的聲譽會阻止惡意行為。這些通常是驗證者和預言機社區中受尊敬的實體,如果他們表現惡意,會冒著聲譽損害和對其他業務活動的負面影響的風險。
AMP 解決方案的其他考慮因素
在考慮 AMP 解決方案的安全性和可用性時,我們還需要考慮基本機制以外的細節。由于這些是可以隨時間改變的組成部分,我們沒有將它們包括在整體比較中。
代碼完整性
最近的黑客攻擊利用了代碼錯誤,突顯了可靠的審計、漏洞賞金和多樣化的客戶端實現的必要性。如果所有驗證者(在經濟 / 樂觀 / 聲譽安全中)運行相同的客戶端(用于驗證的軟件),它增加了對單一代碼庫的依賴性,并減少了客戶端的多樣性。例如,Ethereum 依賴于多個執行客戶端,如 geth、nethermind、erigon、besu、akula。各種語言的多個實現可能會增加多樣性,沒有任何一個客戶端主導網絡,從而消除了潛在的單點故障。擁有多個客戶端還可以幫助保持活躍性,如果少數驗證者 / 簽署者 / 輕客戶端因為某一特定實現的漏洞 / 攻擊而失效。
設置和可升級性
用戶和開發者需要知道驗證者 / 觀察者是否可以以無許可的方式加入網絡,否則信任將被選擇許可的實體隱藏。智能合約的升級也可能引入漏洞,從而導致攻擊,甚至可能改變信任假設。可以實施不同的解決方案來減輕這些風險。例如,當前的實例化中,Axelar 網關可以升級,但需要離線委員會的批準(4/8 閾值),然而,Axelar 在不久的將來計劃要求所有驗證者集體批準網關的任何升級。Wormhole 的核心合約是可升級的,并通過 Wormhole 的鏈上治理系統進行管理。LayerZero 依賴于不可變的智能合約和不可變的庫,以避免任何升級,但可以推送新的庫,設置默認設置的 dapp 將獲得更新的版本,手動設置版本的 dapp 需要將其設置為新版本。
最大可提取價值(MEV)
不同的區塊鏈通過共同的時鐘不同步,并具有不同的最終性時間。因此,目標鏈上的執行順序和時間可能因鏈而異。在跨鏈世界中,MEV 很難明確定義。它在活躍性和執行順序之間引入了權衡。有序通道將確保消息的有序傳遞,但如果一個消息超時,通道將關閉。另一個應用程序可能更喜歡無需排序,但其他消息的傳遞不受影響。
源鏈確定性
理想情況下,AMP 解決方案應該在將源鏈的狀態信息傳輸到一個或多個目標鏈之前等待源鏈達到最終性。這將確保源鏈上的區塊幾乎不會被撤銷或更改。然而,為了提供最佳用戶體驗,許多解決方案提供即時消息傳遞,并對最終性進行了信任假設。在這種情況下,如果源鏈在消息傳遞和橋接資產后經歷狀態回滾,可能會導致橋接資金的雙重花費等情況。AMP 解決方案可以通過多種方法來管理這種風險,例如根據鏈的去中心化程度為不同的鏈設置不同的最終性假設,或者通過在速度和安全性之間進行權衡。利用 AMP 解決方案的橋梁可以在源鏈達到最終性之前設置橋接的資產金額限制。
趨勢和未來展望可定制并可附加的安全性
為了更好地服務于多樣化的用例,AMP 解決方案受到激勵提供更多的靈活性給開發者。Axelar 引入了一種方法,用于實現消息傳遞和驗證的可升級性,而無需更改應用層邏輯。HyperLane V2 引入了模塊,允許開發者從多個選擇中選擇,如經濟安全、樂觀安全、動態安全和混合安全。CelerIM 除了經濟安全外,還提供了額外的樂觀安全。許多解決方案在傳遞消息之前會等待源鏈上預定義的最低區塊確認數。LayerZero 允許開發者更新這些參數。我們預計一些 AMP 解決方案將繼續提供更多的靈活性,但這些設計選擇需要一些討論。應用程序是否應該能夠配置它們的安全性,到什么程度,以及如果應用程序采用次優的設計架構會發生什么?用戶對安全性背后基本概念的意識可能變得越來越重要。最終,我們預見 AMP 解決方案的聚合和抽象,可能以某種形式的組合或「附加」安全性的形式出現。
「信任代碼和數學」機制的成熟
在理想的最終階段,所有跨鏈消息將通過使用零知識(ZK)證明來實現最小化信任。我們已經看到類似項目如 Polymer Labs 和 Succinct Labs 的出現。Multichain 也發表了一個關于通過 ZK 證明實現互操作性的 zkRouter 白皮書。通過最近宣布的 Axelar 虛擬機,開發者可以利用 Interchain Amplifier 來無需許可地建立與 Axelar 網絡的新連接。例如,一旦為 Ethereum 的狀態開發了強大的輕客戶端和 ZK 證明,開發者可以輕松地將它們集成到 Axelar 網絡中,以替換或增強現有連接。Celer Network 宣布了 Brevis,一個 ZK 跨鏈數據證明平臺,使 dApps 和智能合約能夠訪問、計算和利用多個區塊鏈上的任意數據。Celer 利用 ZK 輕客戶端電路實現了一個面向用戶的資產 zkBridge,用于 Ethereum Goerli 測試網和 BNB Chain 測試網之間的跨鏈。LayerZero 在其文檔中討論了在將來添加新的優化證明消息庫的可能性。像 Lagrange 這樣的新項目正在探索從多個源鏈聚合多個證明,而 Herodotus 則通過 ZK 證明使存儲證明成為可能。然而,這種過渡需要時間,因為這種方法難以在依賴不同共識機制和框架的區塊鏈之間進行擴展。
ZK 是一種相對較新且復雜的技術,難以審計,目前的驗證和證明生成成本不是最優化的。我們相信,從長遠來看,為了支持在區塊鏈上高度可擴展的跨鏈應用,許多 AMP 解決方案很可能會將可驗證的軟件與可信任的人類和實體相結合,因為:
1. 通過審計和漏洞賞金,可以將代碼利用的可能性最小化。隨著時間的推移,隨著這些系統的歷史成為它們安全性的證明,信任這些系統將變得更加容易。
2. 生成 ZK 證明的成本將降低。隨著對 ZKP 的更多研究和開發,遞歸 ZKP、證明聚合、折疊方案和專門的硬件,我們預計證明的生成和驗證時間成本將大幅降低,使其成為更具成本效益的方法。
3. 區塊鏈將變得更加支持 ZK。在未來,zkEVM 將能夠對執行的有效性提供簡潔的證明,基于輕客戶端的解決方案將能夠輕松驗證源鏈的執行和共識。在 Ethereum 的最終階段,還計劃「將所有東西都 zk-SNARK」,包括共識機制。
人類的證明、聲譽和身份
像 AMP 解決方案這樣的復雜系統的安全性無法僅通過單一框架來封裝,需要多層次的解決方案。例如,除了經濟激勵外,Axelar 還實施了二次投票機制,以防止投票權力集中在節點的子集之間,并促進去中心化。其他人類的證明、聲譽和身份證明也可以作為設置和許可機制的補充。
結論
在 Web3 開放的精神中,我們可能會看到一個多元的未來,多種方法共存。事實上,應用程序可以選擇使用多個互操作性解決方案,可以是冗余方式,也可以讓用戶根據權衡選擇進行組合。在「高流量」路線之間,點對點解決方案可能會優先考慮,而中心與輻射模型可能會主導鏈的長尾部分。最終,我們作為一個用戶、構建者和貢獻者的社區,將塑造 Web3 互聯網的基本樣貌。
區塊律動BlockBeats
媒體專欄
閱讀更多
金色早8點
Odaily星球日報
金色財經
Block unicorn
DAOrayaki
曼昆區塊鏈法律
Tags:區塊鏈CHAAMPHER區塊鏈幣圈幣種知識大全AuditchainUltimate ChampionsTHERADIO價格
近幾個月來,BTC銘文引起了巨大的熱議,使得BTC社區分成了兩派。而最新的升級“Recursive(遞歸)銘文”可能同樣具有爭議性,因為這項升級將允許銘文“間接地”突破4MB的區塊空間限制.
1900/1/1 0:00:00BUG Finance在ve(3,3)上的改進Solidly 模型旨在將獎勵與長期承諾相匹配。事實證明這是一個有缺陷的目標,在常規的 ve(3,3) 模型中,每個鎖定其代幣以獲得 veToken.
1900/1/1 0:00:00作者:Joy,PANews美國證券交易委員會第一任主席約瑟夫·肯尼迪(Joseph Kennedy)有一句名言:“美國證券交易委員會要讓不誠實的企業感到恐懼.
1900/1/1 0:00:00編譯:Nick 非同質化代幣NFT在 2021 年經歷了一波熱潮,許多人選擇將這些彩色圖片作為他們Web3身份的象征.
1900/1/1 0:00:00原文作者:Mia,ChainCatcher隨著比特幣鏈上協議 Ordinals 熱度持續升溫,基于 Ordinals 協議的創新開始層出不窮.
1900/1/1 0:00:00作者:John Paul Koning,博客Moneyness主理人;翻譯:金色財經xiaozou早在2018年.
1900/1/1 0:00:00