Ethereum Foundation verifica EIP-8282

A Ethereum Foundation verificou formalmente a EIP-8282.