比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > 世界幣 > Info

引介 | 值得考慮刪除的 EVM 功能_比特幣

Author:

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

為什么「合并」是我們刪掉一些東西的最后機會?

原文標題:《引介|值得考慮刪除的EVM功能》撰文:VitalikButerin翻譯&校對:戡亂&阿劍來源:以太坊愛好者

到2020年,我們對如何設計智能合約和區塊鏈協議的理解已經遠超2013-15年。因此,如果我們在2021年從頭開始搭建以太坊,我們就不會引入很多早期添加的功能了。然而從一條正在運行的、擁有活躍生態的區塊鏈中移除功能,遠比在一個新系統中不添加它們要難得多。

有些「缺陷功能」是無害的。有些可以安全而緩慢地移除或改進。還有些已經深深地嵌入到了太多的應用中,以至于根本改不動。另一方面,也有一些功能要么已經被移除,要么已經被改進,要么即將被移除。

但是還有一些中間情況:有些功能過于復雜,對生態的發展造成了中等程度的傷害,我們可以移除它們,但是需要冒一點風險。如果我們移除這些功能,可能會有少量的應用被破壞。但是不移除的話,它們會繼續拖累生態。

就跟別的「長痛短痛」抉擇情形一樣,人們很容易低估短痛帶來的長期收益。特別是在我們的情況中,由于解決復雜情況的代碼已經寫好了,所以感覺保留它們不需要付出任何成本。但實際上有兩個重要的成本要考慮:

為協議開發新實現的成本若要改變功能B,但B會跟沒必要存在的復雜功能A交互,可能會產生「交互bug」以重新設計狀態樹為例:若以太坊的狀態越是遵循一些簡單的恒常性質,那么替換更高效的雙層十六進制Patricia樹就會越容易。然而在現實情況中,因為SELFDESTRUCT操作碼可以在單筆事務中不受限制地刪除大量存儲插槽,這給改良狀態樹帶來了很大的困難。另一個例子是2300gas津貼機制使gas重新定價變得更復雜。

電影大空頭原型買入美股看跌期權:8月15日消息,周一公布的證券資料顯示,電影《大空頭》原型基金經理Michael Burry在第二季末持有對標普500指數和納斯達克100指數的看跌期權。Burry的基金Scion Asset Management以名義價值7.39億美元買入了對景順QQQ信托ETF的看跌期權,該ETF追蹤的是納斯達克100指數;另外以名義價值為8.86億美元買入了對SPDR標準普爾500指數ETF的看跌期權。[2023/8/15 21:23:17]

「合并」可能是我們扯掉一些痛苦繃帶的最后機會,這篇文章就是解釋這樣做的理由。

合并是進行最后一輪不兼容更新的一個非常自然的時間節點,有以下幾個理由:

合并后構建的客戶端很可能不處理PoW鏈,而是專門驗證PoS信標鏈。因此,如果在合并時或合并前去除不必要的復雜功能,客戶端最容易從中受益,因為它們根本不需要實現這些功能。(從技術上講,即使是在合并前建立的客戶端也可以設計成只處理最近1-2個硬分叉之后的數據,但是「PoS信標鏈作為一條獨立的鏈而不需要處理PoW鏈上過于久遠的數據」的說法更容易讓人接受)以太坊已經發生了很大的改變,社區對這將是「以太坊的一次重大升級」達成了共識。特別是「在分片和合并完成之前會出現快速的進化,但合并之后就會趨于穩定」的觀點也得到了社區的一致認可。必要的向后不兼容的改變已經發生了。這篇文章將介紹一些可以考慮刪除的功能的例子。

Aptos一周內的交易量突破150萬筆:金色財經報道,Aptos在7月5日分享了關于其網絡交易活動的一個更新,在過去一周內交易量超越了150萬筆,每天最低記錄的交易量徘徊在17.8萬至17.9萬之間,有幾天的交易量超過20萬,最高峰達到23萬。[2023/7/6 22:21:36]

功能列表

2300gas津貼

