Suggesting a link for: Ethereum Foundation explores native transaction assertions to enforce outcome certainty