DeFi· ★★★· neutral·

Buterin outlines Ethereum's next upgrades: FOCIL, Lean consensus and formal verification

  • —FOCIL aims to make transaction censorship by block producers harder
  • —The roadmap includes EIP-8288, Lean consensus and formal verification
  • —Some changes will become more visible after the Hegota upgrade
  • —Goal is a hybrid of blockchain and modern cryptography
Why it matters: The agenda confirms that censorship resistance and cryptographic security, not just scaling, remain Ethereum's technical priorities.
#ETH
Source: Coin Türk
More on this
Security · Sep 18
Vitalik Buterin: AI hacking threat overstated, formal verification will strengthen security
 DeFi · Sep 25
Ethereum researchers outline five paths to formally verify clients and shrink trust base
 DeFi · Sep 21
Ethereum verifies Fulu, Gloas and Heze consensus specs in Lean 4