原文鏈接:
https://hackmd.io/@HWeNw8hNRimMm2m2GH56Cw/selfdestruct
作者:Vitalik
翻譯&校對:戡亂&?阿劍
原標題:《Vitalik:務實地取消SELFDESTRUCT》
本文將介紹?SELFDESTRUCT?對以太坊生態弊大于利的一些理由,正是因為這些理由,我們應該以某種方式移除?SELFDESTRUCT?。鑒于有些合約已經使用了?SELFDESTRUCT?,我提出了一些只需要付出最小的代價就能消除?SELFDESTRUCT?危害的方法。
一段歷史:?SELFDESTRUCT?已經沒有必要了
SELFDESTRUCT?早在以太坊的極早期便已引入。實際上,它在2013年12月發布的以太坊協議“規范”預告中就已經出現了。那時候,幾乎沒人仔細考慮過狀態規模管理的長遠問題。但是,有個想法我大概還有些印象,為了防止沒用的垃圾狀態不受限制地膨脹,我們需要讓任何創建出來的對象都可以被銷毀。具體的思路是,當外部賬戶的余額為零時觸發自毀,而合約在沒用后可以調用代碼里的一行自毀語句觸發自毀。還有一個gas退款機制用于激勵大家銷毀沒用的狀態。
ZK-EVM Kakarot完成pre-seed輪融資,Vitalik、StarkWare等參投:6月2日消息,zkEVM 開發平臺 Kakarot 完成Pre-Seed 輪融資,StarkWare、LambdaClass 和天使投資人 Vitalik、Nicolas Bacca、Rand Hindi 等參投。
Kakarot zkEVM 是 Cairo 實施的 EVM,利用 STARK 證明來證明交易和區塊,確保透明度和安全性。據介紹,Kakarot zkEVM 發展分為三個階段:1、作為 EVM 存在于 Starknet L2 上;2、和 Starknet 定序器 Madara 合力創建第 3 層 zkEVM;3、Kakarot 和 Madara 組合啟用類型 1 zkEVM。[2023/6/2 11:54:47]
2014年1月,AndrewMiller指出了一個非常嚴重的問題:在2013年12月的規范設計中,EOA很容易被重放攻擊。如果我有100個幣,我通過一筆交易發給你10個幣,你可以簡單地在鏈上重放這筆交易十次,從而轉走我的全部余額。這個問題很快就修復了,為此我們增加了nonce字段。然而,nonce字段的引入讓刪除EOA的愿望徹底破滅了:nonce是不能被重置為零的一旦該賬戶被再次使用,nonce又要從零開始,就會被重放攻擊)。
Vitalik:可以對ENS域名年費進行投標,增加ENS DAO收入:金色財經消息,以太坊創始人Vitalik Buterin(V神)在其個人網站發表文章,討論ENS域名是否應該引入基于需求的注冊常態費用。V神表示,如今的ENS域名注冊常態費用非常便宜,由此引發了產權強度和公平性之間的權衡問題,而且ENS二級市場的高度投機性也無法確保市場的有效性。因此,V神提出可考慮為ENS域名引入基于需求的維護費用,對于ENS域名年費進行投標,從而以市場化方式對高需求的ENS域名進行定價。這一方法可提高域名搶注成本,同時可為ENS DAO增加收入。[2022/9/9 13:19:05]
2015年,有人提出了一些方案試圖繞過這個問題,使余額為零的賬戶可以被安全地刪除。然而,當時很明顯,幾乎沒有合約開發者真正使用自毀功能:因為要弄清楚什么時候自毀太難了,而獎勵也太少了。
到2019-21年,事情已經變得很明顯了,我們需要的是其他形式的狀態管理,比如租金機制或者是長期未動的狀態“到期作廢””)。而如果我們采用這兩個方案中的任何一個,只要它是有效的,那么合約是否有能力主動刪除自己就一點兒也不重要了。
聲音 | Vitalik:被捕以太坊科學家 Virgil Griffith 未給朝方提供任何實質幫助:以太坊聯合創始人 Vitalik Buterin 發表長文,澄清以太坊基金會科學家 Virgil Griffith 訪問朝鮮是個人行為,未給朝鮮政府提供任何實質性的幫助,并在準備請愿書要求釋放 Virgil Griffith。Buterin 表示,Virgil Griffith 是我的好友,訪問朝鮮是他的個人行為,以太坊基金會并未提供任何形式的支持。對地緣的開放態度是一種美德,而 Virgil Griffith 的這個優點在之前就已經體現出來了,比如幫助增進了與以太經典、Hyperledger 之間的關系。我認為 Virgil 并未給朝鮮政府提供任何實質性的幫助,他根據有關開源軟件的公開信息發表了演講,這并不是什么高深的黑客技術輔導。我希望美國能專注到真正有害的事情上,而不是抓捕發表公開信息演講的程序員。此前,紐約南區檢察官辦公室和聯邦調查局宣布,已逮捕以太坊基金會研究科學家 Virgil Griffith,指控他違反美國制裁法案,前往朝鮮參加區塊鏈大會,發表演講并提供建議,幫助朝鮮利用加密貨幣和區塊鏈技術逃避制裁。[2019/12/2]
SELFDESTRUCT?是唯一一個破壞重要恒常性質的操作碼
動態 | OKEx將于14點暫停VITE的充提服務:據官方消息,為支持VITE主網切換,OKEx于2019年09月23日14:00(HKT)暫停VITE的充提,待切換完成后開放。[2019/9/23]
SELFDESTRUCT?不僅沒什么用,還會產生危害。它破壞了一些重要的恒常性質,這些性質本來是很好的,但是僅僅因為這一個操作碼,我們就失去了這些性質。
SELFDESTRUCT?是唯一一個能在單個區塊中變更無限個狀態對象的操作碼
其他所有的操作碼都只能操作賬戶中的單個值或者存儲樹上的單個key,所以它們能變更多少固定大小的對象是有限制的。但是,SELFDESTRUCT可以刪除整棵存儲樹。
在目前的狀態樹結構中,這是可以容忍的。但是,考慮一種特殊的情況:當調用SELFDESTRUCT刪除許多存儲插槽后,下一個事務又在同一個地址上創建一個合約并訪問同一些存儲槽。為了處理這種情況,需要額外設計復雜的緩存機制。此外,SELFDESTRUCT還阻礙了我們變更狀態存儲格式。
Vitalik Buterin與泰國證監會進行討論:Omise創始人發推文稱,以太坊網絡創始人Vitalik Buterin(V神)與泰國證監會進行了“卓有成效”的討論。此外據CCN,V神與泰國證監會的討論涉及自己的平臺和OmiseGo代幣。[2018/2/23]
以SELFDESTRUCT會阻礙的兩類狀態存儲格式為例:
任意的“單層”方案存儲槽可以存儲在一些地址“附近”,而不是存儲在合約里的方案有用,比如在ERC20轉賬或Uniswap交易的場景下)請注意,這不是在空想,從根本上變更狀態存儲格式的討論已經開始了,如果狀態存儲的數據結構能夠接近單一的的鍵/值存儲結構,并且單個區塊中可以變更的狀態數量有一個較低的上限,那將大大擴展我們的選擇空間。
SELFDESTRUCT?是唯一一個會導致合約代碼變動的操作碼
如果在一個特定的地址上存儲了一段代碼,那么這段代碼就會永遠保留在鏈上。這樣的恒常性質是有用的,因為在構建應用時不需要擔心這些代碼會出現變動。
賬戶抽象化非常依賴該恒常性質用以支持庫調用。因為代碼存在變動的可能,還會導致應用的安全性變得復雜很多:2017年Parity的多簽錢包就曾因為其引用的庫代碼合約被偶然刪除而徹底癱瘓。
而唯一破壞代碼不變性的操作碼就是?SELFDESTRUCT?。
SELFDESTRUCT?是唯一一個可以未經賬戶同意就能修改賬戶余額的操作碼
SELFDESTRUCT?有一個內置的“轉賬”的功能,其并不走正常的轉賬流程,因而可以繞過避免合約地址接收Ether的守護功能,以及對轉賬事件的日志記錄。這為智能合約錢包埋下了隱患,讓一些潛在有用的技巧沒法使用,加重了開發者和審計者的心智負擔。
SELFDESTRUCT?當前的用例
如今?SELFDESTRUCT?有兩類重要的應用:
GasToken:當gas價格低時通過創建合約用掉gas,當gas價格高時通過調用?SELFDESTRUCT?獲得gas退款。利用SELFDESTRUCT實現代碼的動態變更:這可用于dApp或DAO及其他類似用例的“升級”。可以被安全地銷毀。GasToken的開發者已經發出了警告“雖然對以太坊網絡的變更會導致GasToken無法使用、不可贖回、不能互換以及/或毫無價值,但是GasToken的開發者極可能會擁護該變更”。移除selfdestruct退款只會導致有些操作的費用變得更貴。
從長遠來看,是沒必要的,還有其他一些被廣泛使用的范式可用于支持動態代碼變更。最容易實現的是?DELEGATECALL?轉發器,合約從一個存儲插槽中獲取一個代碼地址,然后調用對應地址的代碼;修改這個存儲插槽就能更新代碼。不過,從短期來看,有少數應用已經使用了。
提案1:完全移除?SELFDESTRUCT
從某個區塊開始,完全停用?SELFDESTRUCT?。在這個及之后的區塊里,如果EVM在執行時遇到?0xff?操作碼,只要拋出異常直接退出即可,就像EVM執行時遇到不存在的操作碼一樣。
在完全停用前,為了警示用戶避免使用?SELFDESTRUCT?,我們可以漸進式地增加其gas費用:如果?block.number+10**6>=FLAG_BLOCK?,則?SELFDESTRUCT?的gas費用增加到?10**10//(FLAG_BLOCK-block.number)?。
提案2:閹割?SELFDESTRUCT
我們也可以保留這個操作碼,但是改變其行為,一方面消除其對狀態樹的破壞,另一方面增加一個新特性,讓合約可以標識為不可自毀,從而確保代碼不可變。
暫時提議新增的行為包括:
當一個合約調用?SELFDESTRUCT?時,并不會刪除合約賬戶,而是清空代碼,并且將nonce值增加?2**40?。沒有退款。通過調用將合約中的ETH轉移到目標地址。可以在代碼為空的地址上創建合約。在合約里調用?SSTORE?和?SLOAD?操作地址?A?時,實際操作的是?A_offset=(A+A.nonce//2**40)%2**160?的存儲樹。注意,從EIP-2929的角度來看,?A_offset?需要“可達”。如果該賬戶不在可達賬戶集合中,則需要額外支付2600gas以加入可達集合。
另一種選擇是調整將storagekey轉換為treekey的哈希函數,用?sha3(storage_key+contract_nonce//2**40)?代替?sha3(storage_key)?。需要注意的是,無論如何都需要做一些類似的調整,以方便合約級別的無狀態key空間擴展。
合約可以在代碼中指定?0xA8?作為第一個字節,EVM會將其識別為無操作,但使用它來開啟一個標志,在執行過程中完全禁用?SELFDESTRUCT?的功能。
這兩種解決方案也可以結合起來:當前立即閹割,將來完全移除。或者,這個操作碼也可以永遠不被完全移除,但是最終只保留一個功能,即向目標地址發送合約當前的全部ETH余額,我們可以將這個操作碼重命名為?CLEAR?。
Tags:ELFDESTUCTSTRSelfSell CoinStay In Destiny WorldFitness InstructorDogestribute
本文來源:中金網 最近,一首NFT詩歌以7.5萬美元的價格售出,這可能標志著世界各地詩人進入一個新時代的開始.
1900/1/1 0:00:00允許用戶實時交易體育卡部分權益的應用程序Dibbs今天宣布獲得280萬美元種子輪融資,CourtsideVentures領投.
1900/1/1 0:00:00本文來源:匯通網 周四亞市盤初,比特幣震蕩走弱,最低觸及51705美元/枚,為3月10日以來新低,盡管特斯拉CEO、世界首富馬斯克周三稱可以用比特幣購買特斯拉,曾一般幫助比特幣上漲近5%.
1900/1/1 0:00:00由巴比特、幣印、鏈節點主辦,吳說區塊鏈協辦的“第二屆全球區塊鏈算力大會”將在4月17日成都召開.
1900/1/1 0:00:00公鏈項目CasperLabs在美國加利福尼亞州北部地區法院被以太坊開發團隊核心成員VladZamfir提起民事訴訟,VladZamfir指控CasperLabs存在虛假指定和不正當競爭行為.
1900/1/1 0:00:003月11日,加密貨幣貸款初創公司BlockFi已經確認完成了一輪足以轟動整個加密貨幣領域的D輪融資,該公司的市值達到30億美元.
1900/1/1 0:00:00