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 com uma concessão da @ethereumfndn, o LLZK já está disponível no GitHub. Thread 🧵 1/4

Quando começamos a trabalhar em 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 para além do Solidity? @FormallyJon explica no podcast @HouseofZK.

Cannes, você foi incrível! Obrigado a todos que pararam em nosso estande, e a @EthCC por nos receber. Aqui está uma festa visual da semana 🌞

Saudações de @EthCC — Nosso @KFerles de CTO 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 deteção ZK atingiram anteriormente o tempo limite em 30% dos circuitos ZK. Como resolvemos isso? @IsilDillig compartilha insights de nosso recente artigo 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 excessivamente restritos são um desafio em circuitos de conhecimento zero? O que representa uma ameaça maior: circuitos sub-restringidos ou excessivamente restritos? @IsilDillig decompõe-o.

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