Validade via max é ótimo para segurança; Estou preocupado com a queima sob a embalagem adversária.
Um que estou pensando que funcionaria é provar isso gas_metered = max(r_i) o A queima esperada é monótona em uso total normalizado, mesmo que os construtores mantenham max logo abaixo do alvo.
Fontesethresear