這是什么?當一個合約調用另一個合約時,被調用的合約會得到2300gas用于執行非常有限的操作*為何引入?最初是為了讓智能合約錢包在收錢時能自動生成一條日志。后來還被用于實現「守衛」功能以防止合約收到ETH。*有何問題?*

*由于它設置的是固定的gas數量,因此只要gas價格可以調整,人們就沒有辦法確定這些gas到底能支持什么類型的計算。*它并沒有很好地滿足設計意圖,有兩個原因。首先,很多用戶仍然在使用外部賬戶,而外部賬戶并不會生成日志。其次,`SELFDESTRUCT`操作碼繞過了津貼機制。從長遠來看,通過賬戶抽象化,外部賬戶的作用將被弱化,并且`SELFDESTRUCT`操作碼可能將被移除,但是在這兩件事完成之前,它都只是一個不充分的解決方式。

*如何移除?**有兩種可能——要么將2300改成0)要么不限制數量

*移除有何副作用?**

跨鏈流動性協議Symbiosis上線zksync主網:4月10日消息,跨鏈流動性協議Symbiosis已上線zksync主網。此前消息,Symbiosis已將其治理代幣SIS部署在BNB鏈上,相關代幣用例也將在BNB上實現。[2023/4/10 13:54:37]

*如果我們移除子執行,那么這將需要在合約調用中添加一個笨拙的二分處置,即0gas解釋為0,任何其他數字解釋為「發送所有的gas」。它還會破壞反接收守衛功能和日志記錄。*如果我們在執行中允許子執行獲得全部的gas,那么通過調用發送ETH會變成一個需要信任的操作,惡意合約可能會借此擾亂一些應用。不過,Solidity文檔已經建議大家用withdrawal模式代替`transfer`,這樣就不會有任何風險了。

*如何消除顧慮?**

*讓所有的ETH轉賬,無論是來自調用還是`SELFDESTRUCT`,都生成一條日志,這樣錢包就不需要生成日志了*增加一條規則,對于提供0gas的調用,可看做是一個「可以生成日志的`STATICCALL`」。這樣就復制了在gas津貼的執行環境里實際做到的功能。

剩余Gas額度可見性

*這是什么?**GAS操作碼允許合約查看當前的執行環境中還剩多少gas可用。CALL允許調用者為子上下文提供固定數量的gas。

英國法官裁定Craig Wright在比特幣侵權案中敗訴:金色財經報道,英國法官本周裁定,比特幣區塊鏈的文件格式不受版權保護,裁定自稱為比特幣發明家的“澳本聰”Craig Wright敗訴。Wright 聲稱,他以化名中本聰 (Satoshi Nakomoto) 撰寫了 2008 年比特幣白皮書,并且有權利阻止比特幣和從中分叉出來的系統比特幣現金的運行,因為它們侵犯了他的知識產權。James Mellor 法官表示,比特幣的文件格式——頭部序列和交易列表共同構成一個區塊——不能被視為版權作品,因為 Wright 無法展示它們是如何被首次記錄的,關于 2008 年白皮書版權的索賠以及 Wright 是否真的是作者,將是以后裁決的主題。[2023/2/9 11:56:14]

*為何引入?**反對讓CALL將父環境中剩余的全部gas都交給子環境的最主要原因是避免「不可信任的調用」:即發送者不信任接受者的調用。一個簡單的例子是發送ETH給參與方的金融機制。另一個例子是M-of-N外部價格信息的輸入機制,通過調用一些合約,在獲得所有合約回復后取中位數作為輸出。

*有何問題?**

*其實絕大多數不可信任調用的用例都可以通過其他方式繞過去。對于轉賬,Solidity文檔已經建議大家用withdrawal模式代替`transfer`。M-of-N外部價格信息的輸入機制可以很容易地通過為每一個外部輸入單獨創建一筆交易實現。*這會讓gas重定價變得很難做,當操作碼的gas消耗量發生變化,固定gas數量的調用可能會不夠用。

