Kami sangat senang meluncurkan LLZK, representasi perantara (IR) sumber terbuka untuk sirkuit tanpa pengetahuan. Pikirkan LLVM, tetapi untuk ZK. Dibangun oleh @VeridiseInc dan didukung dengan hibah dari @ethereumfndn, LLZK sekarang tersedia di GitHub. Benang 🧵 1/4

Ketika kami mulai mengerjakan perkakas ZK, tidak ada yang tersedia. @FormallyJon membagikan perjalanan perkakas tanpa pengetahuan kami pada wawancara @HouseofZK.

Apa yang membuat kami mengembangkan Vanguard, penganalisis statis kami, dan bagaimana kami memperluasnya di luar Solidity? @FormallyJon menjelaskan di podcast @HouseofZK.

Cannes, Anda luar biasa! Terima kasih kepada semua orang yang mampir ke stan kami, dan kepada @EthCC karena telah menjamu kami. Berikut adalah pesta visual dari minggu 🌞 ini

Salam dari @EthCC — @KFerles CTO kami berbagi bagaimana kami memberikan determinisme abadi untuk zkVM seperti @RiscZero

Dapatkan gambaran umum tentang alat ZK Veridise, dan sekilas tentang apa yang akan terjadi selanjutnya. @IsilDillig membagikan arah masa depan kami di acara @a16zcrypto.

Alat deteksi ZK kami sebelumnya habis waktunya pada 30% sirkuit ZK. Bagaimana kami menyelesaikan ini? @IsilDillig berbagi wawasan dari makalah penelitian terbaru kami.

Bagaimana kita menjaga sirkuit ZK tetap kokoh dan deterministik selama audit? Co-founder kami @IsilDillig berbagi wawasan tentang menggabungkan analisis statis dan pemecah SMT dalam alat ZK kami.

Apakah sirkuit yang terlalu dibatasi merupakan tantangan dalam sirkuit tanpa pengetahuan? Mana yang menimbulkan ancaman yang lebih besar: sirkuit yang kurang dibatasi atau terlalu dibatasi? @IsilDillig memecahnya.

Last but not least, SIGPLAN Robin Milner Young Researcher Award juga diumumkan di PLDI. Tahun ini, penghargaan diberikan kepada Işıl Dillig (@IsilDillig), yang penelitiannya memiliki kontribusi mendalam dan luas untuk analisis, verifikasi, dan sintesis ⭐️ program