Z radością ogłaszamy uruchomienie LLZK, otwartego źródła pośredniej reprezentacji (IR) dla obwodów zero-knowledge. Pomyśl o LLVM, ale dla ZK. Stworzony przez @VeridiseInc i wspierany grantem od @ethereumfndn, LLZK jest już dostępny na GitHubie. Wątek 🧵 1/4

Kiedy zaczynaliśmy pracę nad oprzyrządowaniem ZK, nie było nic dostępnego. @FormallyJon opowiada o naszej podróży z narzędziami o zerowej wiedzy podczas @HouseofZK rozmowy kwalifikacyjnej.

Co skłoniło nas do opracowania Vanguarda, naszego analizatora statycznego, i w jaki sposób rozszerzyliśmy go poza Solidity? @FormallyJon wyjaśnia to w podcaście @HouseofZK.

Cannes, byliście niesamowici! Dziękujemy wszystkim, którzy zatrzymali się przy naszym stoisku i @EthCC za ugoszczenie nas. Oto wizualna uczta z tego tygodnia 🌞

Pozdrowienia od @EthCC — Nasz @KFerles ds. technologii dzieli się tym, w jaki sposób dostarczamy trwały determinizm dla zkVM, takich jak @RiscZero

Zapoznaj się z omówieniem narzędzi ZK firmy Veridise i rzuć okiem na to, co dalej. @IsilDillig dzieli się naszymi przyszłymi kierunkami na @a16zcrypto wydarzeniu.

Nasze narzędzia do wykrywania ZK wcześniej przekroczyły limit czasu w 30% obwodów ZK. Jak sobie z tym poradziliśmy? @IsilDillig dzieli się spostrzeżeniami z naszego najnowszego artykułu badawczego.

Jak utrzymać obwody ZK w stanie solidnym i deterministycznym podczas audytów? Nasz współzałożyciel @IsilDillig dzieli się spostrzeżeniami na temat łączenia analizy statycznej i solwerów SMT w naszych narzędziach ZK.

Czy nadmiernie ograniczone obwody są wyzwaniem w obwodach o zerowej wiedzy? Co stanowi większe zagrożenie: niedostatecznie ograniczone czy nadmiernie ograniczone obwody? @IsilDillig rozkłada to na czynniki pierwsze.

Wreszcie, co nie mniej ważne, na PLDI ogłoszono również nagrodę SIGPLAN Robin Milner Young Researcher Award. W tym roku nagrodę otrzymał Işıl Dillig (@IsilDillig), którego badania wniosły głęboki i dalekosiężny wkład w analizę, weryfikację i syntezę ⭐️ programów