Hi there topic is to discuss EIP-2330.
EIP: EIP-2330: EXTSLOAD opcode
Connected Solidity issue: Data Interfaces & EXTSLOAD · Issue #7593 · ethereum/solidity · GitHub
Aleth Implementation: [WIP] EIP-2330 EXTSLOAD by dominicletz · Pull Request #5805 · ethereum/aleth · GitHub
Ping @davesque & @simon-jentzsch with both of you I had a short chat in Osaka and I nearly forgot the details. But we discussed the idea for an
EXTSLOAD instruction and corresponding Solidity ABI for the first time. Would be great if you guys could have a look at the first draft here provide and provide suggestions or comments for improvement.
To align with related opcodes, maybe a rename to
I don’t think the same gas price as sload makes sense, because sload assumes you have already paid the cost of loading the account from the state trie (via a call). It probably ought to be something like the sum of the gas cost of extbalance (load the account from the trie) and sload (load the slot from the storage trie).
Yeah, both makes sense. I really like the the name EXTLOAD or EXTSLOAD for this as well. I’m going to add this to the pull request. In fact I think
EXTLOAD would be the cleanest. Any thought on keeping or dropping the S?
S refers to storage and this is about external (account’s) storage load, so
EXTSLOAD would be more fitting.
Thanks, I’ve updated both now in the EIP, higher gas cost (1500) and renamed to
Proposal A new EVM instruction
EXTSLOAD (0x5c) that works like
SLOAD (0x54) with the gas cost of EXTCODE(700) + SLOAD(800) = 1500 and an additional parameter representing the contract that is to be read from.
Maybe you mean
EXTCODEHASH instead of
I was referring to the Fee Schedule from the yellow paper:
There it is G_extcode_ = 700 and G_sload_ = 200 – just that EIP-1884 will update G_sload_ to 800 so I referenced that value.
Love to see there is interest in this opcode! Please see this thread for an earlier discussion about it.
This constant misunderstanding is probably the biggest reason for why we definitely should introduce this new opcode. Any developer who currently codes Solidity assuming non-exposed storage variables are in any way private is creating attack surfaces today. The “private” is an artificial attribute that does not actually exist in any meaningful way and just leads to confusion as some people in fact believe that the data would be protected in some way – while it is not. It’s open today, readable by anyone who cares to. If there is an “attack” transaction that can only be created by knowing the internal storage state of a contract then it can be created today already.
EXTSLOAD would wipe out this misunderstanding making it clear to every developer that their contract storage data is always in the open. This would clarify documentation and language around this whole topic.
@anett is there a way to merge this and this thread?
Btw. I’ve added an Aleth implementation for this opcode https://github.com/ethereum/aleth/pull/5805
@dominic not sure what you mean by “merge threads” but I’m worried that’s not possible to merge thread on discourse
From a software-engineering perspective, giving access to private members of another object is considered bad design, as it by-passes state encapsulation. This is not about data protection, this is about software design.
For example, when using EXTSLOAD on an OpenZeppeling proxy contract, it might work for a while, but then suddenly brake once the proxy contract is upgraded because the calling contract might have made wrong assumption about the internal state of the proxy contract. When calling methods on other people’s contracts, one should use the official API exposed through the according methods.
If you want to save gas, you should propose lower costs for calls to other contracts in general.
External clients can already arbitrarily read contract storage slots.
Further, there is a big difference between “giving access to private members of another object is considered bad design” and “accessing private members of another object is considered bad design”.
In other words, giving software developers more tools/functionality is not bad, just because some might shoot themselves in the foot. However, shooting yourself in the foot is almost always a bad idea.
In the proposal it is mentioned cost of the proposed opcode EXTSLOAD = cost of EXTCODE + cost of SLOAD. Since if self contract knows which slot id it wants to read from which target contract, the bytecode of the target contract does not provide any useful information and I think the target contract address and slot id is enough for the geth node (and others) to fetch the slot value from the SSD, so the cost could be simply a cost of a SLOAD.
Thanks to @zemse this EIP just got updated with in the context of the upcoming EVM changes. Would love to discuss getting this EIP to the next stage at the Magicians meet-up in Berlin next month ETH Station upcoming event in Berlin [call for action] - #3 by 0xpApaSmURf so let me know if anyone is around then.
Ah I can’t go to that sadly, but this opcode seems intuitively like something that would be very good. I’m having a fleeting thought (without much testing on it) that some current smart contracts might rely on the fact that others can’t read their state right now?
I wonder if we can come up with an example where adding this opcode gives smart contracts the ability to do damage of some kind that you couldn’t already do off-chain with the sensitive data.
I came across a contract that prevents other contracts from directly reading the state on it. I think the benefit comes from charging money for whitelisting an address, probably to fund gas. Allowing EXTSLOAD would harm the oracle business (which is definitely bad). However, looking at the oracle’s business logic the
read method loads the slot at location
0x03 which is not recorded in the same block (the
read function uses
cur feed and not the
nxt feed), hence an external untrusted party can provide the oracle feed and proof to a smart contract, which can proceed to utilize the feed for its logic, without paying the oracle maintainer for being whitelisted. But oracles should get funding for gas otherwise it would be a problem. Not sure if it is difficult for open oracles to be economically sustainable through donations or if the whitelist is really worth it.
As a side note, historically an EVM change did hurt businesses e.g. Gas tokens. However, those changes did come with benefits and interest from the community.