摘要:客座作者: Eigenintern (EigenLayer Research Team支持)Guest Post:等待在EigenLayer上建立的初創(chuàng)公司在今天的文章中,讓我們揭開(kāi)EigenLayer 運(yùn)營(yíng)節(jié)點(diǎn)可以運(yùn)行的一些很酷的想法和任...
客座作者: Eigenintern (EigenLayer Research Team支持)
Guest Post:等待在EigenLayer上建立的初創(chuàng)公司
在今天的文章中,讓我們揭開(kāi)EigenLayer 運(yùn)營(yíng)節(jié)點(diǎn)可以運(yùn)行的一些很酷的想法和任務(wù),并解釋它們?nèi)绾慰焖僖龑?dǎo)去中心化開(kāi)放創(chuàng)新。
首先,什么是EigenLayer?
EigenLayer很簡(jiǎn)單。它為900,000多個(gè)以太坊運(yùn)營(yíng)節(jié)點(diǎn)(即全球運(yùn)行以太坊軟件的計(jì)算機(jī))創(chuàng)建了一個(gè)就業(yè)市場(chǎng),以執(zhí)行更多去中心化的任務(wù)以獲得額外獎(jiǎng)勵(lì)。如果他們惡意運(yùn)行新任務(wù),他們將受到懲罰和削減。
當(dāng)質(zhì)押者將他們的質(zhì)押委托給這些運(yùn)營(yíng)商以提供經(jīng)濟(jì)安全時(shí),就會(huì)發(fā)生再質(zhì)押,從而使可削減的質(zhì)押總數(shù)大于運(yùn)營(yíng)節(jié)點(diǎn)作惡的利益。
從這個(gè)意義上講,任何需要一組去中心化計(jì)算機(jī)來(lái)執(zhí)行任務(wù)的協(xié)議都可以使用EigenLayer運(yùn)營(yíng)節(jié)點(diǎn)(以太坊運(yùn)營(yíng)節(jié)點(diǎn)和選擇通過(guò)EigenLayer運(yùn)行更多任務(wù)的計(jì)算機(jī))并快速啟動(dòng)自己的一組去中心化網(wǎng)絡(luò)。
Rollup服務(wù)
顧名思義,Rollup服務(wù)提供Rollup。許多最早和最直接的EigenLayer應(yīng)用程序都是此類服務(wù)。
1? Fast Finality
Optimistic 和 ZK Rollup的即時(shí)確定性
目前,Rollup只支持慢速模式。對(duì)于Optimistic Rollup,交易需要7天才能結(jié)算,對(duì)于ZK Rollup,需要12分鐘。這很好,但是如果你想做一些快速的原子交易或需要即時(shí)結(jié)算和確認(rèn)的操作,該怎么辦?
Fast Finality是一種系統(tǒng),它允許任何Rollup和L2聲明特定的交易塊可以導(dǎo)致特定的狀態(tài)承諾。這本質(zhì)上意味著,無(wú)論你認(rèn)為在區(qū)塊鏈上結(jié)算的是什么,實(shí)際上都已結(jié)算,并且?guī)缀蹩梢粤⒓唇Y(jié)算(否則,將會(huì)有大量的資金和質(zhì)押被削減)。
通過(guò)Fast Finality,Rollup現(xiàn)在可以在快速和慢速模式下操作。
在“快速模式”下,這一層的節(jié)點(diǎn)可以立即驗(yàn)證確認(rèn),在大多數(shù)人同意的情況下確保經(jīng)濟(jì)確定性。當(dāng)我們切換到“慢速模式”時(shí),確認(rèn)會(huì)經(jīng)歷一個(gè)挑戰(zhàn)期,當(dāng)懷疑存在惡意行為時(shí)會(huì)使用該挑戰(zhàn)期。
2?重組阻力(Reorg Resistance)
通過(guò)EigenLayer經(jīng)濟(jì)安全獲得鏈和網(wǎng)絡(luò)的抗重組特性
通過(guò)利用以太坊的經(jīng)濟(jì)信任,增強(qiáng)區(qū)塊鏈對(duì)重組(Reorgs)的安全性。利用輕量級(jí)客戶端,以太坊運(yùn)營(yíng)節(jié)點(diǎn)確認(rèn)最新完成的區(qū)塊的區(qū)塊頭沒(méi)有被雙重簽名。
新的交易確認(rèn)規(guī)則需要鏈的最終確定和EigenLayer質(zhì)押者的證明。獲得以太坊的重組阻力取決于通過(guò)EigenLayer建立經(jīng)濟(jì)信任。
應(yīng)用密碼學(xué)
你可以用EigenLayer運(yùn)營(yíng)節(jié)點(diǎn)構(gòu)建許多加密原語(yǔ)和網(wǎng)絡(luò)——ZK、MPC、TEE、FHE等。
3? Shamir 秘密分享
將秘密拆分給許多去中心化的 Eigen 節(jié)點(diǎn)存儲(chǔ),并僅在特定條件下發(fā)布
Shamir 秘密分享幫助用戶將秘密分成多方,只有在滿足條件時(shí)才發(fā)布。這可以使用承諾存儲(chǔ)秘密的EigenLayer節(jié)點(diǎn)來(lái)實(shí)現(xiàn),如果它們?cè)跐M足條件時(shí)沒(méi)有釋放秘密,則可以削減它們。
4 TEE委員會(huì)(TEE Committees)
只有當(dāng)大量TEE節(jié)點(diǎn)被破壞時(shí),系統(tǒng)才會(huì)被破壞,這大大降低了信任假設(shè)
目前,一些協(xié)議正在探索使用TEE(可信執(zhí)行環(huán)境)作為保證某些計(jì)算的替代方法,例如運(yùn)行私人拍賣或確保某些數(shù)據(jù)是防篡改的。
協(xié)議可以通過(guò)EigenLayer利用TEE和構(gòu)建去中心化的TEE網(wǎng)絡(luò)(稱為T(mén)EE 委員會(huì))來(lái)增強(qiáng)其安全性。
TEE和委員會(huì)的結(jié)合嚴(yán)格地提高了任何沒(méi)有TEE的委員會(huì)的可靠性,要求多數(shù)人與委員會(huì)勾結(jié),并違反TEE的安全模型,從而危及系統(tǒng)。TEE委員會(huì)中可能需要多個(gè)TEE模型,例如Intel SGX、ARM TrustZone和Amazon Nitro,并強(qiáng)制每個(gè)模型的簽名。EigenLayer提供去中心化的信任,而經(jīng)濟(jì)信任可以在削減的情況下借用。
TEE委員會(huì)還提供隱私,使其適用于同時(shí)需要程序完整性和隱私的場(chǎng)景。
5? Optimistic ZK和反對(duì)者的證明
大多數(shù)時(shí)候保持樂(lè)觀,只有在檢測(cè)到欺詐時(shí)才運(yùn)行ZK
反對(duì)者證明引入了一種創(chuàng)新的方法來(lái)處理鏈上的證明,優(yōu)先考慮效率和成本效益。在這個(gè)系統(tǒng)中,證明最初是樂(lè)觀地接受的,沒(méi)有立即進(jìn)行鏈上驗(yàn)證,假設(shè)被稱為“反對(duì)者”的各方只有在發(fā)現(xiàn)錯(cuò)誤時(shí)才會(huì)與證明互動(dòng)。反對(duì)者證明的一個(gè)缺點(diǎn)是,它們必須在一個(gè)更強(qiáng)大的模型中運(yùn)行,因?yàn)樗枰僭O(shè)、同步、抵制審查,以及至少一個(gè)誠(chéng)實(shí)的一方。
然而,Naysayer證明特別適合具有重復(fù)結(jié)構(gòu)或多輪應(yīng)用的證明系統(tǒng),并在FRI多項(xiàng)式承諾開(kāi)放證明、后量子安全數(shù)字簽名方案和可驗(yàn)證洗牌中找到應(yīng)用。
最后,它們與欺詐證明的不同之處在于,它們專注于識(shí)別驗(yàn)證者電路評(píng)估中的分歧,從而使它們的效率顯著提高。
去中心化的鏈下基礎(chǔ)設(shè)施
你可以用EigenLayer引導(dǎo)任何通用的去中心化網(wǎng)絡(luò)。
6?斷路器(Circuit Breakers)
監(jiān)視惡意交易并對(duì)其采取行動(dòng)的節(jié)點(diǎn)網(wǎng)絡(luò)
大多數(shù)應(yīng)用程序都內(nèi)置了一個(gè)斷路器,根據(jù)協(xié)議的不同而有不同的命名,但原則上,它能夠暫停整個(gè)協(xié)議或禁用特定功能。在考慮這個(gè)概念時(shí),想象一下這個(gè)責(zé)任是否可以轉(zhuǎn)移給以太坊驗(yàn)證者。然后,節(jié)點(diǎn)網(wǎng)絡(luò)將監(jiān)視這個(gè)斷路器功能,如果協(xié)議行為不當(dāng)——暫停得太晚或在不適合這樣做的時(shí)候暫?!赡軙?huì)被削減。
利用以太坊的信任網(wǎng)絡(luò)來(lái)監(jiān)督協(xié)議,鼓勵(lì)良好的行為,同時(shí)阻止不良行為。
7?去中心化的RPC
為了確保RPC系統(tǒng)不被破壞和發(fā)送虛假數(shù)據(jù),創(chuàng)建一個(gè)去中心化的節(jié)點(diǎn)網(wǎng)絡(luò),該網(wǎng)絡(luò)不僅管理RPC服務(wù),而且還為其響應(yīng)附加簽名,以確保經(jīng)濟(jì)安全。
對(duì) Alchemy 和 Infura 等 RPC 服務(wù)存在固有的依賴,其中提供的數(shù)據(jù)被認(rèn)為是準(zhǔn)確且值得信賴的。然而,這些服務(wù)并非萬(wàn)無(wú)一失,總是存在數(shù)據(jù)泄露或錯(cuò)誤的小風(fēng)險(xiǎn)。
去中心化RPC是一種AVS設(shè)計(jì),它不僅可以管理這些服務(wù),還可以確認(rèn)簽名,從而增加了額外的問(wèn)責(zé)制層。它將通過(guò)識(shí)別任何差異或數(shù)據(jù)錯(cuò)誤并追究相關(guān)方的責(zé)任來(lái)加強(qiáng)信任。
MEV管理
本質(zhì)上描述了以太坊提議者對(duì)他們?nèi)绾螛?gòu)建、生產(chǎn)和訂購(gòu)區(qū)塊做出額外的承諾。除了以太坊提議者,你可以讓MEV管道中的任何參與者做出這些額外的承諾。
8? Slot 拍賣(Slot Auctions)
允許接下來(lái)的32個(gè)公共驗(yàn)證者提前拍賣他們自己的Slot。
檢查點(diǎn)在提高以太坊PoS系統(tǒng)的安全性和效率方面發(fā)揮著至關(guān)重要的作用。它們有助于防止攻擊,減少驗(yàn)者器的數(shù)據(jù)存儲(chǔ)需求,并確保以太坊歷史的安全性和穩(wěn)定性。進(jìn)入Slot拍賣,這是一個(gè)概念,下一個(gè)即將到來(lái)的驗(yàn)證者可以事先拍賣他們的Slot。
在每個(gè)檢查點(diǎn)期間,下一個(gè)即將到來(lái)的驗(yàn)證者的選擇都會(huì)向公眾披露,并且每個(gè)驗(yàn)證者都可以提前拍賣自己的Slot,從而消除了在其提議者Slot期間通過(guò)MEV-Boost的需要。
這種方法將為交易者提供跨不同時(shí)間段的改進(jìn)執(zhí)行,并有助于更有效地管理執(zhí)行風(fēng)險(xiǎn)。實(shí)施將涉及鏈下和鏈上的驗(yàn)證者承諾,并有可能進(jìn)行削減。
9? 閾值加密 (Threshold Encryption)
防止在三明治攻擊中的有針對(duì)性的搶先交易
閾值加密為應(yīng)用程序提供了一種潛在的解決方案,可以防止針對(duì)性的搶先交易并增強(qiáng)鏈上隱私。核心概念涉及使用加密消息作為示例,其中n個(gè)簽名者中至少有k個(gè)可以解密,但少于k的簽名者都無(wú)法解密。
要求是k必須很大,并且需要一個(gè)去中心化的簽名者集來(lái)減輕共謀攻擊和活躍攻擊。這種去中心化的節(jié)點(diǎn)集可以從EigenLayer繼承。
協(xié)同處理器
你可以在鏈下計(jì)算和執(zhí)行操作,以擴(kuò)展主計(jì)算機(jī)(以太坊)可以運(yùn)行的范圍,并以可證明的,信任最小化的方式更有效地運(yùn)行這些任務(wù)。
10 實(shí)現(xiàn)AI推理的程序完整性和會(huì)話隱私
比ZKML更劃算
在目前的人工智能領(lǐng)域,只有少數(shù)中心化實(shí)體運(yùn)行人工智能推理引擎。因此,有很強(qiáng)的動(dòng)機(jī)利用EigenLayer進(jìn)行鏈上人工智能推理:
通過(guò)使用零知識(shí)(ZK)技術(shù)進(jìn)行機(jī)器學(xué)習(xí)(ML),為AWS等中心化服務(wù)器提供替代方案,提高人工智能運(yùn)營(yíng)的成本效益和計(jì)算完整性。
通過(guò)一種機(jī)制來(lái)增強(qiáng)隱私,該機(jī)制允許運(yùn)行人工智能引擎的運(yùn)營(yíng)商只有在許多運(yùn)營(yíng)商串通的情況下才能解密消費(fèi)者的查詢。這種方法與繼承自以太坊信任網(wǎng)絡(luò)的去中心化原則相一致。
總結(jié)
我們談到了可以在EigenLayer上構(gòu)建的幾個(gè)大類:Rollup服務(wù)、閾值加密、去中心化的鏈下基礎(chǔ)設(shè)施、MEV管理和協(xié)同處理器。
除了這些基本類別之外,你還可以考慮更有趣和更瘋狂的想法——去中心化電網(wǎng)、數(shù)據(jù)標(biāo)簽(例如,tokenized captcha)、去中心化前端——因?yàn)槿魏涡枰嗯_(tái)計(jì)算機(jī)運(yùn)行的任務(wù)都需要一些可信的保證,你可以用EigenLayer來(lái)運(yùn)行。
如果你想了解更多關(guān)于這些想法,請(qǐng)?jiān)L問(wèn)官方的EigenLayer網(wǎng)站和他們的研究。