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

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

Що спонукало нас розробити Vanguard, наш статичний аналізатор, і як ми розширили його за межі Solidity? @FormallyJon пояснює у подкасті @HouseofZK.

Канни, ви були неймовірні! Дякуємо всім, хто завітав до нашого стенду, і @EthCC за те, що прийняли нас. До вашої уваги візуальне свято тижня 🌞

Вітання від @EthCC — наш @KFerles технічного директора розповідає, як ми забезпечуємо тривалий детермінізм для zkVM, таких як @RiscZero

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

Наші інструменти виявлення ZK раніше перевищували час очікування на 30% ланцюгів ZK. Як ми це вирішили? @IsilDillig ділиться думками з нашої нещодавньої наукової роботи.

Як зберегти міцність і детермінованість ланцюгів ZK під час аудиту? Наш співзасновник @IsilDillig ділиться думками про поєднання статичного аналізу та SMT solvers у наших інструментах ZK.

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

І останнє, але не менш важливе: на PLDI також було оголошено премію SIGPLAN Robin Milner Young Researcher Award. Цього року нагороду отримав Ішіл Ділліг (Işıl Dillig) (@IsilDillig), чиї дослідження зробили глибокий і далекосяжний внесок у аналіз, перевірку та синтез ⭐️ програм