簡而言之:
- Aztec 推出了四層技術堆棧,作為一個去中心化的第 2 層網絡,為以太坊提供可程式設計的隱私保護。
- 由 Aztec 開發的 Noir 語言,讓開發者無需具備密碼學專業知識即可撰寫零知識程式,並預設啟用隱私功能。
- 該網絡目前在 Alpha 網絡上擁有超過 3,500 個活躍的 sequencer,且 sequencer 和 prover 角色均為完全無許可。
Aztec發布了其架構的詳細技術說明,稱為「The Aztec Stack」,解釋其在以太坊上的 L2 網絡如何為智能合約開發者提供端到端的可程式化隱私。
阿茲特克的四層結構
該系統分為四層。第一層是 Noir,一種專為零知識(zk)電路設計的領域特定程式語言,語法類似 Rust。Noir 透過稱為 ACIR 的中間表示法自動將程式碼編譯為 zk 電路,並兼容多種證明後端,包括其自身的 Barretenberg 系統。隱私是預設行為:所有變數和函數均保持私有,除非開發者使用 `pub` 屬性明確指定為公開。

超越隱藏交易
第二層由使用 Aztec.nr 框架編寫的 智能合約 組成,該框架擴展了 Noir,以在鏈上管理公有和私有狀態。單一合約可在用戶設備上執行私有函數,並在網路上執行公有函數,並透明地將它們結合。帳戶合約實現帳戶抽象,支援社交帳戶恢復、多重身份驗證和細粒度存取控制,有助於合規與報稅。
第三層是網路本身。私有功能在使用者裝置上的私有執行環境(PXE)中運行,產生不洩露任何輸入、輸出或身份的 zk 證明。公共功能由排序器處理,排序器驗證私有證明、執行公共狀態,並將狀態差異發布到以太坊的 L1。每個紀元(定義為 32 個 L2 區塊的序列)都會由去中心化的證明者網路生成最終證明並上鏈發布。

Noir 已經開始部署
第四層是以太坊,作為結算層:滾動證明會錨定於 L1,繼承其經濟安全性。私有狀態模型使用 UTXO,而公共狀態則複製以太坊的帳戶模型。
Noir 已被基於 Base、Scroll 和 Starknet 的項目使用,展現了其作為零知識應用標準語言的重要性。

