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

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

タイムスタンプ：
00:00 - イントロダクション：Aztec & Noir language
00: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  -  ローカル証明システム vs. 証明ネットワーク
29:36  -  開発者がSMTソルバーが自分に適しているかどうかを評価する方法