{"id":22231,"date":"2026-08-02T04:24:08","date_gmt":"2026-08-02T04:24:08","guid":{"rendered":"https:\/\/cryptoted.net\/index.php\/2026\/08\/02\/smart-contract-security-ethereum-foundation-blog\/"},"modified":"2026-08-02T04:24:08","modified_gmt":"2026-08-02T04:24:08","slug":"smart-contract-security-ethereum-foundation-blog","status":"publish","type":"post","link":"https:\/\/cryptoted.net\/index.php\/2026\/08\/02\/smart-contract-security-ethereum-foundation-blog\/","title":{"rendered":"Smart Contract Security | Ethereum Foundation Blog"},"content":{"rendered":"


\n<\/p>\n

\n

Solidity was started in October 2014 when neither the Ethereum network nor the virtual machine had any real-world testing, the gas costs at that time were even drastically different from what they are now. Furthermore, some of the early design decisions were taken over from Serpent. During the last couple of months, examples and patterns that were initially considered best-practice were exposed to reality and some of them actually turned out to be anti-patterns. Due to that, we recently updated some of the Solidity documentation<\/a>, but as most people probably do not follow the stream of github commits to that repository, I would like to highlight some of the findings here.<\/p>\n

I will not talk about the minor issues here, please read up on them in the documentation<\/a>.<\/p>\n

<\/g><\/svg><\/a>Sending Ether<\/strong><\/h2>\n

Sending Ether is supposed to be one of the simplest things in Solidity, but it turns out to have some subtleties most people do not realise.<\/p>\n

It is important that at best, the recipient of the ether initiates the payout. The following is a BAD<\/strong> example of an auction contract:<\/p>\n

\n
\/\/ THIS IS A NEGATIVE EXAMPLE<\/span>!<\/span> DO NOT USE<\/span>!<\/span>\n<\/span>contract auction <\/span>{<\/span>\n<\/span>  address highestBidder<\/span>;<\/span>\n<\/span>  uint highestBid<\/span>;<\/span>\n<\/span>  <\/span>function<\/span> <\/span>bid<\/span>(<\/span>)<\/span> <\/span>{<\/span>\n<\/span>    <\/span>if<\/span> <\/span>(<\/span>msg.value <\/span> highestBid<\/span>)<\/span> throw<\/span>;<\/span>\n<\/span>    <\/span>if<\/span> <\/span>(<\/span>highestBidder <\/span>!=<\/span> <\/span>0<\/span>)<\/span>\n<\/span>      highestBidder.send<\/span>(<\/span>highestBid<\/span>)<\/span>;<\/span> \/\/ refund previous bidder\n<\/span>    highestBidder <\/span>=<\/span> msg.sender<\/span>;<\/span>\n<\/span>    highestBid <\/span>=<\/span> msg.value<\/span>;<\/span>\n<\/span>  <\/span>}<\/span>\n<\/span>}<\/span><\/span><\/code><\/pre>\n<\/div>\n
Because of the maximal stack depth of 1024 the new bidder can always increase the stack size to 1023 and then call bid()<\/span> which will cause the send(highestBid)<\/span> call to silently fail (i.e. the previous bidder will not receive the refund), but the new bidder will still be highest bidder. One way to check whether send<\/span> was successful is to check its return value:<\/p>\n
\n
\/\/\/ THIS IS STILL A NEGATIVE EXAMPLE<\/span>!<\/span> DO NOT USE<\/span>!<\/span>\n<\/span>if<\/span> <\/span>(<\/span>highestBidder <\/span>!=<\/span> <\/span>0<\/span>)<\/span>\n<\/span>  <\/span>if<\/span> <\/span>(<\/span>!<\/span>highestBidder.send<\/span>(<\/span>highestBid<\/span>))<\/span>\n<\/span>    throw<\/span>;<\/span><\/code><\/pre>\n
The <\/p>\n
throw<\/span><\/code><\/pre>\n
 statement causes the current call to be reverted. This is a bad idea, because the recipient, e.g. by implementing the fallback function as <\/p>\n
function<\/span>(<\/span>)<\/span> <\/span>{<\/span> throw<\/span>;<\/span> <\/span>}<\/span><\/code><\/pre>\n
 can always force the Ether transfer to fail and this would have the effect that nobody can overbid her.<\/p><\/div>\n
The only way to prevent both situations is to convert the sending pattern into a withdrawing pattern by giving the recipient control over the transfer:<\/p>\n
\n
\/\/\/ THIS IS STILL A NEGATIVE EXAMPLE<\/span>!<\/span> DO NOT USE<\/span>!<\/span>\n<\/span>contract auction <\/span>{<\/span>\n<\/span>  address highestBidder<\/span>;<\/span>\n<\/span>  uint highestBid<\/span>;<\/span>\n<\/span>  mapping<\/span>(<\/span>address <\/span>=<\/span>><\/span> uint<\/span>)<\/span> refunds<\/span>;<\/span>\n<\/span>  <\/span>function<\/span> <\/span>bid<\/span>(<\/span>)<\/span> <\/span>{<\/span>\n<\/span>    <\/span>if<\/span> <\/span>(<\/span>msg.value <\/span> highestBid<\/span>)<\/span> throw<\/span>;<\/span>\n<\/span>    <\/span>if<\/span> <\/span>(<\/span>highestBidder <\/span>!=<\/span> <\/span>0<\/span>)<\/span>\n<\/span>      refunds<\/span>[<\/span>highestBidder<\/span>]<\/span> <\/span>+=<\/span> highestBid<\/span>;<\/span>\n<\/span>    highestBidder <\/span>=<\/span> msg.sender<\/span>;<\/span>\n<\/span>    highestBid <\/span>=<\/span> msg.value<\/span>;<\/span>\n<\/span>  <\/span>}<\/span>\n<\/span>  <\/span>function<\/span> <\/span>withdrawRefund<\/span>(<\/span>)<\/span> <\/span>{<\/span>\n<\/span>    <\/span>if<\/span> <\/span>(<\/span>msg.sender.send<\/span>(<\/span>refunds<\/span>[<\/span>msg.sender<\/span>]<\/span>))<\/span>\n<\/span>      refunds<\/span>[<\/span>msg.sender<\/span>]<\/span> <\/span>=<\/span> <\/span>0<\/span>;<\/span>\n<\/span>  <\/span>}<\/span>\n<\/span>}<\/span>\n<\/span> <\/span><\/code><\/pre>\n<\/div>\n
Why does it still say “negative example” above the contract? Because of gas mechanics, the contract is actually fine, but it is still not a good example. The reason is that it is impossible to prevent code execution at the recipient as part of a send. This means that while the send function is still in progress, the recipient can call back into withdrawRefund. At that point, the refund amount is still the same and thus they would get the amount again and so on. In this specific example, it does not work, because the recipient only gets the gas stipend (2100 gas) and it is impossible to perform another send with this amount of gas. The following code, though, is vulnerable to this attack: msg.sender.call.value(refunds[msg.sender])()<\/span>.<\/p>\n
Having considered all this, the following code should be fine (of course it is still not a complete example of an auction contract):<\/p>\n
\n
contract auction <\/span>{<\/span>\n<\/span>  address highestBidder<\/span>;<\/span>\n<\/span>  uint highestBid<\/span>;<\/span>\n<\/span>  mapping<\/span>(<\/span>address <\/span>=<\/span>><\/span> uint<\/span>)<\/span> refunds<\/span>;<\/span>\n<\/span>  <\/span>function<\/span> <\/span>bid<\/span>(<\/span>)<\/span> <\/span>{<\/span>\n<\/span>    <\/span>if<\/span> <\/span>(<\/span>msg.value <\/span> highestBid<\/span>)<\/span> throw<\/span>;<\/span>\n<\/span>    <\/span>if<\/span> <\/span>(<\/span>highestBidder <\/span>!=<\/span> <\/span>0<\/span>)<\/span>\n<\/span>      refunds<\/span>[<\/span>highestBidder<\/span>]<\/span> <\/span>+=<\/span> highestBid<\/span>;<\/span>\n<\/span>    highestBidder <\/span>=<\/span> msg.sender<\/span>;<\/span>\n<\/span>    highestBid <\/span>=<\/span> msg.value<\/span>;<\/span>\n<\/span>  <\/span>}<\/span>\n<\/span>  <\/span>function<\/span> <\/span>withdrawRefund<\/span>(<\/span>)<\/span> <\/span>{<\/span>\n<\/span>    uint refund <\/span>=<\/span> refunds<\/span>[<\/span>msg.sender<\/span>]<\/span>;<\/span>\n<\/span>    refunds<\/span>[<\/span>msg.sender<\/span>]<\/span> <\/span>=<\/span> <\/span>0<\/span>;<\/span>\n<\/span>    <\/span>if<\/span> <\/span>(<\/span>!<\/span>msg.sender.send<\/span>(<\/span>refund<\/span>))<\/span>\n<\/span>     refunds<\/span>[<\/span>msg.sender<\/span>]<\/span> <\/span>=<\/span> refund<\/span>;<\/span>\n<\/span>  <\/span>}<\/span>\n<\/span>}<\/span><\/span><\/code><\/pre>\n<\/div>\n
Note that we did not use throw on a failed send because we are able to revert all state changes manually and not using throw has a lot less side-effects.<\/p>\n
<\/g><\/svg><\/a>Using Throw<\/strong><\/h2>\n
The throw statement is often quite convenient to revert any changes made to the state as part of the call (or whole transaction depending on how the function is called). You have to be aware, though, that it also causes all gas to be spent and is thus expensive and will potentially stall calls into the current function. Because of that, I would like to recommend to use it only<\/strong> in the following situations:<\/p>\n
1. Revert Ether transfer to the current function<\/strong><\/p>\n
If a function is not meant to receive Ether or not in the current state or with the current arguments, you should use throw to reject the Ether. Using throw is the only way to reliably send back Ether because of gas and stack depth issues: The recipient might have an error in the fallback function that takes too much gas and thus cannot receive the Ether or the function might have been called in a malicious context with too high stack depth (perhaps even preceding the calling function).<\/p>\n
Note that accidentally sending Ether to a contract is not always a UX failure: You can never predict in which order or at which time transactions are added to a block. If the contract is written to only accept the first transaction, the Ether included in the other transactions has to be rejected.<\/p>\n
2. Revert effects of called functions<\/strong><\/p>\n
If you call functions on other contracts, you can never know how they are implemented. This means that the effects of these calls are also not know and thus the only way to revert these effects is to use throw. Of course you should always write your contract to not call these functions in the first place, if you know you will have to revert the effects, but there are some use-cases where you only know that after the fact.<\/p>\n
<\/g><\/svg><\/a>Loops and the Block Gas Limit<\/strong><\/h2>\n
There is a limit of how much gas can be spent in a single block. This limit is flexible, but it is quite hard to increase it. This means that every single function in your contract should stay below a certain amount of gas in all (reasonable) situations. The following is a BAD example of a voting contract:<\/p>\n
\n
\/\/\/ THIS IS STILL A NEGATIVE EXAMPLE<\/span>!<\/span> DO NOT USE<\/span>!<\/span>\n<\/span>contract Voting <\/span>{<\/span>\n<\/span>  mapping<\/span>(<\/span>address <\/span>=<\/span>><\/span> uint<\/span>)<\/span> voteWeight<\/span>;<\/span>\n<\/span>  address<\/span>[<\/span>]<\/span> yesVotes<\/span>;<\/span>\n<\/span>  uint requiredWeight<\/span>;<\/span>\n<\/span>  address beneficiary<\/span>;<\/span>\n<\/span>  uint amount<\/span>;<\/span>\n<\/span>  <\/span>function<\/span> <\/span>voteYes<\/span>(<\/span>)<\/span> <\/span>{<\/span> yesVotes.push<\/span>(<\/span>msg.sender<\/span>)<\/span>;<\/span> <\/span>}<\/span>\n<\/span>  <\/span>function<\/span> <\/span>tallyVotes<\/span>(<\/span>)<\/span> <\/span>{<\/span>\n<\/span>    uint yesVotes<\/span>;<\/span>\n<\/span>    <\/span>for<\/span> <\/span>(<\/span>uint i <\/span>=<\/span> <\/span>0<\/span>;<\/span> i <\/span> yesVotes.length<\/span>;<\/span> ++i<\/span>)<\/span>\n<\/span>      yesVotes <\/span>+=<\/span> voteWeight<\/span>[<\/span>yesVotes<\/span>[<\/span>i<\/span>]<\/span>]<\/span>;<\/span>\n<\/span>    <\/span>if<\/span> <\/span>(<\/span>yesVotes <\/span>><\/span> requiredWeight<\/span>)<\/span>\n<\/span>      beneficiary.send<\/span>(<\/span>amount<\/span>)<\/span>;<\/span>\n<\/span>  <\/span>}<\/span>\n<\/span>}<\/span><\/span><\/code><\/pre>\n<\/div>\n
The contract actually has several issues, but the one I would like to highlight here is the problem of the loop: Assume that vote weights are transferrable and splittable like tokens (think of the DAO tokens as an example). This means that you can create an arbitrary number of clones of yourself. Creating such clones will increase the length of the loop in the tallyVotes function until it takes more gas than is available inside a single block.<\/p>\n
This applies to anything that uses loops, also where loops are not explicitly visible in the contract, for example when you copy arrays or strings inside storage. Again, it is fine to have arbitrary-length loops if the length of the loop is controlled by the caller, for example if you iterate over an array that was passed as a function argument. But never<\/strong> create a situation where the loop length is controlled by a party that would not be the only one suffering from its failure.<\/p>\n
As a side note, this was one reason why we now have the concept of blocked accounts inside the DAO contract: Vote weight is counted at the point where the vote is cast, to prevent the fact that the loop gets stuck, and if the vote weight would not be fixed until the end of the voting period, you could cast a second vote by just transferring your tokens and then voting again.<\/p>\n
<\/g><\/svg><\/a>Receiving Ether \/ the fallback function
\n<\/strong><\/h2>\n
If you want your contract to receive Ether via the regular send() call, you have to make its fallback function cheap. It can only use 2300, gas which neither allows any storage write nor function calls that send along Ether. Basically the only thing you should do inside the fallback function is log an event so that external processes can react on the fact. Of course any function of a contract can receive ether and is not tied to that gas restriction. Functions actually have to reject Ether sent to them if they do not want to receive any, but we are thinking about potentially inverting this behaviour in some future release.<\/p><\/div>\n

\n
Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"
Solidity was started in October 2014 when neither the Ethereum network nor the virtual machine had any real-world testing, the gas costs at that time were even drastically different from what they are now. Furthermore, some of the early design decisions were taken over from Serpent. During the last couple of months, examples and patterns […]<\/p>\n","protected":false},"author":6,"featured_media":20792,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"tdm_status":"","tdm_grid_status":"","footnotes":""},"categories":[24],"tags":[],"kronos_expire_date":[],"class_list":["post-22231","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ethereum"],"_links":{"self":[{"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/posts\/22231","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/comments?post=22231"}],"version-history":[{"count":0,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/posts\/22231\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/media\/20792"}],"wp:attachment":[{"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/media?parent=22231"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/categories?post=22231"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/tags?post=22231"},{"taxonomy":"kronos_expire_date","embeddable":true,"href":"https:\/\/cryptoted.net\/index.php\/wp-json\/wp\/v2\/kronos_expire_date?post=22231"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}