Ethereum Foundation researchers are examining native transaction assertions that could make transaction safety depend on the final state as well as the signed instructions.