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

Technology

Page 3 of 8

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
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