Wir freuen uns, LLZK zu starten, eine Open-Source-Zwischenrepräsentation (IR) für Zero-Knowledge-Schaltungen. Denken Sie an LLVM, aber für ZK. Entwickelt von @VeridiseInc und unterstützt durch einen Zuschuss von der @ethereumfndn, ist LLZK jetzt auf GitHub verfügbar. Thread 🧵 1/4

Als wir mit der Arbeit an ZK-Tools begannen, gab es nichts Verfügbares. @FormallyJon teilt unsere Reise mit Zero-Knowledge-Tools im Interview bei @HouseofZK.

Was hat uns dazu bewogen, Vanguard, unseren statischen Analysator, zu entwickeln, und wie haben wir ihn über Solidity hinaus erweitert? @FormallyJon erklärt im Podcast @HouseofZK.

Cannes, ihr wart unglaublich! Vielen Dank an alle, die an unserem Stand vorbeigeschaut haben, und an @EthCC für die Bewirtung. Hier ist ein visuelles Fest der Woche 🌞

Grüße von @EthCC — Unser CTO @KFerles teilt mit, wie wir dauerhaften Determinismus für zkVMs wie @RiscZero

Verschaffen Sie sich einen Überblick über die ZK-Tools von Veridise und erhalten Sie einen Einblick in die Zukunft. @IsilDillig teilt unsere zukünftige Ausrichtung auf der @a16zcrypto Veranstaltung.

Unsere ZK-Erkennungstools hatten zuvor bei 30 % der ZK-Schaltkreise eine Zeitüberschreitung. Wie haben wir das gelöst? @IsilDillig teilt Erkenntnisse aus unserem jüngsten Forschungspapier.

Wie halten wir die ZK-Schaltkreise während der Audits felsenfest und deterministisch? Unser Mitbegründer @IsilDillig gibt Einblicke in die Kombination von statischer Analyse und SMT-Solvern in unseren ZK-Tools.

Sind übermäßig eingeschränkte Schaltkreise eine Herausforderung in Zero-Knowledge-Schaltkreisen? Was stellt eine größere Bedrohung dar: unter- oder überbeschränkte Schaltkreise? @IsilDillig schlüsselt es auf.

Last but not least wurde auf der PLDI auch der SIGPLAN Robin Milner Young Researcher Award ausgeschrieben. In diesem Jahr ging der Preis an Işıl Dillig (@IsilDillig), dessen Forschung tiefgreifende und weitreichende Beiträge zur Analyse, Verifizierung und Synthese ⭐️ von Programmen geleistet hat