我們非常興奮地分享，LLZK V1.0 現已正式對外發布。這個框架設計為共享的中介表示，專門支援 ZK 安全工具。開發者會發現，任何編譯到 LLZK 的程式語言都能瞬間解鎖 ZK Vanguard 的靜態分析能力和 Picus 的形式驗證能力。這裡的主要優勢在於，你可以無縫地利用這些資源，完全避免從零重建任一工具。截至此發布，我們的活躍前端目前包含 Halo2 和 Circom。要深入了解這次發布，請訪問完整公告：https://veridise.com/blog/veridise-announcements/llzk-v1-0-a-new-phase-for-zk-shared-infrastructure/