Suntem încântați să lansăm LLZK, o reprezentare intermediară (IR) open-source pentru circuite zero-knowledge. Gândiți-vă la LLVM, dar pentru ZK. Construit de @VeridiseInc și susținut cu un grant de la @ethereumfndn, LLZK este acum live pe GitHub. Fir 🧵 1/4

Când am început să lucrăm la scule ZK, nu era nimic disponibil. @FormallyJon împărtășește călătoria noastră de instrumente zero-knowledge la @HouseofZK interviu.

Ce ne-a determinat să dezvoltăm Vanguard, analizorul nostru static, și cum l-am extins dincolo de Solidity? @FormallyJon explică în podcastul @HouseofZK.

Cannes, ai fost uimitor! Mulțumim tuturor celor care s-au oprit la standul nostru și @EthCC pentru că ne-au găzduit. Iată o sărbătoare vizuală din săptămâna 🌞 respectivă

Salutări de la @EthCC — @KFerles nostru CTO împărtășește modul în care oferim determinism de durată pentru zkVM-uri precum @RiscZero

Obțineți o prezentare generală a instrumentelor ZK de la Verise și o privire asupra a ceea ce urmează. @IsilDillig împărtășește direcțiile noastre viitoare la evenimentul @a16zcrypto.

Instrumentele noastre de detectare ZK au expirat anterior pe 30% din circuitele ZK. Cum am rezolvat asta? @IsilDillig împărtășește informații din lucrarea noastră de cercetare recentă.

Cum menținem circuitele ZK solide și deterministe în timpul auditurilor? Co-fondatorul nostru @IsilDillig împărtășește informații despre combinarea analizei statice și a soluțiilor SMT în instrumentele noastre ZK.

Sunt circuitele supra-constrânse o provocare în circuitele zero-knowledge? Care reprezintă o amenințare mai mare: circuitele subconstrânse sau supra-constrânse? @IsilDillig o descompune.

Nu în ultimul rând, la PLDI a fost anunțat și premiul SIGPLAN Robin Milner Young Research. Anul acesta, premiul a fost acordat lui Ișıl Dillig (@IsilDillig), a cărui cercetare a avut contribuții profunde și de anvergură la analiza, verificarea și sinteza ⭐️ programelor