Vi är glada över att lansera LLZK, en mellanliggande representation (IR) med öppen källkod för nollkunskapskretsar. Tänk LLVM, men för ZK. LLZK har skapats av @VeridiseInc och stöds med ett bidrag från @ethereumfndn och är nu live på GitHub. Tråd 🧵 1/4

När vi började arbeta med ZK-verktyg fanns det inget tillgängligt. @FormallyJon delar med oss av vår resa med verktyg med nollkunskap i @HouseofZK intervju.

Vad ledde oss till att utveckla Vanguard, vår statiska analysator, och hur utökade vi den bortom Solidity? @FormallyJon förklarar i podcasten @HouseofZK.

Cannes, du var fantastisk! Tack till alla som stannade till vid vår monter, och till @EthCC för att ni tog emot oss. Här är en visuell fest från veckan 🌞

Hälsningar från @EthCC - Vår CTO-@KFerles delar med oss av hur vi levererar varaktig determinism för zkVM:er som @RiscZero

Få en översikt över Veridies ZK-verktyg och en inblick i vad som kommer härnäst. @IsilDillig delar med oss av våra framtida riktningar vid @a16zcrypto evenemanget.

Våra ZK-detekteringsverktyg avbröt tidigare timeout på 30 % av ZK-kretsarna. Hur löste vi detta? @IsilDillig delar med oss av insikter från vår senaste forskningsrapport.

Hur håller vi ZK-kretsarna bergfasta och deterministiska under revisioner? Vår medgrundare @IsilDillig delar med sig av insikter om hur man kombinerar statisk analys och SMT-lösare i våra ZK-verktyg.

Är överbegränsade kretsar en utmaning i nollkunskapskretsar? Vilket utgör ett större hot: underbegränsade eller överansträngda kretsar? @IsilDillig bryter ner det.

Sist men inte minst tillkännagavs även SIGPLAN Robin Milner Young Researcher Award vid PLDI. I år gick priset till Işıl Dillig (@IsilDillig), vars forskning har haft djupgående och långtgående bidrag till programanalys, verifiering och syntes ⭐️