️ NEW: Ethereum advances toward quantum resistance across all three layers as its leanVM tool achieves end-to-end formal verification.