私たちは、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/で完全な発表をご覧ください。