{"id":"tp-48822","type":"article-newspaper","title":"Ethereum's leanVM Tool Reaches Formal Verification Milestone","author":"Simon Yoon","publisher":"TOKENPOST Inc.","url":"https://www.tokenpost.com/news/technology/48822","datePublished":"2026-11-04T22:02:17.000Z","dateModified":"2026-11-04T22:02:17.000Z","language":"en","abstract":"The hash-based zero-knowledge virtual machine is designed to aggregate leanXMSS signatures for Ethereum validators.","section":"Technology","references":[{"title":"leanVM's post-quantum signature design","url":"https://www.tokenpost.com/news/technology/48299"}]}