《華爾街日報》:FTX或免受美國法律制裁:11月14日消息,據《華爾街日報》披露,FTX的離岸地位可能會讓該公司免受美國法律的制裁。曼哈頓美國檢察官辦公室正在調查FTX破產事件,但檢察官面臨的一項挑戰是他們是否對位于巴哈馬的FTX擁有管轄權。

律師警告說,如果所有行為都發生在海外并且與美國沒有直接聯系,美國執法機構可能沒有強有力的管轄權要求。不過,SBF曾前往美國,包括會見美國立法者和監管機構,而且FTX US也是 FTX上周五提交破產申請中的一部分。

截至目前,美國曼哈頓檢察官辦公室發言人拒絕對此事置評、FTX發言人和FTX US總法律顧問Ryne Miller也沒有回應置評請求。[2022/11/14 13:03:39]

*如何移除?**

*讓`CALL`可以自動將父環境的所有可用gas額度都交給子環境。`GAS`操作碼只需簡單地返回交易的初始gas數量。

*移除有何副作用?**

*我們知道的「不可信任調用的合法用例」主要是第三方贊助調用。第三方發布一筆事務,事務中包含你希望的調用,當調用發生后,可以自動地向你扣費。這對用戶沒有任何ETH的智能合約錢包、混幣者的隱私保護以及其他一些用例都很有用。我們需要一個有限gas數量的調用以確保最終的支付語句真正被調用,而不會因為gas不足而被回退。

*如何消除顧慮?**

*礦工可以直接充當中介,如果交易最終沒有付錢給他們,他們就可以直接丟棄事務。參見PhilDaian的工作,他創建了一個由第三方機器人構成的生態,礦工可以自動產生「安全」的批量交易。*在協議內增加一個明確的「第三方付款人」的交易類型。參見EIP2711的例子。

還請注意,如果我們想要走得更遠,我們還需要調整63/64規則使得如果子調用失敗,父調用也徹底失敗。這可能會破壞更多的用例,但它將確保當gas消耗量發生變化時只會引起一種類型的行為變化。

SELFDESTRUCT

請看這篇文章。

Gas退款

*這是什么?**調用SELFDESTRUCT銷毀一個合約,或者將一個存儲槽設置為零,會退回15000-25000gas。退款會在事務執行的最后觸發,并抵扣發送者需要支付的費用。

*為何引入?**激勵應用開發者踐行「良好的狀態衛生」,清除不再需要的存儲插槽和合約。

*有何問題?**

*在實踐中,幾乎沒有人真正踐行良好的狀態衛生。這是因為激勵不夠高,不值得為此增加代碼的復雜度甚至帶來安全風險。*退費機制使得GasToken興起。GasToken有利于將低費率時期的gas調配到高費率時期使用,但是它不利于網絡,特別是加重了狀態規模的膨脹,并使低效的gas使用方法阻塞了區塊鏈。*它加劇了區塊大小的波動,使一個區塊實際上的理論最大gas消耗量幾乎是字面意義上區塊Gas上限的兩倍。這并不致命,但仍然不可取,特別是考慮到,在EIP-1559實施后,退款機制可以使網絡的實際Gas使用量長期維持高水平,阻礙1559機制的運行。

*如何移除?**只要把退款功能從協議中完全刪除。

*移除有何副作用?**

*我們可以相當確信,沒有任何應用會因此無法使用,因為退款只在執行結束后觸發,所以取消退款并不會改變任何執行的可用gas數量。*GasToken將變得毫無用處*在gas價格反常時,應用失去了降低費用的能力。好在這個功能目前最主要的用戶是defi的套利機器人,而套利機器人之間的gas價格競爭是一種零和活動,不過還不清楚移除這個它們用于競爭的武器會造成什么全局性的不利影響。

*如何消除顧慮?**

*Gastoken在他們的網站上已經警告過,未來的協議變更可能會使GasToken無效,所以用戶不會覺得驚訝*我們可以提前公布變更時間

其他候選功能

相比上面列舉的,我對移除以下功能會帶來多少價值缺乏信心,不過還是值得列出一個清單。

