Ethereum's leanVM Tool Reaches Formal Verification Milestone

The hash-based zero-knowledge virtual machine is designed to aggregate leanXMSS signatures for Ethereum validators.

BeCrypto News shows a short excerpt and links to the publisher. The full report belongs to TokenPost.