Markets
BTC— —
ETH— —
SOL— —
XRP— —
BNB— —
ADA— —
DOGE— —
MCap— —
BTC— —
ETH— —
SOL— —
XRP— —
BNB— —
ADA— —
DOGE— —
MCap— —

Ethereum

85 articles · page 2 of 3

Vitalik Buterin Says AI-Assisted Formal Verification Could Be the 'Final Form' of Secure Software — Even as AI Makes Hacking Easier
Markets

Ethereum's co-founder published a long essay on Sunday arguing that machine-checkable mathematical proofs, generated and verified by AI, could become the foundational security layer for blockchains, cryptography and critical internet infrastructure — even as the same AI capabilities accelerate vulnerability discovery on the offence side.

·Aubrey Swanson
Base Will Move $7.4 Billion of Deposits Onto Zero-Knowledge Proofs on May 13 — and Quietly Drop the Optimistic Rollup Model It Was Built On
Tech

Base announced on May 4 that its Azul upgrade would integrate Succinct's SP1 zero-knowledge prover alongside its existing TEE proof system, with mainnet activation planned for May 13. The change cuts withdrawal finality from a multi-day challenge window to roughly one day — and makes Base the largest single Ethereum operator to put ZK proofs in production.

·Alex Turner