@aztecnetworkのソフトウェアエンジニアである@mjdklein氏との炉辺談話にご参加ください。Aztec Networkの重要な構成要素である@NoirLangプログラミング言語について深く掘り下げます。

ホストは@VeridiseIncの@FormallyJon氏です。

タイムスタンプ：
0:00 - イントロダクション：Aztec & Noir language
0:57 -  Aztecが独自のZK言語を構築した理由
02:22  - Noirの概要とその開発者体験
03:20  - Noirと他のZK DSLの比較
04:33  - 制約のない関数
06:19  - Noirが他のzk DSLに提供しないもの
07:00  -  Noirで現在不足しているツール
08:24  - Noirエコシステムがどのように進化するか＆新しいツール
09:19  -  Noirのメタプログラミングとそれが可能にすること
11:28  - 改善された簡潔さ＆メタプログラミング
13:56  - 誰がNoirを使用できるのか、そしてそれがAztecに結びついているかどうか
15:17  - 最も重要な脆弱性の種類
17:15  - 最適化パスが有効であることを保証するために行われた作業
18:20 - 形式検証（SMTソルバー）の考慮事項
19:18  - 開発者が意図せずに導入する可能性のあるバグの種類
21:18 - エントロピーがプライバシーリークにつながる可能性
23:35 - そのような問題を防止するためにNoirに組み込まれたガードレール
24:50 -  そのような脆弱性がどれほど一般的か
26:13  - プライバシーの観点から見たNoir回路とzkVM
28:16  - ローカル証明システムと証明ネットワーク
29:36  -  開発者がSMTソルバーが自分に適しているかどうかを評価する方法