Aztec Network 是以太坊上的隱私 ZK-rollup,使去中心化應用程式能夠存取隱私和擴展。 Aztec 的匯總由領先的零知識擴展項目使用的行業標準 PLONK 證明機制保護。
Aztec Network
|
基礎設施、Layer2、zk、隱私
| | 以太坊隱私擴充層 |
2K
|
179
|
Midnight Network 是一種新型區塊鏈,可用於建立保護敏感資料的去中心化應用程序,而不會犧牲效能和監管要求。開發人員可以在 Midnight 上建立基於 Typescript 和零知識 (ZK) 證明的新穎且易於使用的程式設計模型。
Midnight
|
基礎設施、Layer1、zk、隱私
| -- | 用於資料保護的情況 |
253
|
152
|
StarkNet 是一種無需許可的去中心化 Validity-Rollup(也稱為“ZK-Rollup”)。它作為以太坊上的 L2 網路運行,使任何 dApp 能夠實現其計算的無限規模 - 而不會影響以太坊的可組合性和安全性,這要歸功於 StarkNet 對最安全和最具可擴展性的加密證明系統 STARK 的依賴。
StarkNet
|
基礎設施、Layer2、zk
| | 去中心化 ZK-Rollup |
1K
|
144
|
Self Labs 正在為網路建立一個可擴展的信任層,將隱私放在首位。該公司的開源平台 Self Pass & Connect 專注於在不洩露個人資料的情況下證明用戶的身份和獨特屬性,透過利用零知識證明和電子護照 NFC 技術為數百萬用戶提供安全、去中心化的驗證。 Self Protocol 支援全球護照(174 多個國家)和蓬勃發展的數位經濟所需的合規標準。
Self Protocol
|
基礎設施、zk、做過
| -- | 面向真實人類的身份協議 |
254
|
111
|
zkSync 是 Matter Labs 開發的第 2 層擴展解決方案,透過利用最新一代簡潔的零知識證明來保留底層區塊鏈的安全屬性。 zkSync 中的所有資金都由主鏈上的智能合約持有,而計算和儲存則在鏈下執行。對於每個 Rollup 區塊,都會產生狀態轉換零知識證明 (SNARK),並由主鏈合約進行驗證。這個 SNARK 包括 Rollup 區塊中每筆交易的有效性證明。
zkSync
|
基礎設施、Layer2、zk
| | 以太坊的擴展和隱私引擎 |
3K
|
103
|
Cysic是一個全端運算網絡,旨在將 GPU、ASIC 和運算資源轉化為具有流動性和收益性的資產。其產品包含ZK 證明層Cysic Network、Cysic 硬體(GPU、ZK Air 和 ZK Pro)、Cysic AI。
Cysic
|
基礎設施、zk、人工智慧
| -- | ZK證明生成層 |
538
|
101
|
ZEROBASE 是一個即時 ZK 證明器網絡,專為速度、去中心化和法規遵從性而設計。它在數百毫秒內產生 ZK 證明,並透過其 HUB 環喚醒機制確保去中心化、快速達成共識,從而實現大規模商業使用。
ZEROBASE
|
基礎設施、zk
| -- | 即時 ZK 證明器網絡 |
337
|
95
|
Taiko 是一個去中心化的以太坊等效 (Type-1) ZK-VM 和通用 ZK-Rollup 二層網路。其目的是讓以太坊 L1 的 dApp 開發者和用戶無需任何更改和摩擦,即可在 Taiko 上部署和使用,在最大化繼承以太坊安全性的同時,提供比 L1 更快的速度和更低的交易費用。
Taiko
|
基礎設施、Layer2、zk
| | 通用 ZK-Rollup 二層網絡 |
1K
|
92
|
Brevis 是一個零知識 (ZK) 全鏈資料證明平台,它使 dApp 能夠以完全無信任的方式跨多個區塊鏈存取、計算和利用任意資料。 Brevis 擁有廣泛的用例,例如數據驅動的 DeFi、zkBridges、鏈上用戶獲取、zkDID、社交帳戶抽像等等。
Brevis
|
基礎設施、zk
| | ZK全鏈資料公證平台 |
1K
|
90
|
透過利用零知識證明,Boundless 使區塊鏈能夠驗證計算的正確性,而無需重新執行。這種功能稱為可驗證計算,它允許網路中單一節點執行的操作可以由每個節點以低廉的成本進行驗證。
Boundless
|
基礎設施、zk
| -- | 可驗證計算層 |
793
|
89
|
Succinct 正在建立一個去中心化的證明者網絡,以便任何人都可以建立由加密事實(而不是信任)保護的區塊鏈應用程式和基礎設施。 Succinct 統一了證明供應鏈,為使用零知識證明的 rollup、協處理器和其他應用程式提供了高度可用的證明來產生基礎設施和一流的定價。
Succinct
|
基礎設施、zk
| -- | 去中心化的證明者網絡 |
1K
|
89
|
Lagrange 是一種零知識協處理協議,支援跨各種區塊鏈的大數據規模的可驗證計算。其獨特的 ZK 協處理方法涉及一個去中心化的節點網絡,該網絡在鏈外執行計算,並以超並行的方式生成結果的 ZK 證明以在鏈上提交,從而釋放顯著的效率和成本收益。透過提供超可擴展的證明,Lagrange 為跨鏈互通性和需要大數據複雜計算的應用程式的創新打開了大門。
Lagrange
|
基礎設施、zk
| | 零知識協處理協議 |
820
|
88
|
Orochi Network 是一種尖端的 ZKO(應用零知識證明的作業系統),旨在應對 Web3 行業中計算限制,數據正確性和數據可用性的挑戰。 Orochi Network 使用 MPC 和 ECVRF 為所有類型的Web3應用程式建立了無信任隨機性的分散式來源,為EVM和FVM上的智慧合約提供可驗證的隨機性。
Orochi Network
|
基礎設施、zk
| | 零知識證明作業系統 |
309
|
84
|
QED是比特幣的zk原生執行層,旨在應對Web3開發的挑戰。這個橫向可擴展、安全且用戶友好的平台是為開發者和用戶構建的,支援從DeFi到NFT等廣泛的應用程式。基於 QED 構建的去中心化應用程式可以在本地證明交易,為用戶提供固定 Gas 費用的無限計算。這種創新方法確保每個用戶的公鑰都充當自訂 ZK 電路,具有可從狀態讀取的“智慧簽名”,類似於智慧合約。
Psy Protocol
|
基礎設施、Layer1、zk
| -- | 比特幣的原生執行層 |
375
|
78
|
Aligned Layer 是在 EigenLayer 之上開發的 ZK 驗證層。這將使任何 SNARK 證明的驗證具有成本效益,利用以太坊驗證器的安全性而不受以太坊的限制。作為 Eigen Layer AVS,它承諾為 L2 和橋提供經濟實惠的驗證和多功能證明系統,滿足區塊鏈生態系統中的關鍵需求。
Aligned
|
基礎設施、zk
| -- | EigenLayer 之上的 ZK 驗證層 |
748
|
76
|
Pi Squared 使用零知識證明(ZK)技術來驗證任何程式的執行正確性,無需依賴特定的程式語言(PL)或虛擬機器(VM)。其基於K框架和匹配邏輯,提供一種通用且高效的驗證方法,旨在實現區塊鏈、語言和應用程式的無縫互通性。
Pi Squared
|
基礎設施、zk
| -- | 區塊鏈 ZK 解決方案 |
352
|
74
|
Inference Labs 專注於開發 web3 上的 AI 基礎設施和產品,並專注於區塊鏈上的 AI 推理互通。零知識證明在不影響速度或效率的情況下確保隱私和安全。使用者可以驗證鏈下人工智慧輸出的正確性,而無需自己計算。
Inference Labs
|
基礎設施、zk、人工智慧
| -- | Web3 AI 基礎設施 |
307
|
73
|
zkPass 是一種利用 3P-TLS 和混合 ZK 技術的隱私資料協議,提供工具和應用程序,用於從任何無需 Oauth API 的 HTTPS 網站進行安全、可驗證的資料共享,並提供隱私和完整性保證。
zkPass
|
基礎設施、zk、鏈上合規解決方案
| | 隱私資料預言機協議 |
742
|
73
|
Solo 是一個基於區塊鏈和隱私保護技術的去中心化身分驗證平台,利用零知識證明、同態加密和端側 AI 實現唯一用戶認證,旨在為 Web3 和 AI 應用提供可信任的身份基礎設施,防止虛假帳號與身分濫用。
Solo
|
基礎設施、zk、人工智慧、做過
| -- | AI驅動的去中心化身分驗證平台 |
30
|
71
|
zkPassport是一個選擇性揭露資訊的政府簽發護照認證平台。護照證明讓用戶可以掃描政府頒發的護照中的 NFC 晶片,並證明 zk-SNARK 中簽名的正確性。
zkPassport
|
zk
| -- | 政府簽發護照認證平台 |
189
|
71
|
Scroll 是以太坊的原生 zkEVM 第 2 層解決方案。可實現對現有以太坊應用程式和工具的原生相容。 Scroll 處理鏈下交易,並在鏈上發布簡潔的正確性證明。與以太坊基礎層相比,這導致更高的吞吐量和更低的成本。
Scroll
|
Layer2、zk
| -- | 以太坊的原生 zkEVM Layer 2 解決方案 |
2K
|
71
|
Billions.Network 是一個數位身分驗證平台,旨在為現有驗證系統提供非生物辨識和注重隱私的替代方案。 該平台採用零知識證明技術,旨在提供一種可擴展且安全的方法來驗證人類和人工智慧的身份。
Billions
|
基礎設施、zk、人工智慧、做過、隱私
| -- | 數位身分驗證平台 |
963
|
70
|
zkVerify 是一個專為結算最佳化而設計的專用零知識證明驗證網路。 zkVerify 專為與現有區塊鏈網路無縫整合而設計,可最大限度地減少技術開銷,並為跨各種 zk-rollups 和結算層的證明驗證提供開發人員友好的環境。 zkVerify 由 Horizen Labs(相容於 EVM 的 Horizen 網路背後的開發工作室)建構。
zkVerify
|
基礎設施、zk
| -- | 零知識證明驗證網絡 |
291
|
70
|
Union 是一個高效的互通協議,連接了任何生態系統中的所有區塊鏈和 rollup。它基於共識驗證,不依賴受信任的第三方、預言機、多重簽名或 MPC。
Union
|
基礎設施、zk、互通性
| -- | 高效的互通協議 |
659
|
69
|
DeepSafe 是一種加密隨機驗證代理解決方案,利用 MPC、ZKP、TEE 和 RingVRF,為區塊鏈和人工智慧創建一個安全的驗證網路。
DeepSafe
|
基礎設施、zk
| -- | 加密隨機驗證代理解決方案 |
379
|
68
|
Intmax 是一種新型的 zkRollup,作為以太坊 L2 網絡,適用於各種 Web 服務和財務。它將使以太坊能夠讓所有線上公民透過支付基礎設施以及使用 NFT 和社群管理代幣的網路原生所有權參與經濟。
Intmax
|
基礎設施、Layer2、zk
| | 以太坊 zkRollup |
379
|
65
|
ZkCloud 是 ZK 的通用證明層,可聚合證明需求,使利用可證明計算的新應用程式透過將成本降低到 AWS 和 GCP 等標準證明外包成本的一小部分而變得經濟可行。它還透過聚合整個產業的工作負載來確保證明者節點能夠實現最高的資源效率,以滿足擴展和隱私用例以及未來的更多需求。
ZkCloud
|
基礎設施、zk
| -- | ZK 的通用證明層 |
394
|
63
|
Fiamma 是一個專門從事零知識 (ZK) 證明的驗證網絡,致力於為通用區塊鏈整合提供安全、去中心化且經濟高效的解決方案。從本質上講,Fiamma 旨在透過與 Babylon 的整合和 BitVM2 的實施來利用比特幣強大的加密經濟和網路安全價值。這種組合使 Fiamma 能夠將 ZK 功能引入比特幣生態系統,並在以太坊及其他地區保護 ZK 用例,從而增強 ZK 技術的範圍和有效性。
Fiamma
|
基礎設施、zk
| | ZKP 驗證網絡 |
333
|
62
|
Sophon 是一個以娛樂為中心的生態系統,利用 zkSync 的 ZK Stack 技術建構成模組化總和。作為利用 ZK Stack 的 ZK 鏈,Sophon 旨在為任何高吞吐量應用程式(如人工智慧和遊戲)量身定制。
Sophon
|
基礎設施、Layer2、模組化、zk
| | 模組化區塊鏈 |
831
|
62
|
Hyli 是基於證明的 L1,用於建立下一代鏈上應用程式。 Hyli 在鏈下運行複雜的邏輯,提交證明,並在鏈上結算之前在本地驗證它。
Hylé
|
基礎設施、Layer1、zk
| -- | 基於證明的 L1 |
257
|
60
|