買以太坊 買以太坊
Ctrl+D 買以太坊
ads
首頁 > 酷幣 > Info

TER:對話 Orbiter Finance:跨鏈攻擊事件頻發,如何評估不同的橋接方案?_ORBIT

Author:

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

來源:ETH中文

本期的訪談內容圍繞跨鏈相關話題進行。跨鏈安全其實一直在社區中備受關注,跨鏈攻擊事件頻繁發生,因此對于跨鏈安全性質疑的聲音也難免越來越多。當然,不同的跨鏈解決方案采用的技術不一樣,這樣他們的安全系數也分高低。

隨著多鏈生態以及以太坊L2逐漸成熟起來,跨L1和跨L2交易的需求也越來越大。對于用戶和開發者來說,了解如何評估一個跨鏈方案的安全性無比重要,因為這涉及自身資產的安全性。

本期節目邀請了來自OrbiterFinance?技術團隊的Eric,為我們介紹跨鏈以及OrbiterFinance。OrbiterFinance是一個專注于以太坊跨rollup的去中心化橋接解決方案,基于“提前信任+爭議仲裁”的這樣一個解決方案,并且依賴于以太坊網絡自身的安全性能。OrbiterFinance表示很快將推出其流動性提供機制和Maker合約的測試。

涉及的話題有:

跨鏈攻擊事件以及其根本安全限制的探討

跨鏈的基本原理以及不同的跨鏈類型

OrbiterFinance的實現方式和項目介紹

????????????-OrbiterFinance的仲裁機制如何保護用戶資產安全?

????????????-Maker流動性提供合約的介紹和開放計劃

????????????-數據服務L2data的介紹

對跨鏈生態的未來展望

為什么說跨鏈具有根本的安全限制?

Franci:說到跨鏈。大家可能會有一個不好的印象就是,好像很多黑客攻擊都是針對跨鏈協議的,而且被盜金額都非常龐大。比如去年ChainSwap和PolyNetwork攻擊事件,還有今年Multichain、Wormhole、RoninNetwork、Nomad等等,我就不一一列舉了,這些攻擊事件中,損失達到數百萬甚至數億美元。

Coinbase首席法律官:歡迎SEC就加密貨幣監管展開對話:金色財經報道,針對美SEC主席Gary Gensler周四在其首次公開聽證會上發表的講話,加密貨幣交易所Coinbase首席法律官Paul Grewal在推特表示:“我們歡迎諸如此類的關于如何正確執行加密監管的對話。事實上,我們歡迎有任何機會分享我們自己的經驗,包括哪些適用于消費者、用戶和執法部門,哪些沒用。”此前消息,Gary Gensler建議國會為加密交易所制定投資者保護措施。[2021/5/8 21:36:22]

而且跨鏈交易還會有一個反網絡效應,就是當交易活動不多時,網絡就會非常安全,因為黑客攻擊的激勵不足以覆蓋他的攻擊成本;而當交易多了起來,攻擊風險就會越大。也就是說,跨鏈生態越繁榮,就越容易受到攻擊。這對資產大的用戶以及跨鏈應用來說,是一個致命的隱患。那為什么會這樣呢?跨鏈橋為什么那么容易被hack?

Vitalik在以太坊基金會第七次RedditAMA中曾表示,他之所以對多鏈的區塊鏈生態系統保持積極態度,而對跨鏈應用保持消極態度,一個關鍵原因就是橋接具有根本性的安全限制。你怎么看這一點?

Eric:其實這個例子里面有很多是因為是合約里面的邏輯代碼,以及驗證證明上的一些缺陷造成的,但是我覺得這些都會隨著技術的一些發展和成長都就會得到解決。

但是確實在跨鏈協議上會有一個最根本的一個安全限制。我認為其實就是鏈的安全性。因為跨鏈協議安全限制,我覺得是符合水桶理論的。也就是跨鏈的話,會涉及到多條鏈。而這個跨鏈協議的安全性能的上限呢,對我們某一條鏈的安全性能下限來決定的。就是如果你的跨鏈協議中涉及到的某一條鏈,它的安全性能不佳,極易遭受到攻擊。那么你這個跨鏈協議的安全性能就無法得到保障,那么你用戶呢,在這個跨鏈的過程中,資產就很容易損失。

