CALLs with strict gas semantic. Revert if not enough gas available.

Status history

1. Draft10 Apr 2019
2. ⋯Stagnantdate not observed

Abstract

The current CALL, DELEGATE_CALL, STATIC_CALL opcode do not enforce the gas being sent, they simply consider the gas value as a maximum. This pose serious problem for applications that require the call to be executed with a precise amount of gas. This is for example the case for meta-transaction where the contract needs to ensure the call is executed exactly as the signing user intended. But this…