來源:Aztec
編譯:李科,PANews
混合式zkRollup
以太坊上的數據都是公開的,但很多數據和交易有隱私的需求,基於此Aztec 推出了透明+隱私混合式zkRollup。大家比較熟悉混動汽車的概念,即把油和電結合起來驅動汽車。 Aztec 在宣布停止Aztec Connect 之後,近期就推出混合式zkRollup 概念,未來Aztec 要做的事是將以太坊智能合約和zk 加密貨幣執行結合起來,如果說之前的Aztec Connect 只是針對數字資產的隱私交易,未來Aztec zkRollup 的應用範圍將更廣,涉及一切數據的隱私計算和傳輸。
Aztec 將結合以太坊智能合約的所有特點,再加上可編程匿名性、數據隱私和保密合約的保護能力。 Aztec 通過允許公共-私有可組合性,極大地擴展在區塊鏈上可以做的空間。
Aztec 技術路線圖
Aztec 已經開始部署基本的合約部署(Milestone1.0),目前本地開發環境的組件已經取得重大進展。開發人員可以在2023 年第三季度獲得本地測試網絡,用戶可以在2024 年初體驗完整的公共測試網絡。
Aztec: 不是一個zkEVM
以太坊本質上是一個狀態機。它接受一個起始狀態,按塊排序交易,並以確定性的方式轉換狀態。 Aztec 將全局狀態機擴展到了私有狀態。這種混合的公共-私有狀態機同時處理智能合約邏輯的公共和私有執行。與此同時,它不再像傳統的區塊鏈一樣執行交易,而是證明已經計算過的交易的正確性。換句話說,Aztec 是一個零知識執行環境,但它不是zkEVM。
為什麼不是zkEVM 呢?難道zkEVM 不是最終目標嗎?
在Aztec Labs 研究隱私智能合約時,得出了一個早期結論:隱私與EVM 不兼容。 Rollup 技術的美妙之處不僅在於模仿以太坊,而是擴展了其實用性。 Aztec 是一個機會,可以在基礎層上確保隱私,並獲得以太坊的安全保證。在其發明時,以太坊為公共共識而放棄了隱私。直到2018 年,Zac Williamson 和Ariel Gabizon 發表了Plonk,第一個對於區塊鏈應用程序具有廣泛實用性的zkSNARK,才有了通過先進的零知識密碼學實現無信任、私有執行的可能性。但像以太坊這樣基於賬戶的公共區塊鏈模型無法支持本地隱私,而UTXO-based 隱私解決方案則無法支持已為公共智能合約平台創建的應用程序和工俱生態系統。
這就是為什麼Aztec 要兼顧兩者
Aztec 將公共和隱私執行結合到一個單一的zkRollup 中,在加密貨幣和非加密的交易中提供無縫的可組合性。如果說以太坊的創新是允許對公共狀態進行讀寫,那麼Aztec 的創新是能夠對公共和隱私狀態進行讀寫。將公有和隱私結合成一個單一的混合式Rollup,可以實現保密性和可審計性的用例,比如:
公共DAO 的私人投票公共遊戲的私人會議公共AMM 上的隱私交易
Aztec 之前僅支持資產的隱私交易,現在開始支持智能合約的隱私執行,而智能合約在合規和查看權限方面更加靈活。
Aztec 是如何運行的?
Aztec 採用了之前在Connect 架構上取得的工作成果,並大規模地擴展了其範圍和功能。之前Connect 利用了一個加密的UTXO 架構,在Aztec 中,將繼續採用相同的設計,但有一個關鍵區別: UTXO 不僅可以代表” 代幣的價值”,還可以代表任何數據。 UTXO 現在可以存儲整個智能合約。
之前Connect 只支持3 個定制的電路。 Aztec 可以在公共和隱私狀態上支持任意的智能合約邏輯。這意味著開發者可以訪問全部的以太坊用例,以及全新的加密貨幣應用。 Connect 是為DeFi 設計的,而且僅限於DeFi,而Aztec 大大擴展了想像力。
公共和隱私的可組合型
Aztec 的公共和隱私狀態環境是完全可組合的,這意味著任何函數都可以調用任何其他函數。這導致了全新的區塊鏈範式,如隱私對隱私的函數調用:智能合約的邏輯對區塊鏈觀察者來說是不可見的,可以調用其他具有不可見邏輯的合約。
Aztec 正在建立一個真正的隱私生態系統:一個智能合約網絡,可以從最方便的賬本中獲取和寫入:
一個可見的、公開的賬本,以支持像AMM 和借貸協議這樣需要透明度的原始協議一個不可見的私人賬本,能夠創建隱私的去中心化治理、金融、身份和遊戲。
查看權限和合規性
Aztec 與Connect 一樣,保持了訪問密鑰和支付密鑰之間的分離,同時將訪問密鑰權限擴展到每個合約,以實現對數據訪問的細微控制。由於Aztec 允許按合約進行權限控制,因此可以使新的區塊鏈協議(去中心化身份、第三方驗證和訪問密鑰共享)靈活地實施合規性。應用不再需要考慮全有或全無兩種極端方式: Aztec 支持全方位的可編程的私有權限。
Noir 語言: 寫代碼,而非電路
Noir 是一種通用的零知識語言,為了實現隱私智能合約的計算,Aztec Labs 為Noir 語言的核心開發做了很多貢獻。 Noir 是一種開源的、通用的零知識電路編寫語言,兼容任何證明後端,並可在任何區塊鏈上進行驗證,且具有可定制的智能合約驗證器。
像Circom 這樣的低級零知識編程語言需要密碼學概念的知識,而Noir 讓用戶編寫代碼,而不是電路。零知識程序可以有熟悉的語法和抽象的密碼學安全。開源的加密貨幣原語庫意味著用戶可以依賴審計過的加密貨幣代碼庫和加密貨幣學家以及開源貢獻者社區。
Noir 的願景是成為zkSNARKs 的LLVM。就像編程語言編譯到中間表示而不是機器語言一樣,Noir 編譯到抽象電路中間表示(ACIR),然後可以編譯到任何加密貨幣後端。
證明可以在任何具有Solidity 驗證器的鏈上進行驗證。這意味著從Solana 到Cosmos 的開發者都可以將ZK 證明與Noir 集成。
除了作為一種通用的zk 編程語言外,Noir 還作為Aztec 的智能合約語言:它保留了傳統的智能合約語法,包括狀態變量、函數和跨合約組合性(甚至跨公共- 私有障礙)。
可擴展性
區塊鏈應用的最大障礙不是區塊空間,而是實用性。值得慶幸的是,zkSNARKs 為Aztec 解鎖了靈活的加密貨幣和可擴展性。
Aztec 的內核電路啟用的遞歸功能非常強大,我們已經實現了比Connect 更大規模的可擴展性。 Aztec 的目標是在主網啟動時達到100+TPS 和個位數的交易量,比以太坊的吞吐量高出約5 倍,比Connect 高出50-100 倍。預計通過EIP-4844 促進的blob 交易,Aztec 的主要成本投入(發布調用數據到第1 層)將顯著下跌。
Aztec 的長期路線圖包括自定義數據可用性、狀態分片、FHE 啟用的狀態同步、硬件加速和並行執行– 所有這些都將使Aztec 達到另一個數量級的規模。
下一級別的隱私用戶體驗
在核心基礎設施之外,隱私用戶體驗一直是影響區塊鏈加密貨幣工具採用的一個主要瓶頸,主要體現在以下3 個方面:
很難對隱私進行推理不靈活的查看權限使合規性變得困難錢包體驗令人困惑且不標準Aztec 解決了這三個問題
隱私保障
Aztec 的目標是,在比Connect 更強的隱私保障的同時,使其更容易理解。同時,Aztec 提高了通用性並降低了成本,這意味著更好的隱私保障不需要任何折衷。簡而言之,私人交易是隱私的。在以前的隱私解決方案中,用戶關注隱私集。在Aztec 中,隱私交易的執行完全是隱私的—不僅交易是隱私的,執行的合約也是隱私的。這意味著隱私代幣轉移、隱私貸款、隱私訂單簿交易和隱私遊戲狀態對於區塊鏈觀察者來說完全無法查看。
除了觸發的隱私狀態更新的原始數量外,沒有洩露信息的可能性,也不可能詢問這些狀態更新的起源或性質。觀察者了解交易性質的唯一途徑是調用公共函數。公共執行默認是匿名的- 觀察者無法知道誰調用了交易,但可以公開查看交易結果。雖然公共交易仍然依賴於隱私集來保證其保證,但Noir 合約的組合性意味著是在整個網絡中共享的。像Dai 這樣的穩定幣將具有涵蓋支付、DeFi 和作為遊戲貨幣使用的隱私集。
錢包體驗和賬戶抽象化
為了使Aztec 賬戶盡可能兼容現有錢包,用戶密鑰將採用與以太坊錢包相同的密鑰。此外,原生抽象賬戶將允許用戶將自定義的Noir 合約部署到他們的賬戶地址,而不是利用現有的ECDSA 簽名流程。由Noir 電路支持的Aztec 賬戶抽象將支持:
智能合約錢包M of N 多重簽名Schnorr 簽名基於25519 曲線的ECDSA(與Apple 的TouchID 相同的簽名方案) 社交恢復
區塊鏈的未來在於可編程錢包,而不是手動簽名交易和授予權限。智能合約錢包將是Aztec 架構的核心特點,實現面向未來的的區塊鏈用戶體驗。
(以上內容獲合作夥伴PANews 授權節錄及轉載,原文連結)
聲明:文章僅代表作者個人觀點意見,不代表區塊客觀點和立場,所有內容及觀點僅供參考,不構成投資建議。投資者應自行決策與交易,對投資者交易形成的直接間接損失作者及區塊客將不承擔任何責任。
這篇文章一文了解暫停Aztec Connect 後Aztec 推出的混合式zkRollup 是什麼?最早出現於區塊客。
資訊來源:由0x資訊編譯自BLOCKCAST。版權歸作者PANews所有,未經許可,不得轉載