Мы рады представить LLZK, открытое промежуточное представление (IR) для нулевых знаний. Представьте себе LLVM, но для ZK. Созданный @VeridiseInc и поддержанный грантом от @ethereumfndn, LLZK теперь доступен на GitHub. Тред 🧵 1/4

Когда мы начали работать над оснасткой ZK, ничего не было доступно. @FormallyJon делится своим опытом работы с инструментами с нулевым разглашением в @HouseofZK интервью.

Что привело нас к разработке Vanguard, нашего статического анализатора, и как мы расширили его за пределы Solidity? @FormallyJon объясняет в подкасте @HouseofZK.

Канны, вы были потрясающими! Спасибо всем, кто заглянул к нашему стенду, и @EthCC за то, что приняли нас. Вот визуальный праздник недели 🌞

Привет от @EthCC — Наш технический @KFerles делится тем, как мы обеспечиваем долгосрочную детерминированность для zkVM, таких как @RiscZero

Ознакомьтесь с инструментами Veridise ZK и узнайте, что будет дальше. @IsilDillig делится нашими дальнейшими направлениями на @a16zcrypto мероприятии.

Наши инструменты обнаружения ZK ранее имели тайм-аут на 30% цепей ZK. Как мы решили эту проблему? @IsilDillig делится выводами из нашей недавней исследовательской работы.

Как мы сохраняем надежность и детерминированность схем ZK во время аудита? Наш соучредитель @IsilDillig делится своими мыслями о том, как объединить статический анализ и SMT-решатели в наших инструментах ZK.

Являются ли чрезмерно ограниченные цепи проблемой в цепях с нулевым разглашением? Что представляет большую угрозу: недостаточно ограниченные или чрезмерно ограниченные цепи? @IsilDillig разбивает его на части.

И последнее, но не менее важное: на PLDI также была объявлена премия SIGPLAN Robin Milner Young Researcher Award. В этом году награда была присуждена Ишилу Диллигу (@IsilDillig), чьи исследования внесли глубокий и далеко идущий вклад в анализ, верификацию и синтез ⭐️ программ