*RIPEMD160預編譯**:這是一個非標準的哈希函數,很少有項目使用。我們可以用鏈上部署的合約進行替換,對于真正需要高效驗證的項目,可以直接使用ZK-SNARK。

*動態跳轉**:使用變量作為跳轉目標會使代碼的分析和操作變得更加困難。去掉動態跳轉,只允許相對偏移的靜態跳轉,并且為子程序提供一些專用的指針方案可以解決這個問題。然而,這將是一個底層的改變,可能會破壞許多自定義的合約,所以其收益/成本比似乎不如這個列表中的其他項目。

*MODEXP預編譯**:對于大整數計算來說,這顯然是一個錯誤的「基本元件」,并且其gas消耗的計算方案也相當復雜。更好的選擇是:(i)用預編譯的ADD、MUL和MOD作為替代的基本原語,并用這些預編譯的指令編寫用于替代MODEXP的實現,或者(ii)將EVM384擴展到更多的長度

特別感謝MicahZoltu提出的一些建議

來源鏈接:hackmd.io

免責聲明:作為區塊鏈信息平臺,本站所發布文章僅代表作者個人觀點,與鏈聞ChainNews立場無關。文章內的信息、意見等均僅供參考,并非作為或被視為實際投資建議。

以太坊

以太坊

開放的分布式區塊鏈應用平臺,通過其專屬加密貨幣Ether以太幣提供去中心化的虛擬機,處理點對點合約。允許任何人建立和使用通過區塊鏈技術運行的去中心化應用,沒有任何欺詐、審查、第三方監管。以太坊的概念首次在2013至2014年由維塔利克·布特林VitalikButerin受比特幣啟發后提出,旨在共同構建一個更全球化、更自由、更可靠的互聯網。以太坊EthereumETHERC20ERC-20ERC20ERC721ERC-721以太坊2.0查看更多

Tags:GAS以太坊比特幣ETHgas幣前景以太坊幣在中國合法嗎比特幣美元最新價格XETH

世界幣
Dego Finance(DEGO)折扣買幣投入完成并開放交易_ODS

親愛的用戶: 幣安現已完成DegoFinance折扣買幣活動代幣分配的計算,DEGO代幣分配結果請至網頁申購頁面或APP客戶端查看.

1900/1/1 0:00:00
回調繼續多 比特幣BTC以太ETH今日最新走勢預測分析建議_區塊鏈

周彥靈:3.9回調繼續多比特幣BTC以太ETH今日最新走勢預測分析解套操作建議比特幣昨日在試探下方49500一線支撐后多頭開始漸漸回暖,價格在不斷向上試探回調的幅度也不是很大.

1900/1/1 0:00:00
關于Hotbit于2021年3月10日網站維護完成時間延遲的公告_USD

尊敬的用戶: ????由于本次維護涉及多鏈的幣種較多,故Hotbit本次網站維護完成時間將延遲至香港時間2021年03月10日20:00,維護期間期間所有服務不可用.

1900/1/1 0:00:00
他們都是怎么找到“騰飛幣”的?_MATIC

最近的幣圈不缺暴富者,也不缺“暴負者”,網傳段子“這個世界最遠的距離,不是生與死的距離,而是我在熊市,你在牛市.

1900/1/1 0:00:00
?超11,000個站點,Fleek計劃將其支持的以太坊應用和NFT項目遷移至DFINITY的互聯網計算機_FIN

Fleek支持的11,000個基于傳統和區塊鏈的網站將開始遷移至互聯網計算機拋棄傳統的區塊鏈解決方案,Fleek還將把自己的托管服務遷移至互聯網計算機.

1900/1/1 0:00:00
HomiEx(紅米交易所)將于3月9日14:00 上線ZKS

親愛的用戶: 紅米交易所將于3月9日14:00上線ZKS/USDT聚合交易對。由于為聚合交易幣對,所以暫時不開放充幣和提幣,充幣和提幣開放時間之后將會以公告另行通知.

1900/1/1 0:00:00
ads