{"id":"tp-23378","type":"article-newspaper","title":"LayerZero Labs Verifies 60 of 67 Jolt Bytecode Instructions in Lean","author":"Simon Yoon","publisher":"TOKENPOST Inc.","url":"https://www.tokenpost.com/news/technology/23378","datePublished":"2026-09-23T15:47:13.000Z","dateModified":"2026-09-23T15:47:13.000Z","language":"en","references":[]}