火幣論壇對話汪弘彬:從技術層面來說,區塊鏈將在金融領域發揮領先作用:新加坡時間12月30日下午,歐洲貨幣機構投資者集團大中華區CEO汪弘彬做客火幣論壇,以“回顧與展望,從疫情到復蘇”為主題,與火幣商務副總裁Ciara探討在疫情的持續影響下,企業該如何進行數字化轉型。

汪弘彬認為,疫情推動了數字浪潮的發展,從技術層面來說,區塊鏈和加密貨幣行業將在金融領域發揮領先作用,并且會迅速成長為不同于大數據、人工智能和物聯網的另一種新技術,未來勢必會有很大的發展空間。比特幣在2020年表現突出。但如果比特幣要成長為更成熟的資產類別的話,必須要經歷一系列的周期,比特幣至今還沒有一個完整的周期。成熟的機構投資者要了解這一點,然后再進入這個市場。

“據我個人觀察,比特幣的資產類別變得愈來愈清晰了,這會吸引越來越多的機構進入這個市場,但我們還是要從宏觀角度來看比特幣整體周期的發展。但從長遠來看,我對這類資產很樂觀。”汪弘彬最后總結道。[2020/12/31 16:08:51]

比如說有兩條鏈,這兩條鏈是異構的鏈。然后其中的一條鏈的安全性能比較差,那么你從A鏈往B鏈去轉移資金,或者去進行跨鏈協議運行的時候,但后來如果在B鏈,因為某些安全問題需要回滾的話,對于A鏈上是沒有辦法進行處理的。像這種情況下,就可能因為B鏈的安全性能的一個瓶頸,就造成了整個跨鏈協議的一個安全性,不能夠得到保證。

Franci:那么延續你說的這個話題,Vitalik其實后來有基于這個話題,繼續寫了一篇文章。他提出了一個概念,叫做共享安全性。那我看完這篇文章之后,大概的一個理解就是:這個共享安全區域指的是,當我在某條鏈比如說鏈A跨到另一條鏈,鏈B使用該鏈的資產時,我是否能共享來源鏈的安全性?那根據這個劃分方式,其實cross-L1s和cross-l2s是兩種不同的情況,跨L2要比跨L1安全得多,因為他們的安全性都像rollup一樣,是由以太坊提供安全保障的。那么Orbiter其實是專注于跨L2的解決方案,針對vitalik說的共享安全性,Eric你是怎么理解的呢?你覺得跨L2比跨L1安全的同時,它會不會也有很明顯的安全隱患呢?

金色實力派|對話成都數字資產交易中心提案人:5月19日19:00,金色財經邀請到成都數字資產交易中心提案人段江、成都九寬科技CTO彭韜做客「金色實力派」,分享更多成都這座大都會的發展規劃。敬請期待!更多詳情點擊原文鏈接查看。[2020/5/19]

Eric:我覺得cross-L2因為共享了L1的安全的機制,繼承了L1網絡的安全性。所以我認為它其實并沒有什么明顯的安全的隱患,但是它會有一個很明確很明顯的一個缺點。Rollup具有一個退出時間的問題,就是我們平常會說到提現時間。這個是rollup它本身的一個技術特點所決定的,有效性證明可能需要大約四個小時,而欺詐證明需要七天的時間。這樣就會大大地限制了資產的流動性,限制rollup的發展。

跨鏈的基本邏輯

Franci:跨鏈的基本邏輯是什么?一般來說,用戶是怎么在兩條不同的鏈之間實現跨鏈活動的呢?

