📜 [專欄新文章] EIP2929, EIP2930 簡介
✍️ Anton Cheng
📥 歡迎投稿: https://medium.com/taipei-ethereum-meetup #徵技術分享文 #使用心得 #教學文 #medium
Opcode 加油Proposal,會不會讓以太坊變更貴呢
昨天在同事的推薦下發現了這個YouTube系列:Peep an EIP,也聽了Vitalik和Martin介紹EIP2929 + 2930的這一期。這兩個EIP都已經被列入下一次的硬分岔(Berlin Hardfork),所以我就來寫個學習筆記。先打個預防針,本人對EVM可以說是非常不熟,但也希望藉著這個機會逼自己學習,如果有錯誤的話也希望懂的更多的各路大神可以不吝賜教。
Berlin without hardfork. (By Claudio Schwarz on Unsplash)
EIP2929: Gas cost increases for state access opcodes
乍看之下這是一個極為恐怖的Proposal。在Gas已經高到爆炸的2021年,理論上不應該再通過這種「加油」類的方案。不過不用緊張,其實這個EIP真正改變的是第一次access的價格,如果一筆交易內要執行一樣Opcode動作輛次,那麼gas cost 將降低為100。
Increases gas cost for SLOAD, *CALL, BALANCE, EXT* and SELFEDESTRUCT when used for the first time in a transaction.
大家都知道,合約最終會被Compile成一堆Opcode,這些Opcode也是用來計算最終交易手續費的依據:理論上越是花時間的的Opcode,應該要收越高的手續費。
但是一直以來,state access opcode 太便宜都是一個已知的問題:在2016年的上海DOS攻擊中,其中幾個攻擊的手法就是透過惡意交易大量讀取帳戶資訊、大量的創造合約再銷毀,或是不斷用 EXTCODESIZE 來讀合約大小等等,讓Client必須花大量的IO資源處理交易(需要讀寫disk的動作特別慢),最終使Client程式Crash或是延長出塊時間。儘管大部分的弱點已經透過EIP150中大量提升gas cost獲得改善(還有其後的EIP1884),但在EIP2929中,也引用的這篇Paper的數據:現在replay所有以太坊上的交易,當時那些惡意交易中的worst case還會需要~80秒才能完成。這跟以太坊所定義的13秒出塊時間有著很大的差距,也代表這個潛在的攻擊是可行的。
透過增加這些opcode所需要的gas cost,可以降低每個區塊最大可能的讀取數。以下是偷抄Vitalik PPT 的數據:(12,500,000 為gas limit上限)
Pre-EIP 2929:
BALANCE spam: 12,500,000 / (400 cost + 320 address size + 50 boilerplate) = 16,233 accesses per block
CALL spam: 12,500,000 / (700 + 320 + 50) = 11,682 accesses per block
SLOAD spam: 12,500,000 gas / (800 + 25 boilerplate) = 15,151 accesses per block (but of a smaller tree)
Post-EIP 2929:
BALANCE spam: 12,500,000 / (2,600 + 320 + 50) = 4,280 accesses per block
CALL spam: 12,500,000 / (2,600 + 320 + 50) = 4,280 accesses per block
SLOAD spam: 12,500,000 / (2,100 + 25) = 5,882 accesses per block
說實在的這個數據的解釋也很廢話,就是把Opcode變得用貴,能Spam的數量越少。平均來說Gas cost 變高3倍,所以之前worst case的80秒執行時間可以被下降到大概 ~27秒。
SSTORE changes
在實作層,EVM會維繫一個本筆交易讀取過所有交易的 Set。每次有尚未讀取過的slot時,就會先收取一筆 CLOD_SLOAD_COST (2100) ,然後把這個slot加入這個set中,下次讀寫就會比較便宜。
對於已經讀取過的Slot,再次寫入的Opcode SSTORE 之gas cost為會降低為
5000 — COLD_SLOAD_COST (2100) = 2900
簡單的說,單純只操作一次 SSTORE 的總gas 會維持一樣在 5000 。但如果這個slot是之前有讀過的,則寫入的gas cost就會降低。近一步來說,一個 x += 100 ,其實會變得更便宜:
Pre-EIP-2929: 800 SLOAD + 5000 SSTORE = 5800
Post-EIP-2929: 2100 SLOAD + 2900 warm SSTORE = 5000
其他Side effects
這個改動除了降低了最高能夠spam的次數以外,也降低了以太坊想要做到stateless client,理論上最大的witness 大小。其實這裡的原理跟前面很類似,下圖的表格比較的是目前使用hexary tree所需要的witness大小:若12.5M的區塊全部塞滿該Opcode的witness,理論上最大會佔多少空間。在EIP2929之後由於gas cost增加,就壓縮了最大可能的witness size.
這裡單純只比較增加gas cost後,對於max witness size的影響。影片中有提到其他許多方法旨在減少Witness bytes,包括使用binary tree而不是hexary tree,以及用Code Merklization等等。這些其他方法也能夠降低最後的Max Witness size,但跟這個EIP沒有直接相關。不過可以注意的一點是,這些其他在witness size上面的優化跟 gas cost 所帶來的優化的效果是可以相乘的,例如 SLOAD,更改gas price已經能夠讓max size 縮小2.6倍,若是改用Binary tree可以將 Witness bytes降低到 288 bytes,就會是再3~倍的優化。
對用戶的影響
依照Martin Swende 給出的數據,這個EIP對於一般交易的影響僅有提高0.3~0.4%。理由很簡單,雖然第一次access storage變貴了,但是後面幾次讀寫就會變得便宜。大部分應用的程式邏輯都是類似的幾個變數進行讀寫,因此可能有不少的動作反而會變得更便宜。一個最簡單的例子就是ERC20 Transfer,兩個餘額的 +=和 -= 都會變便宜,所以總共的花費也是變便宜的。
這其中也會對於Solidity的開發pattern有著一定程度的影響,我目前想到的影響可能有兩個:
由於多次的storage access變便宜,永遠cache state variables不再是一個最佳策略。以前我們會盡量想辦法減少寫入state storage的次數,現在可能會基於coding style考量減少一些的memory cache。
之前寫合約都會盡量避免external call,甚至會寫一些一次把所有 variable都回傳回來的笨函示,來避免多次的external calls。這有一部分原因是因為每次external call都會需要使用到 EXTCODESIZE 這個Opcode所以很貴。但如果 EXT 系列的Opcode也變得越call越便宜,那麼這個一次全部call 回來cache 住的pattern也可能改變。
以上兩個想法都還沒有經過實證,如果之後看到更有證據的分析的話,也會來這裡分享。
EIP2930: Optional access lists
EIP2929可能會影響一些鏈上的合約,因為有些合約有hardcode external call的gas 上限。對於這方面的問題,EIP2930提出一個新的交易類型,讓交易中多帶一個access list,即所有這筆交易即將讀寫的storage slot,並且先幫忙付掉第一次讀寫的gas,而真正交易讀寫該storage時,只會被要求付100 gas。
這不但可以避免這次EIP2929帶來的副作用,也可以被使用在其他因為gas price 改變的硬分岔升級而壞掉的合約,例如在EIP1184 增加 SLOAD gas price 時影響到的 Aragon 和Kyber 等等。儘管當時升級前各大專案都有幫助用戶提出migration 方案,但如果有人曾經卡錢在裡面,也可以Follow一下這次柏林Hardfork。
小結
新的一年就用一篇簡單的文章來開頭。最近發現自己以前的學習習慣有點亂無章法,所以新年整理了reading list,逼自己做筆記,順便發想一些想要寫的主題。今年的期許就是學更多Ethereum底層一點的知識,當然還有上層一點Defi的知識。也歡迎大家分享一下自己都是怎麼follow這麼多東西的><
EIP2929, EIP2930 簡介 was originally published in Taipei Ethereum Meetup on Medium, where people are continuing the conversation by highlighting and responding to this story.
👏 歡迎轉載分享鼓掌
「io address」的推薦目錄:
- 關於io address 在 Taipei Ethereum Meetup Facebook 的最佳解答
- 關於io address 在 《鹹魚爸》清光光好物分享團 Facebook 的最佳解答
- 關於io address 在 What is i/o port , i/o port address? Is that address a part of RAM? 的評價
- 關於io address 在 EPLAN PLC IO Address matching Overview and schematics 的評價
- 關於io address 在 香港地址解析器Hong Kong Address Parser 的評價
- 關於io address 在 What does "address space" means when talking about IO ... 的評價
- 關於io address 在 address-formatter-rs - GitHub 的評價
io address 在 《鹹魚爸》清光光好物分享團 Facebook 的最佳解答
當機錯誤訊息
有沒人看得懂 @@
===
panic(cpu 0 caller 0xffffff800a4288b7): "AppleAHCIDiskQueueManager::setPowerState(0xffffff80a78a4000 : 0xffffff7f8c59d958, 2 -> 3) timed out after 100289 ms"@/BuildRoot/Library/Caches/com.apple.xbs/Sources/xnu/xnu-6153.81.5/iokit/Kernel/IOServicePM.cpp:5302
Backtrace (CPU 0), Frame : Return Address
0xffffff873e843b40 : 0xffffff8009d3bb2b
0xffffff873e843b90 : 0xffffff8009e734d5
0xffffff873e843bd0 : 0xffffff8009e64f4e
0xffffff873e843c20 : 0xffffff8009ce2a40
0xffffff873e843c40 : 0xffffff8009d3b217
0xffffff873e843d40 : 0xffffff8009d3b5fb
0xffffff873e843d90 : 0xffffff800a4d2aa9
0xffffff873e843e00 : 0xffffff800a4288b7
0xffffff873e843e50 : 0xffffff800a428479
0xffffff873e843e60 : 0xffffff800a43f82e
0xffffff873e843ea0 : 0xffffff800a427228
0xffffff873e843ec0 : 0xffffff8009d7d7e5
0xffffff873e843f40 : 0xffffff8009d7d311
0xffffff873e843fa0 : 0xffffff8009ce213e
BSD process name corresponding to current thread: kernel_task
Boot args: -no_compat_check
Mac OS version:
19D76
Kernel version:
Darwin Kernel Version 19.3.0: Thu Jan 9 20:58:23 PST 2020; root:xnu-6153.81.5~1/RELEASE_X86_64
Kernel UUID: A8DDE75C-CD97-3C37-B35D-1070CC50D2CE
Kernel slide: 0x0000000009a00000
Kernel text base: 0xffffff8009c00000
__HIB text base: 0xffffff8009b00000
System model name: MacPro6,1 (Mac-F60DEB81FF30ACF6)
System shutdown begun: NO
Panic diags file available: YES (0x0)
System uptime in nanoseconds: 3912440423393
last loaded kext at 29979348393: @filesystems.exfat 1.4 (addr 0xffffff7f8e46c000, size 65536)
last unloaded kext at 357360235653: >!AXsanScheme 3 (addr 0xffffff7f8d11d000, size 40960)
loaded kexts:
com.parallels.kext.netbridge 15.1.2 47123
com.parallels.kext.hypervisor 15.1.2 47123
com.parallels.kext.vnic 15.1.2 47123
com.kensington.trackballworks2 2.1.7
@filesystems.exfat 1.4
>!A!BMultitouch 97
@fileutil 20.036.15
@filesystems.autofs 3.0
>AGPM 111.4.2
>!APlatformEnabler 2.7.0d0
>X86PlatformShim 1.0.0
>!AHDA 283.15
>!AUpstreamUserClient 3.6.8
>!AMCCSControl 1.13
@kext.AMDFramebuffer 3.0.5
@kext.AMDRadeonX4000 3.0.5
@kext.AMDRadeonServiceManager 3.0.5
>!AGraphicsDevicePolicy 4.7.2
@AGDCPluginDisplayMetrics 4.7.2
>!AHV 1
|IOUserEthernet 1.0.1
|IO!BSerialManager 7.0.3f5
>pmtelemetry 1
>eficheck 1
>!ALPC 3.1
@kext.AMD7000!C 3.0.5
@Dont_Steal_Mac_OS_X 7.0.0
>!AThunderboltIP 3.1.3
>!AMGPUPowerControl 4.7.2
>AudioAUUC 1.70
>!A!ISlowAdaptiveClocking 4.0.0
>!A!IMCEReporter 115
>!ARAID 5.1.0
>!AVirtIO 1.0
@filesystems.hfs.kext 522.0.9
@!AFSCompression.!AFSCompressionTypeDataless 1.0.0d1
@BootCache 40
@!AFSCompression.!AFSCompressionTypeZlib 1.0.0
@filesystems.apfs 1412.81.1
>!AAHCIPort 341.0.2
|!ABCM5701Ethernet 10.3.5
>AirPort.BrcmNIC 1400.1.1
@private.KextAudit 1.0
>!AACPIButtons 6.1
>!AACPIEC 6.1
>!AHPET 1.8
>!ARTC 2.0
>!ASMBIOS 2.1
>!AAPIC 1.7
>!A!ICPUPowerManagementClient 222.0.0
$!AImage4 1
@nke.applicationfirewall 303
$TMSafetyNet 8
@!ASystemPolicy 2.0.0
>!A!ICPUPowerManagement 222.0.0
|EndpointSecurity 1
>IO!BHIDDriver 7.0.3f5
>!AMultitouchDriver 3430.1
>!AInputDeviceSupport 3430.1
@kext.triggers 1.0
>DspFuncLib 283.15
@kext.OSvKernDSPLib 529
>!ASMBus!C 1.0.18d1
@kext.AMDRadeonX4030HWLibs 1.0
|IOAccelerator!F2 438.3.1
@kext.AMDRadeonX4000HWServices 3.0.5
|IOAVB!F 800.17
>!ASSE 1.0
@kext.AMDSupport 3.0.5
@!AGPUWrangler 4.7.2
@!AGraphicsDeviceControl 4.7.2
>!AHDA!C 283.15
|IOHDA!F 283.15
>!ABacklightExpert 1.1.0
|IONDRVSupport 569.4
>!AGraphicsControl 4.7.2
|IOGraphics!F 569.4
|IOSlowAdaptiveClocking!F 1.0.0
>X86PlatformPlugin 1.0.0
>IOPlatformPlugin!F 6.0.0d8
@plugin.IOgPTPPlugin 810.1
|Broadcom!BHost!CUSBTransport 7.0.3f5
|IO!BHost!CUSBTransport 7.0.3f5
|IO!BHost!CTransport 7.0.3f5
|IO!B!F 7.0.3f5
|IO!BPacketLogger 7.0.3f5
>usb.cdc.ncm 5.0.0
>usb.IOUSBHostHIDDevice 1.2
|IOAHCIBlock!S 316.80.1
>usb.!UHub 1.2
>!UAudio 320.49
>usb.cdc 5.0.0
>usb.networking 5.0.0
>usb.!UHostCompositeDevice 1.2
|IOAudio!F 300.2
@vecLib.kext 1.2.0
|IOSerial!F 11
|IOSurface 269.6
@filesystems.hfs.encodings.kext 1
>!AThunderboltDPOutAdapter 6.2.5
>!AThunderboltPCIUpAdapter 2.5.4
>!AThunderboltDPInAdapter 6.2.5
>!AThunderboltDPAdapter!F 6.2.5
>!AThunderboltPCIDownAdapter 2.5.4
>!AThunderboltNHI 5.8.6
|IOThunderbolt!F 7.6.0
|IOAHCI!F 290.0.1
>usb.!UXHCIPCI 1.2
>usb.!UXHCI 1.2
|IOEthernetAVB!C 1.1.0
|IO80211!F 1200.12.2b1
>mDNSOffloadUserClient 1.0.1b8
>corecapture 1.0.4
|IOSkywalk!F 1
|IONVMe!F 2.1.0
>usb.!UEHCIPCI 1.2
>usb.!UEHCI 1.2
>usb.!UHostPacketFilter 1.0
|IOUSB!F 900.4.2
>!AEFINVRAM 2.1
>!AEFIRuntime 2.1
|IOSMBus!F 1.1
|IOHID!F 2.0.0
$quarantine 4
$sandbox 300.0
@kext.!AMatch 1.0.0d1
>DiskImages 493.0.0
>!AFDEKeyStore 28.30
>!AEffaceable!S 1.0
>!AKeyStore 2
>!UTDM 489.80.2
|IOSCSIBlockCommandsDevice 422.0.2
>!ACredentialManager 1.0
>KernelRelayHost 1
>!ASEPManager 1.0.1
>IOSlaveProcessor 1
|IOUSBMass!SDriver 157.40.7
|IOSCSIArchitectureModel!F 422.0.2
|IO!S!F 2.1
|IOUSBHost!F 1.2
>!UHostMergeProperties 1.2
>usb.!UCommon 1.0
>!ABusPower!C 1.0
|CoreAnalytics!F 1
>!AMobileFileIntegrity 1.0.5
@kext.CoreTrust 1
|IOTimeSync!F 810.1
|IONetworking!F 3.4
|IOReport!F 47
>!AACPIPlatform 6.1
>!ASMC 3.1.9
>watchdog 1
|IOPCI!F 2.9
|IOACPI!F 1.4
@kec.pthread 1
@kec.corecrypto 1.0
@kec.Libm 1
io address 在 EPLAN PLC IO Address matching Overview and schematics 的推薦與評價
In EPLAN Electric P8, you want the PLC IO Address to match between Overview and schematics. Use connection point blockweise in PLC Module. ... <看更多>
io address 在 香港地址解析器Hong Kong Address Parser 的推薦與評價
香港地址解析器Hong Kong Address Parser (Beta - Release 1.0.10). 地圖模式. 表格模式. 關於. GitHub · 反映意見 · g0vhk.io. warning ... ... <看更多>
io address 在 What is i/o port , i/o port address? Is that address a part of RAM? 的推薦與評價
... <看更多>
相關內容