Estamos entusiasmados em lançar o LLZK, uma representação intermediária (IR) de código aberto para circuitos de conhecimento zero. Pense no LLVM, mas para ZK. Construído pela @VeridiseInc e apoiado por uma doação do @ethereumfndn, o LLZK agora está ativo no GitHub. Fio 🧵 1/4

Quando começamos a trabalhar nas ferramentas ZK, não havia nada disponível. @FormallyJon compartilha nossa jornada de ferramentas de conhecimento zero em @HouseofZK entrevista.

O que nos levou a desenvolver o Vanguard, nosso analisador estático, e como o estendemos além do Solidity? @FormallyJon explica no podcast @HouseofZK.

Cannes, você foi incrível! Obrigado a todos que passaram pelo nosso estande e a @EthCC por nos receber. Aqui está um banquete visual da semana 🌞

Saudações de @EthCC — Nosso CTO @KFerles está compartilhando como entregamos determinismo duradouro para zkVMs como @RiscZero

Obtenha uma visão geral das ferramentas ZK da Veridise e um vislumbre do que vem a seguir. @IsilDillig compartilha nossas direções futuras no evento @a16zcrypto.

Nossas ferramentas de detecção ZK expiravam anteriormente em 30% dos circuitos ZK. Como resolvemos isso? @IsilDillig compartilha insights de nosso recente trabalho de pesquisa.

Como mantemos os circuitos ZK sólidos e determinísticos durante as auditorias? Nosso cofundador @IsilDillig compartilha insights sobre a combinação de análise estática e solucionadores SMT em nossas ferramentas ZK.

Os circuitos superrestritos são um desafio em circuitos de conhecimento zero? O que representa uma ameaça maior: circuitos sub-restritos ou super-restritos? @IsilDillig o decompõe.

Por último, mas não menos importante, o Prêmio SIGPLAN Robin Milner de Jovem Pesquisador também foi anunciado no PLDI. Este ano, o prêmio foi para Işıl Dillig (@IsilDillig), cuja pesquisa teve contribuições profundas e de longo alcance para a análise, verificação e síntese ⭐️ do programa