Eric:了解以太坊和區塊鏈生態的人會知道,我們現在區塊鏈系統里面是有很多異構的,就是不能夠進行相互關聯的。一些鏈和鏈之間沒有辦法去直接地進行價值以及信息的交流。這在很大的程度上會限制區塊鏈的功能的發展。

我們平時所指的跨鏈,其實指的就是在這些不同的區塊鏈網絡之間進行信息的一個交換。而且對這些交換的信息加以利用,實現我們在不同的區塊鏈之間的一個互通,以及價值的轉移。

如果一個用戶使用跨鏈的話,它在實現的基本邏輯就是這樣的:現在有A和B兩條鏈,從源網絡A鏈發起一個跨鏈信息,這個信息可能會經過某一些被信任的一些安全的方式,然后被發送到目標鏈B鏈上。而在這個過程中,可能會需要去驗證這個信息的有效性,即這條跨鏈信息是保證真實的;并且當這條消息發送到B鏈上時,在B鏈上可能也會對這個這個消息的有效證明之類的去進行一些確認。然后在B鏈上會根據A鏈上的這條消息進行某些處理。處理之后,我們可以在A鏈上得到一個處理的結果。這個其實就是跨鏈的基本邏輯。

特斯拉創始人在和J.K. 羅琳推特對話時稱持有 0.25 BTC:特斯拉創始人 Elon Musk 在和哈利波特作者 J.K. 羅琳推特對話時稱持有 0.25 BTC 。《哈利波特》作者 J.K. 羅琳在推特上表示對比特幣有興趣,并尋求網友為其解釋比特幣。為此,特斯拉創始人 Elon Musk 和以太坊創始人 Vitalik Buterin 都開始向她積極布道解釋加密貨幣概念,其中,Elon Musk 更在討論中透露自己持有 0.25 BTC 。[2020/5/17]

不同的跨鏈類型介紹

Franci:我注意到你剛才說的一些點,當用戶他進行跨鏈時候,目標鏈會需要去驗證那個來源鏈交易的一個有效性,在驗證的技術選擇方面可能會有不同的方式,可以列舉一下一些比較主流的方式嗎?我們是不是可以通過這些方式了解跨鏈的不同方案的基本的架構。

消息傳遞者的類型

Eric:跨鏈的一個基本邏輯里面,其實我們會發現有一個比較重要的角色。這個角色就是要把發起鏈上的交易信息發送到目標網絡上。這樣一個角色必須要是可信任的,因為我們要保證它要發送的是正確的交易。它屬于消息的一個傳遞者。基本上在跨鏈協議里面,它都是一個鏈下的角色。然后這個relayer,它通過不同的實現方式,它可能是單節點的;也可能是多節點的;還有可能是一些像chainlink這種第三方機構。

最基礎的一個就是完全受信任的relayer模式。我們在正常的消息傳遞中,這個跨鏈協議里面鏈下會有relayer的角色。這個角色是通過不同的方式篩選出來的。有的可能是通過投票,有的可能是通過資金的質押篩選出來的。而且這個角色有可能是一個,也有可能是多個。然后這些角色會在練下對這個發起鏈上的一些跨鏈信息進行驗證、打包。這個驗證的過程中可能是多簽的,也可能是分布式簽名的方式,去保證安全性。但是這種方式會有一個問題,需要大多數簽名的成員都是誠實的。

聲音 | 美國足球明星Russell Okung:NFL訓練營的第一次對話是談論比特幣:據CCN消息,美國足球明星Russell Okung正在讓其球隊為NFL賽季做準備,而他的方式是通過談論比特幣。其發推稱,“NFL訓練營的第一次對話:比特幣。”該推文激發了一些加密支持者的響應。Morgan Creek Digital聯合創始人Anthony Pompliano回復了火焰表情。Winklevoss兄弟的加密貨幣交易所Gemini官方推特回復標簽#tothemoon及火箭表情。[2019/7/25]

