EIP-3855 is an Ethereum Improvement Proposal that proposes to add a new instruction called PUSH0 (0x5f) in the Ethereum Virtual Machine (EVM), as part of the Shanghai hard fork of the Shapella Upgrade. This instruction aims to help reduce gas costs and storage costs for contracts that need to push constant 0 onto the stack. ^[1]

Overview

On February 19th, 2021, EIP-3855 was created to introduce PUSH0, aiming to reduce contract code size, lower the risk of contract misuse of other instructions, and reduce the need to use DUP instructions for duplicating zeroes. Currently, developers can use other instructions like PC, MSIZE, CALLDATASIZE, RETURNDATASIZE, CODESIZE, CALLVALUE, and SELFBALANCE to achieve this effect, but these instructions have different costs and can vary depending on the context. Also the waste produced by the current PUSH1 00 instruction across existing accounts is: 340,557,331 bytes which translates to 68,111,466,200 gas spent to deploy them. This proposal intends to reduce this redundancy along with the other main goals. ^[1][2]

Details

The PUSH0 instruction has no immediate data, does not pop items from the stack, and places a single item with the value 0 onto the stack. Its gas cost is 2, which is the same as other instructions that place constant values onto the stack, like ADDRESS and ORIGIN. The opcode for PUSH0 is 0x5f, which means it is in a "contiguous" space with other PUSH implementations and could potentially share the implementation. ^[2][3]

An analysis on Mainnet shows that around 11.5% of all PUSH* instructions executed push a value of zero, and the wasted gas and storage costs for pushing constant 0 with PUSH1 are significant. ^[2]

One potential issue with the introduction of PUSH0 is that already deployed contracts using this opcode could change their behavior after this EIP. However, the authors are not aware of any impact on security, and jumpdest-analysis is unaffected as PUSH0 has no immediate data bytes. ^[1]

Authors

• Alex Beregszaszi
• Hugo De la cruz
• Paweł Bylica

^[3]