Estamos empolgados em compartilhar que o LLZK V1.0 está oficialmente disponível ao público. Projetado como uma representação intermediária compartilhada, este framework suporta especificamente ferramentas de segurança ZK. Os desenvolvedores descobrirão que qualquer linguagem de programação compilada para LLZK desbloqueia instantaneamente as capacidades do ZK Vanguard para análise estática e Picus para verificação formal. A principal vantagem aqui é que você pode aproveitar esses recursos de forma integrada, evitando completamente a necessidade de reconstruir qualquer uma das ferramentas do zero. A partir deste lançamento, nossos front-ends ativos atualmente apresentam Halo2 e Circom. Para se aprofundar neste lançamento, visite o anúncio completo em https://veridise.com/blog/veridise-announcements/llzk-v1-0-a-new-phase-for-zk-shared-infrastructure/