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

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

タイムスタンプ：
0:00 – イントロダクション：Aztec & Noir language
0:57 – Aztecが独自のZK言語を構築した理由
2:22 – Noirの概要とその開発者体験
3:20 – Noirと他のZK DSLとの比較
4:33 – 制約のない関数
6:19 – Noirが他のzk DSLにないもの
7:00 – Noirで現在不足しているツール
8:24 – Noirエコシステムがどのように進化するかと新しいツール
9: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ソルバーが自分に適しているかどうかを評価する方法