今天我們繼續來看一個最近比較猛的項目,最近翻了3-4倍,也是做隱私賽道的選手,之前其實講過很多隱私的項目,比如xmr,zec,dash,oasis,beldex等,最近貌似隱私賽道又開始漲起來了,然後有小夥伴就諮詢這個項目,那麼今天來看下這個項目,因爲也進入到了前200名,來看下項目基本面,看下它到底是幹什麼的。
一.簡介
Horizen 最初構建了 Horizen 網絡,使用戶能夠進行隱私交易。隨後,開發了基於 Zendoo 的側鏈網絡,通過使用零知識證明證書在側鏈與主鏈之間捆綁交易,以提升吞吐量。
目前項目更新到了2.0,Horizen 2.0 是一條帶有預編譯擴展的 EVM(零知識 (ZK) dApps 而定製的 EVM 鏈),支持最先進的零知識證明,從而實現快速且低成本的證明驗證。這一設計旨在克服現有網絡中零知識能力的侷限性,同時提升成本效率、性能和去信任性。
二.架構-Horizen 2.0 架構
2.1 概述
Horizen 2.0 是首個專爲零知識證明 (ZK) 驗證設計的專業化 EVM 區塊鏈,其內置預編譯合約直接集成於 EVM 中。這是零知識 dApp 的專屬平臺,其中 ZK dApp 被定義爲任何生成、使用和/或驗證 ZK 證明的去中心化應用。
ZK dApp 的開發者經常面臨編寫和審計驗證合約的困難,而驗證合約是驗證 ZK 證明的核心。爲了提供更簡化且安全的解決方案,Horizen 2.0 提供了內置的預編譯合約來處理證明驗證,從而減少開發負擔並增強安全性。
這些預編譯包括適用於多種 ZK 證明系統的驗證器,例如 Groth16 、Fonk 、RiscZero和 UltraPlonk。每個預編譯合約都封裝了必要的密碼操作,包括橢圓曲線操作、哈希函數和基於配對的密碼學。
2.2關鍵組件
2.2.1 節點架構
Horizen 2.0 使用 Substrate 框架,將其節點架構劃分爲兩個主要組件:核心客戶端 (Core Client) 和 WebAssembly (Wasm) 運行時。這種設計實現了模塊化和高效化,明確區分了各自的職責:
1. 核心客戶端 (Core Client)
- 作爲基礎層,負責處理網絡活動,包括節點發現、管理交易請求、與其他節點達成共識以及響應 RPC 調用。
2. Horizen 運行時 (Horizen Runtime)
- 包含用於執行區塊鏈狀態轉換函數的所有業務邏輯。它涉及創建新的模塊(在 Substrate 術語中稱爲 “pallets”),並將其與內置模塊集成。
2.2.2 Horizen 運行時 (Horizen Runtime)
Horizen 運行時是一種先進且高度可配置的 WebAssembly (Wasm) 運行時,基於 Substrate 的 FRAME(模塊化實體聚合框架)構建。FRAME 允許開發者創建模塊化、可複用且可組合的運行時組件,稱爲 pallets。
Horizen 運行時的核心是專門用於驗證零知識證明的 proof verification pallets。這些專門的 pallets 專注於驗證 ZK 證明:
- 它們通過 EVM 預編譯接口提供功能,使 ZK dApp 開發者能夠以同步方式訪問驗證功能。
這種架構既確保了運行時的靈活性,也爲 ZK 應用程序開發提供了直接、高效的支持。
每個預編譯合約都經過優化,可在毫秒級別(針對某些證明類型)實現快速且同步的證明驗證,同時注重成本效率。
2.2.3 通用驗證器
通用驗證器是一種獨特的預編譯合約,它直接利用 zkVerify 的綜合驗證框架的能力,提供對最新驗證器的訪問,這些驗證器可能尚未在 Horizen 2.0 的預編譯中實現。開發者可以通過傳遞證明類型的名稱和相應的驗證密鑰,使用 zkVerify 上廣泛可用的驗證器。
這種集成得益於 Horizen 2.0 作爲 zkVerify 中繼鏈平行鏈的緊密關聯。通過使用跨共識消息 (XCM),通用驗證器支持異步證明驗證,從而抽象化了驗證過程中的複雜性。這種設計簡化了集成,並擴展了 ZK dApps 支持的加密協議範圍。當 zkVerify 添加新驗證器時,Horizen 2.0 的開發者可以立即使用這些驗證器。
通用驗證器的關鍵特點之一是其異步特性。不同於其他執行即時同步驗證的預編譯合約,通用驗證器允許驗證過程獨立於其他操作。這種靈活性讓開發者能夠將 zkVerify 的全面驗證功能集成到不需要即時驗證的 ZK dApps 中,從而實現更高效和更具可擴展性的應用程序。
2.3 DPoS 共識機制
委託權益證明 (Delegated Proof of Stake, DPoS) 是一種通過在權益質押過程中引入委託層來提高區塊鏈網絡效率和可擴展性的共識機制。在 DPoS 中,代幣持有者通過投票選出少量代表(委託人)來負責出塊和維護網絡運行。DPoS 目前是 EON 的共識機制,並將在 Horizen 2.0 中繼續使用,以確保連貫性和穩定性。在新的架構中,EON 的出塊者將被稱爲 Collator(整理者),以反映其在平行鏈結構中的角色。
Horizen 2.0 將採用一種受 Moonbeam 啓發的混合共識模型,該模型已成功通過 DPoS 實現高性能和可擴展性。因此,Horizen 2.0 將使用 Nimbus 框架來選擇整理者,確保一個複雜且公平的過程。所選區塊將通過 zkVerify 的中繼鏈驗證者使用 BABE(Blind Assignment for Blockchain Extension)進行區塊生產,並通過 GRANDPA(基於 GHOST 的遞歸祖先前綴協議)進行區塊最終化。
整理者的選擇是一個複雜的過程,利用以下過濾器和隨機性來源來確保公平性和效率:
1. 權益質押過濾器(Staking Filter)
- 根據候選整理者的質押金額確定其資格。只有合格且投入的參與者才能參與出塊和維護網絡,從而提高網絡的可靠性。
2. 固定規模子集過濾器(Fixed Size Subset Filter)
- 將候選整理者池進一步精簡爲每個區塊生產時段的可管理數量。這確保了選出的整理者數量平衡了去中心化與效率之間的關係。
3. 隨機性來源(Entropy Source)
- 引入一個安全且不可預測的隨機元素,以防止串通並確保驗證職責的公平分配。
應用舉例:
Token經濟
項目首次發行是在2017年,代幣最大供應21,000,000,而實際流通約爲1500萬左右。市值8.8億美金,最高峯的時候是在2021年168美金,熊市最低到了5美金,目前42美金。因爲更換了新的鏈,在引入平行鏈之後,之前40%的代幣留給了coinbase,剩餘的60%中,基金會32.5%,DAO財政庫27.5%。
最後總結下,這個項目最近的暴漲原因還是灰度大手筆進行了購買,大概購買了30萬枚,一下子拉了一波,至於灰度爲什麼要購買,不太知道原因。而對於技術面來看,別看他什麼更新了2.0,其實隱私這個賽道我個人不是很看到,這個賽道感覺稍微有點僞需求,從底部也漲了近8倍了,如果不是灰度購買,那麼可能還是一潭死水,而且已經牛市中期了,才反彈到這個位置,其實表現是非常弱的。