然后第二種的話就是可以著重講一下LayerZero。它是在這種受信任的中繼者模式的基礎上又增加了一個角色,添加了一個叫做oracle的角色。它把oracle的角色和relayer的角色做了一個區分。Oracle是用來提交發起鏈的區塊頭的一些信息,而ralyer只是用來發送一些交易的驗證的證明。然后在線下會對這兩者去進行匹配,并且通過算法進行證明,證明出區塊的頭驗證。

最后一種就是樂觀驗證模式。這個模式上也是有鏈下的relayer角色,還會有一個watcher和updater這兩種角色。其中updater是要質押資金的,通過質押資金他會擁有負責打包這個發起鏈上的跨鏈信息的權利。然后relayer就只是單純把updater的簽名信息發送到目標鏈上去。其中還有watcher的角色,他負責監督負責簽名交易信息的updater。如果updater作惡的話,watcher能夠及時響應,然后使用其他證明方式阻止updater作惡。而這種方式在安全性上來說的話,它是最高的,因為它假設只要有一個誠實的updater運行。但是因為它使用了欺詐證明的方式,所以它可能在時間成本上會有有一點高,和前面兩種來相比的話。

消息有效性的驗證方式

Eric:然后當這些消息傳遞到了目標網絡之后,它的有效性是如何的,對于它的有效性的驗證方式也不同。

第一種就是目標網絡上的一個合約驗證。這個合約驗證又可以分為兩個方面,一個就是共識的驗證,還有一種就是有效性的驗證。然后有效性驗證比較好理解,我們現在的rollup其實使用的都是這樣的。它會通過欺詐證明和有效性證明的方式在L1的rollup合約去進行驗證L2的狀態。然后對于共識驗證,它就是在目標鏈上要去驗證來源鏈的一個共識這樣的一個功能,而這個驗證的功能可能就會涉及到它來源鏈,它使用的是什么樣的一個共識的機制。嗯用的是Pow還是說PoS協議這樣一種方式。第二種,其實就是放在鏈下去操作的,也就是一些外部的驗證。而我們說了這些外部的驗證者,他們都是通過某種方式選舉出來這些可信的驗證者,然后使這些可信的驗證者通過多簽或者是運行共識算法的方式去統一。在鏈下進行驗證之后,然后才會提交到我們的目標網絡上。然后第三種就是前面提到的樂觀驗證模式。只有在作惡的時候,watcher才會負責在目標網絡上提交欺詐證明。所以這個就是三種可能不同的驗證方式。

Orbiter就是使用了我們現在這種提前信任,加上爭議仲裁的這樣一個解決方案,然后就把我們的安全性完全于依賴于以太坊網絡自身的安全性能。然后我們在保證這個安全性能的前提下,專注于cross-L2的開發。

OrbiterFinance的實現方式

介紹Orbiter的架構

Eric:從角色層面上來說,可能會分為兩個,一個是sender角色,一個是maker角色。也可以說一個是使用跨鏈服務的角色,還有一個是提供流動資金來幫助跨鏈的角色。

我可以先簡單地講一下用戶使用OrbiterFinance跨鏈時的流程。比如說用戶想從zkSync網絡上把自己的以太坊資金轉移到以太坊網絡上。那么它就可以在Orbiter網頁的前端進行操作,然后把他的資金從zkSync他自己的EOA地址轉到我們提供服務的Maker地址里面去。

然后Maker在收到資金之后就會在目標網絡上將計算后的代幣,發送到用戶的地址里面。這里面涉及的都是EOA之間的轉賬邏輯。在這個過程中呢,針對于maker,Orbiter會給他提供一個客戶端。然后Maker也可以自己去部署一個客戶端,然后自動化地實現后端,就是回款的一個流程。然后這個客戶端里面,會去對用戶跨鏈的金額、幣種、網絡狀態之類的數據去進行一個監聽。這是一個正常的流程,但如果是出現作惡的話,會有另外的邏輯。

Orbiter采用的是提前信任的模式,就是我們默認了這些maker會正確的處理資產,正確地給用戶返回這些資金。但是在整個的過程當中,maker是存在作惡可能的,有可能他在發起網絡上收到了用戶的資產,之后把這個資產給扣留下了。

