Veridise获得以太坊基金会的资助，开发出名为LLZK的新中间表示（IR），旨在统一和简化零知识电路编译，从而解决该生态系统中存在的碎片化问题。LLZK通过提供模块化、灵活性和形式验证等特点，计划提升ZK语言的可维护性与安全性，并加速安全工具的发展。
本文详细介绍了Solidity编译器的新via-IR编译管道，该管道使用Yul作为中间表示，以便在生成EVM字节码之前进行优化。文章探讨了via-IR的动机、特性和转变为默认编译管道的计划，以及与传统编译流程的比较。
Veridise
SolidityLang