原文:《Canoraclesdoubleasco-stakers?HowRAI-likesystemsmightsafelysupportstakedETH》byVitalikButerin
編譯:DeFi之道
RAI面臨的主要挑戰之一是很難找到愿意充當LP的ETH持有人,尤其是在利率高于目前約-5%至-10%的水平時。這一問題背后的一個主要原因是,目前,RAICDP與staking質押競爭作為一種收益來源。
今天,ETH持有者可以將其ETH放入CDP,取出RAI,以1%DAI的儲蓄率將其轉換為DAI,并賺取約10%的利差,或約5%的年回報率。或者,他們可以只質押他們的ETH,并以更低的風險賺取同樣的5%年回報率。如果RAI利率甚至增加到-3%,計算結果將更加有利于staking質押。
有人正在探索多抵押品RAI作為此問題的解決方案。我個人對此的看法是,DAI已經填補了作為任意多抵押算法穩定幣的利基市場,因此RAI生態在該領域競爭毫無意義。因此,在我看來,只有當“多抵押品”指的是一種極為狹窄的多抵押品形式,則制作RAI多抵押品才有意義。
這篇文章探討了一些不同的方法來做到這一點。
我們可以讓任何質押者將他們的質押權益作為CDP抵押品雙重使用嗎?
Vitalik:跨鏈證明是實現跨鏈社交恢復錢包的關鍵,ZK-SNARK等是可行選擇:6月20日消息,以太坊聯合創始人VitalikButerin在最新文章《更深入探討錢包和其他用例的跨L2讀取》中指出,實現跨鏈社交恢復錢包的一個可行方案是維護一個存放在特定位置的密鑰庫,以及多個不同位置的錢包,這些錢包可以讀取密鑰庫來更新自身的驗證密鑰視圖或在每次交易驗證過程中。跨鏈證明是實現這個功能的關鍵,需要對其進行深度優化,可能的方案包括零知識證明(ZK-SNARK)、等待Verkle證明或自定義KZG解決方案。
從長遠看,我們需要實現聚合協議,通過生成聚合證明來打包所有用戶提交的操作,以此來降低成本。這可能需要將其集成到ERC-4337生態系統中,可能需要對ERC-4337進行一些修改。同時,為了減少從L2內部讀取L1狀態的延遲,L2應被優化。
錢包不只可以放在L2上,也可以放在與以太坊連接程度較低的系統上,如L3或只同意包含以太坊狀態根的獨立鏈。然而,密鑰庫應放在L1或高安全性的ZK-rollupL2上。盡管這樣會增加復雜性,但從長期來看,可能在L2上設置密鑰庫才是成本更低的方案。在這個過程中,我們也需要致力于提供保護隱私的解決方案,并確保我們的方案可以與隱私保護方案兼容。[2023/6/21 21:50:47]
Eigenlayer是一組工具,通過將提款地址設置為僅在滿足某些條件情況下才返還資金的合約,它使質押者可以在其他應用中重新使用其質押權益。可以想象,人們可以制作一個使用Eigenlayer的RAI版本:用戶通過將取款地址設置為一個合約,將他們質押的ETH存入CDP中,該合約只有在他們償還RAI債務后才會返還。如果用戶被清算,合約的邏輯會將ETH的所有權轉移給清算人。
Vitalik Buterin:中心化的任何東西都是有風險的:金色財經報道,以太坊創始人Vitalik Buterin在社交媒體上稱,“默認情況下,中心化的任何東西都是有風險的,使用“DeFi和自我托管的精神”在本周表現非常好,但請記住它也有風險,智能合約代碼中的錯誤。”
Vitalik表示“重要的是要防范它,保持代碼簡單、審計、形式驗證等、深度防御。我最擔心的是,如果我們在兩年后的ZK-rollup中擁有100億美元,并且由于電路約束代碼或其周圍的EVM封裝器中的錯誤而被黑掉。對于后者,保持簡單并進行形式驗證。”[2022/11/16 13:13:32]
這種方法的主要挑戰是,雖然它在正常情況下運行良好,懲罰非常罕見且非常低,但在極端情況下,它會大大降低系統的安全性。特別是,如果攻擊者打算進行51%攻擊,那么他們將所有用于攻擊系統的驗證器放入RAI-CDP中,并盡可能多地取出RAI就變得合理了。
如果攻擊者這樣做,那么他們實際上是在從系統中“竊取”RAI,導致其產生以RAI計價的債務。該系統可以嘗試通過拍賣以使用FLX或ETH儲備回購RAI來快速重新平衡,但它仍然有破產的風險。
Vitalik:比特幣本質是一種金融工具:Vitalik Buterin在推特上回顧過去十年加密行業發展,他表示,金融在未來十年重要性會相對較低,加密貨幣領域需要適應這一現實。最終,加密貨幣會與更廣泛經濟趨勢高度相關。這并不意味著他們會免受其他事物(例如障礙/干擾)侵擾,但確實意味著敘事需要調整。Vitalik Buterin認為,比特幣本身主要是一種金融工具。以太坊本質上“金融性”沒有那么強,但即使如此,仍然存在一個事實,即區塊鏈合法地使很大一部分應用程序更好地涉及處理某種形式的貨幣/代幣/資金。[2020/6/3]
RAI可以只使用Lido的stETH嗎?
這是一種在解決上述問題的同時,RAI可能需要最少工作的方法。然而,我會對這種方法感到擔憂,因為進一步鞏固像stETH這樣的質押系統會導致以太坊級別的系統性風險。如果它獲得了更大的市場支配地位,那么這會給管理stETH的系統帶來很多信任,從而將新的攻擊向量引入到整個以太坊質押中。對于stETH而言,這遠不如中心化質押衍生品那么真實,但它仍然是一種風險。
出于這個原因,我強烈傾向于嘗試找到使用質押ETH作為抵押品的方法,以避免圍繞單一主導流動性質押衍生品形成網絡效應。而且由于RAI不需要抵押資產的可替代性,RAI實際上可以成為解決方案的一部分。
聲音 | Vitalik:以太坊2.0信標鏈正式上線時間或略有推遲:金色財經現場報道,6月29日,在北京舉行的2019以太坊技術及應用大會上,以太坊聯合創始人Vitalik Buterin以及以太坊核心研究員Hsiao-Wei Wang在接受采訪時表示,按照正常的開發進度,以太坊2.0計劃在2020年初正式上線,Vitalik表示以太坊2.0信標鏈的上線時間或將略微推遲,更多要看社區進度,以太坊2.0測試網將于今年晚些時候上線。[2019/6/29]
想法1:預言機作為質押者
任何擁有RAICDP的人都非常相信RAI的預言機系統不會竊取他們的資金。如果RAI預言機開始報告ETH/USD價格接近于零,則所有CDP將被清算,其持有者將一無所有。RAI持有者將能夠進來購買CDP,并以非常便宜的價格獲取其中的ETH。
出于這個原因,對預言機系統的信任應該被極其重視。特別是,51%的協議投機代幣不可能在沒有長時間延遲的情況下投票立即更改預言機提供商。我自己對最佳模型的看法大致是這樣的。
無論如何,一個關鍵的觀察是,由于RAI持有者已經相信預言機不會以這種方式搞砸他們,如果我們也以其他風險較小的方式信任預言機,這似乎不會增加系統的脆弱性。
金色財經現場報道 以太坊創始人Vitalik Buterin對Casper與分片技術最新進展做出演講 :金色財經6月3日現場報道,在今天的以太坊技術及應用大會上,以太坊創始人Vitalik Buterin做了題為“Casper與分片技術最新進展”的主題演講。第一步為存款:簽名和公鑰地址不一定是一樣的,可以讓別人為你參加共識機制,能用熱錢包簽名,將資金留在冷錢包中。完成取款,第二步為等待加入,可能需要一天時間(還不完全確定)第三步為參加驗證機制:驗證節點有兩個作用:敲定主鏈的區塊,驗證分片上的區塊。[2018/6/3]
一個自然的選擇是:RAI本身創建了一個Lido副本,創建CDP的用戶可以在其中質押這些資金,將RAI預言機設置為質押密鑰,但將CDP設置為取款地址。
這里的信任程度并沒有看起來的那么高:糟糕的RAI預言機可能會導致資金被破壞,要么被罰沒,要么遭到離線懲罰,但它們無法竊取資金,只有極少數例外情況,比如進行某種特殊的MEV攻擊,攻擊者因雙重提議而被罰沒。
但這仍然不完美:這種罕見的特殊攻擊是可能的,而且還不清楚預言機是否愿意成為質押者。質押的法律風險似乎高于成為預言機提供者的法律風險,后者在許多司法管轄區屬于明確的言論自由“僅提供信息”類別。這還會產生更大的動機來攻擊它們。
想法2:預言機作為2-of-2質押者
這是一種替代方案,可以讓用戶保持更多控制權并減少對預言機的信任。代替屬于預言機的質押密鑰,質押密鑰是P+Q,其中Q是屬于預言機的密鑰,P是CDP持有者持有的密鑰。由于BLS簽名的算法特性,預言機可以用Q簽名,CDP持有者可以用P自己簽名,并將兩個簽名加在一起創建一個驗證P+Q的簽名。這基本上就是2-of-2DVT。
這加強了信任屬性,如下所示:
僅靠預言機不能罰沒CDP持有者;
預言機本身不能進行提議者攻擊,因為區塊提議需要CDP持有者簽名;
CDP持有者不會被罰沒或進行攻擊,因此無法以這種方式破壞系統的抵押品;
預言機或CDP持有者可以離線;在這種情況下,另一方將觸發退出并退出CDP,而損失很小;
極端情況是預言機或CDP持有者在不活動泄漏期間離線。在這種情況下,任何一方都可能讓另一方遭遇損失。
執行
這種設計是DVT的一種特殊情況:
這是2-of-2,所以從網絡角度來看,這是最簡單的情況;
2個中的1個正在為數以千計的合作伙伴提供服務。但是,它可以簡單地簽署相同的數據,并將其發布給所有與之合作的CDP以供下載;
為了保持區塊生產的自主性,在這種特定情況下,它可以使用一個系統,提議者選擇要簽名的內容,并將其發送給預言機進行共同簽名。預言機不應該在同一個域的同一個slot中同時簽署兩個不同的數據,因為這可能會與致盲技巧相結合,以罰沒CDP。
這是需要實施的新技術,因此可能需要DVT團隊的合作才能真正實現。一旦建成,它應該不會太難操作。
想法2的弱點
該系統最大的漏洞是inactivityleaks,因為這些漏洞可能僅由預言機離線觸發。然而,我認為接受這種風險是可以的。如果余額低于16ETH,驗證器將自動退出并撤回ETH。因此,我們可以簡單地接受具有2倍抵押品要求的質押ETH,而不是提供常規ETH的1.5倍。
有一種極端情況,如果很多驗證器同時泄露,一次只有少數人可以退出,因此一些驗證器會在16ETH以下進一步被泄露懲罰,但如果有需求,這是以太坊質押協議中可能會發生的變化。即使沒有修復,也需要非常極端的攻擊,在誠實的驗證器控制的余額比例返回到2/3以上之前,大量的驗證器泄漏遠遠低于16ETH。
另一個主要缺點是,在一個主要擔心不是預言機惡意罰沒,而是預言機惡意或不小心下線的世界中,它無法很好地工作。這可能是因為我們要么期望預言機是低質量的質押者,因為我們是為了誠實而非技術熟練度而進行優化,要么預言機使用可信硬件,并且用戶接受這是一個信任假設。為了解決這些弱點,我們提出了下面的想法3。
想法3:用于分級安全性的半可信預言機
在你可以保證大多數預言機是誠實的情況下,另一種方法消除了剩余的信任問題。
我們定義了三個常數:
N:預言機系統中的預言機總數;
k1:可以與CDP持有者一起簽署消息的預言機數量
k2:在沒有CDP持有者的情況下可以協同工作以簽署消息的預言機數量
我們要求預言機維護兩個秘密共享密鑰:
Q1,在k1-of-N秘密共享中
P+Q2,在k2-of-N秘密共享中
對于Q1,預言機可以與CDP持有者共同簽名,對于Q2,他們可以獨立簽名。
在k1+k2=N的情況下,這可以確保在兩種情況下都不會發生罰沒和inactivity泄漏:
超過k2的預言機是誠實的;
至少k1個預言機是誠實的,并且CDP持有者是誠實的;
這種風格類似于Rollup的第1階段訓練輪,在兩個安全模型之間創建線性混合,作為一種部分信任兩者但不過分信任其中一個的方式。
請注意,這個設計可以看作是想法1和2的概括:k1和k2可以根據需要進行調整,以探索信任誰的整個權衡空間。
這些方法的一般好處
可信中立,并且不引入外部依賴:它只會信任參與者,而它已經被給予了更高程度的信任;
實現了用戶能夠同時質押和持有CDP的收益;
避免不必要地促進現有流動性質押衍生品的網絡效應。相反,該計劃維持的穩定幣是流動質押衍生品。
比較想法1、想法2以及想法3
根據實施簡單程度進行排名,想法1>想法2>想法3
根據防止壞預言機進行排名,想法3>想法2>想法1
根據對不良CDP持有者的保護進行排名,想法3>想法2>想法1
根據避免預言機害怕運行它進行排名,想法2>想法3>想法1
總而言之,想法1似乎在短期內更易于實施,并且將成為“同時賺取其他質押收益”空間的有趣補充。但是想法2和想法3似乎更無需信任,也更持久,對預言機的信任度較低,并且更好地維護了staking去中心化,因此從長遠來看,它們似乎更吸引我。
頭條 ▌本周NFT銷售額增長18.43%,以太坊鏈上NFT以2.385億美元銷售額居首位2月12日消息,本周NFT銷售額增長18.43%.
1900/1/1 0:00:00想要厘清Web3全球監管合規就必然繞不開中國,首先不論我國監管對于虛擬貨幣“一刀切”式的禁止態度,考慮到多數Web3項目方屬地屬人都是@PRC,以及Web3項目的大部分用戶是@PRC.
1900/1/1 0:00:00本文是@Jesse_meta基于李國權教授在新躍社科大學DBAC論壇主題演講的文字實錄。 互聯網的演變促進了新的平臺創造,每個平臺都有自己的特征.
1900/1/1 0:00:00CoolCats將在今年啟動品牌重塑,對于陷入低迷泥潭的CoolCats來說,能否借助市場反彈的“東風”再次雄起呢?下面.
1900/1/1 0:00:00Messari報告對以太坊的2022年進行了概述,同時對2023年的轉機進行了預測,在新的一年為區塊鏈原住民的決策提供參考.
1900/1/1 0:00:00因對新興技術和資產的投資,ARKInvestment及其創始人CatherineWood的觀點和投資行為在市場上一向引人矚目.
1900/1/1 0:00:00