.@alicelingl haasteet @FormallyJon: Nojaavatko tulevat kehittäjät zkVM:iin vai kirjoittavatko ZK-piirejä käsin? Tutustu @HouseofZK-podcastin vivahteisiin.

Olemme innoissamme voidessamme lanseerata LLZK:n, avoimen lähdekoodin väliesityksen (IR) nollatietopiireille. Ajattele LLVM:ää, mutta ZK:lle. @VeridiseInc:n rakentama ja @ethereumfndn:n apurahalla tuettu LLZK on nyt julkaistu GitHubissa. Lanka 🧵 1/4

Kun aloimme työskennellä ZK-työkalujen parissa, mitään ei ollut saatavilla. @FormallyJon kertoo nollatietotyökalujen matkastamme @HouseofZK haastattelussa.

Mikä sai meidät kehittämään Vanguardin, staattisen analysaattorimme, ja miten laajensimme sitä Solidityn ulkopuolelle? @FormallyJon selittää @HouseofZK-podcastissa.

Cannes, olit uskomaton! Kiitos kaikille, jotka pysähtyivät osastollamme, ja @EthCC isännöinnistä. Tässä on visuaalinen juhla viikolta 🌞

Terveisiä vuodelta @EthCC – Teknologiajohtajamme @KFerles kertoo, kuinka toimitamme kestävää determinismiä zkVM:ille, kuten @RiscZero

Saat yleiskatsauksen Veridisen ZK-työkaluista ja vilkaisu siitä, mitä seuraavaksi. @IsilDillig kertoo tulevaisuuden suuntaviivoistamme @a16zcrypto tapahtumassa.

ZK-tunnistustyökalumme aikakatkaisivat aiemmin 30 % ZK-piireistä. Miten ratkaisimme tämän? @IsilDillig jakaa näkemyksiä tuoreesta tutkimusartikkelistamme.

Kuinka pidämme ZK-piirit kivenkovana ja deterministisenä auditointien aikana? Perustajamme @IsilDillig jakaa näkemyksiä staattisen analyysin ja SMT-ratkaisijoiden yhdistämisestä ZK-työkaluissamme.

Viimeisenä mutta ei vähäisimpänä, PLDI:ssä julkistettiin myös SIGPLAN Robin Milner Young Researcher Award. Tänä vuonna palkinnon sai Işıl Dillig (@IsilDillig), jonka tutkimuksella on ollut syvällinen ja kauaskantoinen panos ohjelman analysointiin, todentamiseen ja synteesiin ⭐️