圖片來源:OrbiterFinance

我們采用了一套去中心化的機制來防止作惡。主要是由三個合約,MDC、EBC和SPV去實現這個功能。

而其中MDC合約其實就是一個maker,就是maker注冊的一個合約。然后在這個合約里面,會負責創建它的跨鏈規則服務,然后還要存放一些maker保證金,還有就是后續為sender和maker提供一個仲裁處理的規則。

然后EBC合約就是一個事件綁定合約。現在我們主要的運用其實還只是在資產轉移方面,所以這個EBC合約里面其實會對發起鏈,就是sender給予maker的這筆交易,通過來源鏈交易去推算出目標鏈交易。

而SPV合約就是一個簡單的交易驗證合約,就是用于證明用戶提供的某條鏈上的一個交易是否真實的在這條鏈上。

然后通過這三個合約會運行一套機制,我們可以確保當maker作惡的時候,用戶不會遭受到資產的損失。可以通過整個申訴仲裁的這樣一個流程,到最后去得到資產的賠付,甚至是一個超額的賠付。

彩蛋

Franci:OrbiterFinance創立以來有沒有發生過什么有趣的故事呢?

Eric:有趣的故事的話,應該就是去年年底的時候,當時Vitalik在Gitcoin上發布一個cross-rollupbounty。當時看到這個覺得挺有意思的,當時有一些自己的想法,然后當時我和我的同事,我們兩個人就用了二十多天搞出了一個pizza合約,當時去參加了。而且最終的話就是從中獲勝,然后得到了那個Vitalik的16個ETH的獎勵。這個對我們其實也是一個很大的一個鼓舞。

Tags:TERBITORBITBITECryptoGangstersupbit中文appOrbitau Taureumbitedu

酷幣
ARB:BitKeep:已掌握黑客身份信息,敦促黑客及模仿套利者 24 小時內歸還盜取的資金_bitkeep錢包中文叫什么

Web3多鏈錢包BitKeep通過鏈上消息對此前攻擊BitKeepSwap的黑客喊話,敦促黑客及模仿套利者在24小時內進行回應并歸還盜取的資金.

1900/1/1 0:00:00
ROLL:Web3 時代的 ZKP,如何邁向主流?_Web3 Inu

原文標題:《ZKPsinWeb3:NowandtheFuture》撰文:MohamedFouda、QiaoWang編譯:Frank,ForesightNews零知識技術是一種推動技術.

1900/1/1 0:00:00
BIT:新一代 Web3 錢包 Bitizen 通過慢霧的安全審計_Statizex

慢霧已經正式完成了對Bitizen的安全審計。作為領先的基于MPC技術構建的新一代無私鑰、無助記詞、去中心化自托管的Web3錢包,Bitizen的安全性一直受到行業關注.

1900/1/1 0:00:00
ETF:彭博社:美國司法部正重新審理 “Tether 向銀行隱瞞加密相關交易”案件_TET

據彭博社援引知情人士消息,去年美國司法部“審查Tether是否向銀行隱瞞與加密有關的交易”的相關案件經過數月的法律糾紛,已在部門內部移交,并已由華盛頓移交到曼哈頓.

1900/1/1 0:00:00
ETF:加密衛星公司 Cryptosat 完成 300 萬美元種子輪融資,Protocol Labs 等參投_比特幣走勢圖日k線

據financefeeds報道,加密衛星公司Cryptosat宣布完成300萬美元種子輪融資,其聯合創始人YonatanWinetraub和YanMichalevsky領投.

1900/1/1 0:00:00
以太坊:Vitalik 發布以太坊最新路線六大關鍵路線_怎么得到以太坊幣

作者:GaryMa?吳說區塊鏈今日,Vitalik發布了以太坊的最新路線圖,在此前的五大關鍵路線的基礎上,新增了以解決交易審查和MEV風險為中心的關鍵路線TheScourge.

1900/1/1 0:00:00
ads