ゼロ知識回路用のオープンソースの中間表現 (IR) である LLZK をリリースできることを嬉しく思います。LLVM を思い浮かべてくださいが、ZK の場合です。 @VeridiseInc によって構築され、@ethereumfndnからの助成金でサポートされている LLZK は、現在 GitHub で公開されています。 糸 🧵 1/4

ZKツールの開発を始めたとき、利用可能なものは何もありませんでした。@FormallyJon は、インタビューでゼロ知識ツールの道のりを共有し@HouseofZK。

スタティックアナライザーであるVanguardを開発したきっかけと、Solidityを超えてどのように拡張したのでしょうか?@FormallyJonは@HouseofZKポッドキャストで説明しています。

カンヌ、素晴らしかったです!ブースにお立ち寄りいただいた皆様、そしておもてなししてくださった@EthCCに感謝します。今週🌞の視覚的な饗宴をご紹介します

@EthCCからのご挨拶 — 当社の CTO @KFerles が、@RiscZero などの zkVMs に永続的な決定論を提供する方法を共有しています

VeridiseのZKツールの概要と、次の展開を垣間見ることができます。@IsilDilligは、@a16zcryptoイベントで今後の方向性を共有します。

当社のZK検出ツールは、以前はZK回路の30%でタイムアウトしていました。どうやってこれを解決したのでしょうか?@IsilDilligは、最近の研究論文からの洞察を共有します。

監査中にZK回路を盤石で決定論的に保つにはどうすればよいでしょうか?当社の共同創設者である@IsilDilligが、ZKツールで静的解析とSMTソルバーを組み合わせることについての洞察を共有しています。

ゼロ知識回路では、過剰な制約回路が課題ですか? 制約が不十分な回路と過剰制約の回路のどちらがより大きな脅威をもたらしますか?@IsilDilligはそれを分解します。

最後になりましたが、SIGPLAN Robin Milner Young Researcher AwardもPLDIで発表されました。今年の賞は、プログラムの分析、検証、統合⭐️に深く広範囲にわたる貢献をしたイシル・ディリグ氏(@IsilDillig)に贈られました