sudo rm -rf --no-preserve-root /

You are right about the name of the modifier - after thinking through it today maybe we even do not need a modifier but can use the `unchecked` block syntax...

I would like to quickly add some further thoughts behind this language feature: The main question is whether we should build the language in a _via negativa_ or _via positiva_...

@cameel @hrkrshnn what are your opinions on my thoughts here?

As quickly discussed with @leonardoalt it would be good to compile a list of reentrancy attacks and to understand what kind of code design pattern would fit best. Also, IMHO...

Just as a quick reference for comparison, Vyper uses a simple [`@nonreentrant()`](https://vyper.readthedocs.io/en/latest/control-structures.html#re-entrancy-locks) decorator (which equals a modifier in Solidity) to prevent reentrancies. I haven't investigated in detail the decorator's behaviour...

Linking this [EIP initiative](https://github.com/SergioDemianLerner/EIPs-Semaphore/blob/36c0f795deceee205023da4968549a7a8e86d511/EIPS/eip-semaphore.md) by @SergioDemianLerner since it can be relevant to this discussion. The proposal is to implement (through a hard fork) a reentrancy guard as a precompile. I...

Thanks, I'm aware of yulp which is however not maintained by the Solidity team if I understand correctly and there is also no active development going on (the repo is...

I think it's about interoperability on the opcode level here. The same would apply to Fe probably. The question we need to ask ourselves is whether we consider this an...

@mds1 thanks for tagging me - the suggested interface would not be compatible with my [`Create2Deployer.sol`](https://github.com/pcaversaccio/create2deployer/blob/main/contracts/Create2Deployer.sol) code. I use the following semantics: ```solidity /** * @dev Deploys a contract using...

@axic the fundamental question I think here is whether the better error reporting should come from a library or the client implementation directly. I see your point re EIP-1271 tho.