簡單總結
移除 SELFDESTRUCT 的 gas 返還,減少 SSTORE 的 gas 返還到一個較低水平,使得返還的量仍然相當大,但不會像現在高到可以被利用的地步。
原因
最初引入 SSTORE 和 SELFDESTRUCT 的 gas 返還是為了鼓勵應用開發者寫應用時能踐行“良好的狀態衛生”,清理不再需要的存儲槽與合約。但是,結果證明這項技術帶來的效率遠低于預期,gas 返還還帶來多項未預料到的有害后果:
gas 返還導致 GASToken 的出現。GasToken 有益于把 gas 空間從低費用階段轉移到高費用階段,但它也對網絡有壞處,尤其是加劇狀態大小膨脹 (由于狀態槽被有效用作“電池”來積攢 gas) 和低效地堵塞區塊鏈 gas 使用。
gas 返還加劇區塊大小變化。一個區塊實際消耗的 gas 量的理論最大值是接近名義上的 gas limit (因為返還會增加同一區塊里后面交易的 gas 空間,盡管返還的 gas 最多是該筆交易消耗 gas 的50%)。這一點不是致命的,但影響還是相當不好,特別是返還可以被用來維持比 EIP-1559 使用兩倍 gas limit 更長的峰期。
媒體:EIP1559可以銷毀300萬ETH:6月19日消息,藍狐筆記在微博發文稱,如果按照過去365天數據,EIP1559可以銷毀高達300萬ETH。[2021/6/19 23:49:27]
規范
參數
對于存在 block.number >= FORK_BLOCK 的區塊,需要作下列變更。
1. 移除 SELFDESTRUCT 的返還
2. 用 SSTORE_RESET_GAS + ACCESS_LIST_STORAGE_KEY_COST (EIP-2929 + EIP-2930 合力下的 4,800 gas) 取代 SSTORE_CLEARS_SCHEDULE ( EIP-2200 定義的)
3. 把交易后的最大返還 gas 量減少到 gas_used // NEW_MAX_REFUND_QUOTIENT
原理闡釋
EIP-2200 引入了返還的三種情況:
以太坊基金會JavaScript團隊將發布EIP-1559 / 倫敦就緒版本:5月20日消息,以太坊基金會JavaScript團隊今日凌晨發推表示,如果沒有最新的錯誤或規范更改,將在下周內發布EIP-1559 / 倫敦就緒版本的EthereumJS Block,Tx,VM和Common庫。[2021/5/20 22:23:56]
1. 如果原始值是非零,新值是零,添加 SSTORE_CLEARS_SCHEDULE (當前是15,000)的 gas 量到返還計算器
2. 如果原始值是零,當前值是非零,新值為零,添加 SSTORE_SET_GAS - SLOAD_GAS (當前是 19,900) 的 gas 量到返還計算器
3. 如果原始值是非零,當前值是一個不一樣的非零值,新值等于原始值,添加 SSTORE_RESET_GAS - SLOAD_GAS (當前是 4,900)的 gas 到返還計算器
在這三種情況里,只有 (1) 會啟動 gastoken 且允許區塊在執行上消耗超過區塊 gas limit 的 gas。(2) 不具有這個特點,因為要獲得 19,900 的 gas 返還,同一個存儲槽必須在之前從零改為非零,這需要消耗 20,000 gas。無法從一個存儲槽獲得 gas 并用它來編輯另一個存儲槽,意味著它不能被用作 gas token。另外,獲得返還需要恢復存儲的寫入和擴展,使得返還的 gas 不會增加客戶端處理區塊的工作量。(3) 是相似的:只有當同一個存儲槽在之前已經消耗了 5,000 gas 的時候才能獲得 4,900 gas 返還。
以太坊核心開發者會議進展:倫敦升級仍然會實施EIP-1559,輔助EIP仍在決策中:以太坊核心開發者于3月19日召開會議,討論了與倫敦升級相關的EIP。以太坊牧貓人項目管理人員、以太坊生態系統貢獻者Edson Ayllon更新會議討論結果表示,7月份的倫敦升級仍然會實施EIP-1559,輔助EIP仍在決策中。[2021/3/21 19:04:47]
此 EIP 處理第一種情況。我們可以通過使用一個相似的“配對” 變元來確定在何種條件下 gastoken 是不可用的 (例如,你不可以在一個存儲槽里獲得比你的輸入更多的 gas) ,將每一筆返還映射到同一筆交易的同一個存儲槽的前一筆支出。當一個存儲槽的原始值是非零值,如果它被改為 0 時,有兩個可能性:
1. 這可能是存儲槽第一次被設置為零。在這種情況下,我們可以把這個時間與 SSTORE_RESET_GAS + ACCESS_LIST_STORAGE_KEY_COST 第一次讀取和編輯存儲槽的最小開銷進行配對。
2. 這可能是存儲槽第二次被設置為零或被設置為零后的情況。在這種情況下,我們可以把這個事件與最近一次數值從零改為其他值,且 SSTORE_CLEARS_SCHEDULE 的 gas 從返還中被移除的變元進行配對。
以太坊開發者反駁EIP-1559還有幾周時間推出的傳聞:去中心化組織PieDAO市場負責人William Brealey今日在推特表示,EIP-1559可能最終導致通貨緊縮的ETH模型,現在只剩下幾周時間了。對此,以太坊開發者Tim Beiko回復稱,我從沒提過EIP-1559還有“幾周”推出。說清楚一點,不是這樣的。[2021/1/14 16:09:16]
對于第二次或之后的情況,SSTORE_CLEARS_SCHEDULE ?的值是什么并不重要,因為那個 gas 大小的返還是與相同大小的清除返還相匹配的。這就只剩下第一種情況了。為了確保存儲槽上消耗的 gas 總量為正,我們需要 SSTORE_CLEARS_SCHEDULE <= SSTORE_RESET_GAS + ACCESS_LIST_STORAGE_KEY_COST。因此,此 EIP 只把 SSTORE_CLEARS_SCHEDULE 減少到那兩項開銷的總和。
此 EIP 的另一個原因是,清除還未被讀取的數據 (通常是“無用”數據) 是不會有凈返還的,但清除被讀取過的數據 (通常是“有用”數據) 還繼續會有凈返還。
向后兼容性
返還當前僅在交易執行后應用,因此無法對執行中任何特定可用的調用框架造成影響。因此,清除它們將不會破壞任何代碼的執行,盡管它將使得一些應用變得經濟上不可行。
觀點:NEAR協議搶先實施EIP-1559 但效果可能適得其反:開放性網絡平臺NEAR Protocol (NEAR)已于近日迎來主網。該網絡目標是與以太坊競爭,爭奪智能合約開發者。與此同時,NEAR也采用了EIP-1559提案,而根據加密貨幣研究員Hasu的分析表明,NEAR所采用的設計可能存在嚴重的錯誤,這會導致市場有強烈的動機來規避其目前的機制,從而產生適得其反的效果。EIP-1559大大改變了當前以太坊的費用模型,其帶來了很多實質性的好處,其中之一是使用戶更容易預測費用,幾乎完全消除了出價過高的情況。乍一看,NEAR完全是復制了以太坊的EIP-1559。
例如,以太坊中每個區塊的最大費用變化為12.5%,區塊時間大約為12-13秒,而在NEAR中,每秒區塊時間的最大變化為1%。但再細看,NEAR所實施的EIP-1559有兩個大的不同:1.用戶無法在協議中打賞(激勵)區塊生產者;2.它向智能合約支付基礎費用的30%。綜合考慮,NEAR的解決方案不僅不能改善結果,反而會使結果變得更糟。通過禁止向區塊生產者支付費用,NEAR的解決方案會鼓勵形成一個交易優先權的“黑市”。通過向應用開發者增加一個強制租金,其只會強迫應用向用戶退款,甚至可能在此過程中破壞它的EIP-1559。(Deribit Insights)[2020/10/20]
Gas token 會變得沒有價值。DeFi 套利機器人今天經常不是使用已有的 gas token 方案就是一個定制的,以減少鏈上的開銷,這得益于重寫它們的代碼以清除對那些不再有用的 gas 存儲機制的調用。
然而,完全保留在 new = original = 0 != current ?里的返還,以及保留在其他 nonzero -> zero 情況里的一些返還能確保一些接收 (和值得) 更好的 gas 開銷待遇的關鍵用例能持續獲益。例如,zero -> nonzero -> zero 的存儲設置模式保持只需消耗大約 100 gas。這些模式包括兩個重要實例:
? 反重入鎖 (通常在一個子調用開始前從 0 變為 1,當子調用結束時再變回 0)
? ERC20 授權與發送 (當代幣轉移得到授權,"授權值"會從零變成非零,然后在代幣轉移過程中恢復到零)
對清除存儲激勵的影響
對之前關于移除返還的 EIP (EIP-3298 和 EIP-3403) 的批評是這些 EIP 完全消除了把一個值設為零的激勵,相當于鼓勵用戶不要完全清除一個存儲槽 (即使他們想這么做),哪怕他們想再次使用該存儲槽的幾率是最小的。
舉一個例子,如果你有一個單位的 ERC20 代幣,且你要送出或賣出你的所有余額,你可以只給出 0.999999 個單位,把剩余的留下。如果你想在未來重新放入更多該種代幣到同一個賬戶,你僅需要為 SSTORE 支付 5,000 gas (2,100用于讀取 + 2,900用于非零變為非零的設置) 而不是22,100 (20,000 用于零到非零值的設置)。今天,這部分的 gas 會被清除存儲獲得的 15,000 gas 返還所抵消,因此,如果你有超過 15000 / 17100 = 87.7% 的把握會再使用這個存儲槽,你才會有動力這樣做;按照 EIP 3298 或 EIP 3403 的設定,抵消激勵這部分是不存在的,因此,如果你再次使用該存儲槽的可能性是大于 0 的,設為非零值會更好。
對于剩下的 4,800 gas 返還,如果你覺得再次使用某個存儲槽的幾率大于 4800 / 17100 = 28.1% ,你才有保持該存儲槽為非零的動力。這并不是完美的,但它可能高于一般人在清除了他們的全部余額后在同一個地址重新獲得同一代幣的幾率。
gas 返還的上限是所消耗 gas 量的1/5,這意味著這種返還僅夠用于增加處理一個區塊所需的存儲寫入操作量最多為25%,限制了利用這個機制進行以存儲寫入為重點的拒絕服務攻擊。
測試用例
EIP-2929 的 gas 開銷
注意,“熱”和“冷”存儲槽之間是有區別的。這個表展示了 EIP-2929 下的值,假定所有變動過的存儲槽都已經是“熱”狀態 (區別是一次性消耗 2,100 gas)。
減少了的返還后
如果通過把 SSTORE_CLEARS_SCHEDULE 從 15,000 變為 4,800 (以及去除 selfdestruct 的返還) ,減少了部分的返還,下面是是一個對比表。
安全考慮
返還對于事務執行時不可見的,因此這不會對事務執行邏輯產生任何影響。
如果我們不計算后來重置回零的零到非零的 SSTORE,在一個區塊里執行的最大 gas 消耗量受到 gas limit 的限制。不計算這些事可以的,因為如果這樣的 SSTORE 被重置了,存儲不會被擴展,客戶端實際上不需要調整默克爾樹;gas 消耗是可以返還的,但客戶端對這些操作碼的處理通常也會被取消。如果 new_value = original_value,客戶端應該保證不會進行存儲寫入;這是自以太坊創世以來的一次謹慎優化,但它現在變得更重要了。
來源 |?eips.ethereum.org
作者 | Vitalik Buterin & Martin Swende
本期摘要:目前全球比特幣挖礦算力正在經歷一場變革,以馬斯克為首的北美礦企正在爭奪比特幣在全球范圍內的挖礦記賬權。近日,新一輪監管風暴襲來,加密貨幣行業迎來至暗時刻.
1900/1/1 0:00:00美國財政部將收緊對加密貨幣市場和交易的稅務監管,表示將要求單筆等值1萬美元以上的加密貨幣交易必須上報至國稅局,這被視為拜登政府加強稅收合規性提案中的重要一環.
1900/1/1 0:00:00特斯拉 CEO 埃隆·馬斯克今早發推稱,特斯拉暫停使用比特幣支付,正考慮使用能源消耗更低的加密貨幣.
1900/1/1 0:00:00感謝 Justin Drake 激發了本文中的許多想法,并閱讀了本文的草稿。多年來,我一直認為比特幣有著我們一生中最不對稱的風險回報。它獨特的屬性使其成為世界上最好的價值儲藏方式.
1900/1/1 0:00:00頭條 ▌V神:若比特幣技術一成不變將有被淘汰的巨大風險以太坊聯合創始人V神表示,如果比特幣的技術一成不變,那么它就有被淘汰的巨大風險.
1900/1/1 0:00:00北京時間 5 月 20 日凌晨 3:25,波卡創始人 Gavin Wood 博士在波卡社區大會「Polkadot Decoded」上和大家在線聊天.
1900/1/1 0:00:00