Vi er glade for å lansere LLZK, en åpen kildekode mellomrepresentasjon (IR) for nullkunnskapskretser. Tenk LLVM, men for ZK. LLZK er bygget av @VeridiseInc og støttet med et tilskudd fra @ethereumfndn, og er nå live på GitHub. Tråd 🧵 1/4

Da vi begynte å jobbe med ZK-verktøy, var det ingenting tilgjengelig. @FormallyJon deler vår nullkunnskapsverktøyreise på @HouseofZK intervju.

Hva fikk oss til å utvikle Vanguard, vår statiske analysator, og hvordan utvidet vi den utover Solidity? @FormallyJon forklarer på @HouseofZK-podcasten.

Cannes, du var fantastisk! Takk til alle som var innom standen vår, og til @EthCC for å være vertskap for oss. Her er en visuell fest fra uken 🌞

Hilsen fra @EthCC – Vår CTO-@KFerles deler hvordan vi leverer varig determinisme for zkVM-er som @RiscZero

Få en oversikt over Veridises ZK-verktøy og et innblikk i hva som er det neste. @IsilDillig deler våre fremtidige retninger på det @a16zcrypto arrangementet.

Våre ZK-deteksjonsverktøy ble tidligere tidsavbrutt på 30 % av ZK-kretsene. Hvordan løste vi dette? @IsilDillig deler innsikt fra vår nylige forskningsartikkel.

Hvordan holder vi ZK-kretser bunnsolide og deterministiske under revisjoner? Vår medgründer @IsilDillig deler innsikt om å kombinere statisk analyse og SMT-løsere i våre ZK-verktøy.

Er overbegrensede kretser en utfordring i nullkunnskapskretser? Hva utgjør en større trussel: underbegrensede eller overbegrensede kretser? @IsilDillig bryter det ned.

Sist, men ikke minst, ble også SIGPLAN Robin Milner Young Researcher Award utlyst ved PLDI. I år gikk prisen til Işıl Dillig (@IsilDillig), hvis forskning har hatt dype og vidtrekkende bidrag til programanalyse, verifisering og syntese ⭐️