ZK Radio 第61集:Aztec 的開發者 Maxim Vezenov - 現已在 Spotify 和 YouTube 上線 🔳 在這一集中,我們與 @maximvezenov 坐下來,探討 @aztecnetwork 的編譯器工程師,深入了解 @NoirLang 的技術設計 - 一種用於編寫 ZK 電路的特定領域語言。 我們涵蓋了: • Noir 的設計理念和後端無關的架構 • ZK 抽象層之間的權衡(DSL 與 zkVM 與手寫電路) • Noir 如何處理隱私、無約束執行和安全的電路組合 • 使用黑箱函數、預言機和 Aztec 分析器優化約束 • 私有狀態在應用設計中的角色,以及為什麼大部分工作在基礎設施中,而不是電路中 • 有關遞歸、開發者工具的實用見解,以及 Noir 在 1.0 之後的下一步 了解如何使用現代 ZK 工具構建可擴展的、保護隱私的應用。 Spotify: YouTube:
1.38K