Veritylab says it formally verified EIP-8282 for the Ethereum Foundation, proving it on bytecode with Lean

𝕏/@Veritylab •

Revision history

5 recorded changes

Want your article here?

Promote with Leviathan News

Veritylab says it formally verified EIP-8282 for the Ethereum Foundation, proving it on bytecode with Lean

Explore the topic

More on EIP

Ethereum delays Glamsterdam hardfork over broken invariants in EIP-8037 and EIP-8038

Binance's Teng says multiple attackers used EIP-7702 and self-destruct tools in $6.3B hack, with withdrawals paused

Vitalik backs EIP-8288 to let Ethereum verify new cryptography without adding precompiles

Leash launches spending-rules layer for AI agent wallets on Robinhood Chain using EIP-7702

Ethereum developers withdraw EIP-8363 from Hegota after feedback says staking reward changes need a dedicated issuance process

Ethereum eyes faster blocks: EIP-8198 Quick Slots could cut slot times from 12 to 10 seconds

Ethereum delays Glamsterdam hardfork over broken invariants in EIP-8037 and EIP-8038

Binance's Teng says multiple attackers used EIP-7702 and self-destruct tools in $6.3B hack, with withdrawals paused

Vitalik backs EIP-8288 to let Ethereum verify new cryptography without adding precompiles

Leash launches spending-rules layer for AI agent wallets on Robinhood Chain using EIP-7702

Ethereum developers withdraw EIP-8363 from Hegota after feedback says staking reward changes need a dedicated issuance process

Ethereum eyes faster blocks: EIP-8198 Quick Slots could cut slot times from 12 to 10 seconds

Total stats

How to Earn

More on EIP

Ethereum delays Glamsterdam hardfork over broken invariants in EIP-8037 and EIP-8038

Binance's Teng says multiple attackers used EIP-7702 and self-destruct tools in $6.3B hack, with withdrawals paused

Vitalik backs EIP-8288 to let Ethereum verify new cryptography without adding precompiles

Leash launches spending-rules layer for AI agent wallets on Robinhood Chain using EIP-7702

Ethereum developers withdraw EIP-8363 from Hegota after feedback says staking reward changes need a dedicated issuance process

Ethereum eyes faster blocks: EIP-8198 Quick Slots could cut slot times from 12 to 10 seconds

Ethereum delays Glamsterdam hardfork over broken invariants in EIP-8037 and EIP-8038

Binance's Teng says multiple attackers used EIP-7702 and self-destruct tools in $6.3B hack, with withdrawals paused

Vitalik backs EIP-8288 to let Ethereum verify new cryptography without adding precompiles

Leash launches spending-rules layer for AI agent wallets on Robinhood Chain using EIP-7702

Ethereum developers withdraw EIP-8363 from Hegota after feedback says staking reward changes need a dedicated issuance process

Ethereum eyes faster blocks: EIP-8198 Quick Slots could cut slot times from 12 to 10 seconds

Veritylab says it formally verified EIP-8282 for the Ethereum Foundation, proving it on bytecode with Lean

Explore the topic

More on EIP

Ethereum delays Glamsterdam hardfork over broken invariants in EIP-8037 and EIP-8038

Binance's Teng says multiple attackers used EIP-7702 and self-destruct tools in $6.3B hack, with withdrawals paused

Vitalik backs EIP-8288 to let Ethereum verify new cryptography without adding precompiles

Leash launches spending-rules layer for AI agent wallets on Robinhood Chain using EIP-7702

Ethereum developers withdraw EIP-8363 from Hegota after feedback says staking reward changes need a dedicated issuance process

Ethereum eyes faster blocks: EIP-8198 Quick Slots could cut slot times from 12 to 10 seconds

Ethereum delays Glamsterdam hardfork over broken invariants in EIP-8037 and EIP-8038

Binance's Teng says multiple attackers used EIP-7702 and self-destruct tools in $6.3B hack, with withdrawals paused

Vitalik backs EIP-8288 to let Ethereum verify new cryptography without adding precompiles

Leash launches spending-rules layer for AI agent wallets on Robinhood Chain using EIP-7702

Ethereum developers withdraw EIP-8363 from Hegota after feedback says staking reward changes need a dedicated issuance process

Ethereum eyes faster blocks: EIP-8198 Quick Slots could cut slot times from 12 to 10 seconds

Comments

Total stats

How to Earn

More on EIP

Ethereum delays Glamsterdam hardfork over broken invariants in EIP-8037 and EIP-8038

Binance's Teng says multiple attackers used EIP-7702 and self-destruct tools in $6.3B hack, with withdrawals paused

Vitalik backs EIP-8288 to let Ethereum verify new cryptography without adding precompiles

Leash launches spending-rules layer for AI agent wallets on Robinhood Chain using EIP-7702

Ethereum developers withdraw EIP-8363 from Hegota after feedback says staking reward changes need a dedicated issuance process

Ethereum eyes faster blocks: EIP-8198 Quick Slots could cut slot times from 12 to 10 seconds

Ethereum delays Glamsterdam hardfork over broken invariants in EIP-8037 and EIP-8038

Binance's Teng says multiple attackers used EIP-7702 and self-destruct tools in $6.3B hack, with withdrawals paused

Vitalik backs EIP-8288 to let Ethereum verify new cryptography without adding precompiles

Leash launches spending-rules layer for AI agent wallets on Robinhood Chain using EIP-7702

Ethereum developers withdraw EIP-8363 from Hegota after feedback says staking reward changes need a dedicated issuance process

Ethereum eyes faster blocks: EIP-8198 Quick Slots could cut slot times from 12 to 10 seconds