Ethereum Foundation researcher Justin Drake announced that leanVM, a minimal zkVM that aggregates post-quantum signatures, has achieved end-to-end formal verification as part of Ethereum's push toward quantum resistance