零知識證明

零知識證明(Zero-Knowledge Proof),是指一種密碼學工具,允許互不信任的通信雙方之間證明某個命題的有效性,同時不洩露任何額外訊息。在Web3領域,零知識證明被廣泛應用於區塊鏈擴容、隱私保護、儲備金證明等領域。

文章 (42)

Nexus vs zkSync:两种 zk 架构有什么区别?
中級

Nexus vs zkSync:两种 zk 架构有什么区别?

Nexus 與 zkSync 均屬於零知識證明(ZK)領域的重要項目,但兩者的核心目標存在明顯差異。zkSync 主要是基於 Ethereum 的 zkRollup 擴容方案,著重於提升 Layer2 的交易吞吐量並降低 Gas 成本;Nexus 則更聚焦於可驗證計算(Verifiable Computation)和分布式 proving network,致力於打造支援 AI 及 Verifiable Finance 的 zk 基礎設施。
2026-05-09 08:03:30
什么是 Verifiable Finance?Nexus 解析链上金融基础设施
中級

什么是 Verifiable Finance?Nexus 解析链上金融基础设施

Verifiable Finance 結合零知識證明(ZK)和可驗證計算(Verifiable Computation),打造出新型鏈上金融架構。其核心目標是在不損及透明性與去中心化的前提下,提升複雜金融系統的驗證效率。與傳統鏈上金融主要著重於資產交易及流動性管理不同,Verifiable Finance 更強調「金融邏輯本身是否具備可驗證性」。
2026-05-09 08:00:50
Nexus zkVM 是什么?其工作机制与传统虚拟机有何不同
中級

Nexus zkVM 是什么?其工作机制与传统虚拟机有何不同

Nexus zkVM 是 Nexus 网络中的零知识虚拟机(Zero-Knowledge Virtual Machine),专门在程序执行后产生对应的零知识证明(zk proof),以实现可验证的计算。与仅负责执行程序的传统虚拟机不同,zkVM 不仅能证明程序确实依照既定逻辑完成运行,并允许其他节点无需重复执行程序即可验证结果。
2026-05-09 07:58:02
什么是 Nexus(NEX)?一文读懂 Verifiable Finance 及模块化证明网络
新手

什么是 Nexus(NEX)?一文读懂 Verifiable Finance 及模块化证明网络

Nexus(NEX)是一款以零知識證明(ZK)及 zkVM 架構打造的 Layer1 區塊鏈網路,目標在於實現可驗證計算(Verifiable Computation)和可驗證金融(Verifiable Finance)。其核心設計結合模組化 proving network、分散式驗證機制與高效執行層,讓複雜運算能以更低成本於鏈上完成驗證。
2026-05-09 07:51:23
什麼是 ZEROBASE(ZBT)?深入解析其鏈上數據基礎設施與去中心化計算模型
新手

什麼是 ZEROBASE(ZBT)?深入解析其鏈上數據基礎設施與去中心化計算模型

ZEROBASE(ZBT)是一項採用零知識證明(ZK)技術的去中心化計算網路,專為鏈上資料處理與隱私計算提供可驗證的基礎設施。隨著區塊鏈應用逐步延伸至資料密集型及合規相關場景,ZEROBASE 能夠支援高效能、低延遲且可驗證的資料處理需求。
2026-04-30 07:02:13
什麼是隱私智能合約?Aztec 如何實現可編程隱私
中級

什麼是隱私智能合約?Aztec 如何實現可編程隱私

隱私智能合約是一種在執行過程中能隱藏數據內容,同時又能保證正確性可驗證的智能合約。Aztec 結合 zkSNARK 零知識證明技術、私有執行環境,以及 Noir 程式語言,實現「可編程隱私」,讓開發者能夠精確掌控哪些數據需公開、哪些應維持私密。這種架構不僅有效解決區塊鏈高度透明所引發的隱私疑慮,也為 DeFi、身份驗證與企業級應用帶來更具實用性的基礎設施。
2026-04-17 08:04:15
Aztec vs Zcash vs Tornado Cash:三種隱私機制的核心差異深度解析
新手

Aztec vs Zcash vs Tornado Cash:三種隱私機制的核心差異深度解析

Zcash、Tornado Cash 與 Aztec 分別代表區塊鏈隱私的三種典型路徑:隱私公鏈、混幣協議,以及隱私 Layer2。Zcash 以 zkSNARK 實現匿名支付,Tornado Cash 透過混幣方式切斷交易關聯,Aztec 則運用 zkRollup 打造可編程的隱私執行環境。三者在技術架構、功能範圍與合規性上各具特色,展現隱私技術從「單點工具」逐步發展為「基礎設施」的趨勢。
2026-04-17 07:40:34
Aztec 網路架構深入解析:Sequencer、Prover 與 Noir 程式設計模型
新手

Aztec 網路架構深入解析:Sequencer、Prover 與 Noir 程式設計模型

Aztec 的網路架構由 Sequencer(排序器)、Prover(證明生成器)以及 Noir 程式設計模型共同組成。Sequencer 負責交易排序與區塊構建,Prover 產生零知識證明以驗證運算正確性,Noir 則是專為隱私應用設計的 zk 程式語言,讓開發者能夠打造「可編程隱私」的智能合約。三者協同運作,使 Aztec 在確保隱私的同時,實現可驗證與高效能執行。
2026-04-16 11:18:42
什麼是 Aztec(AZTEC)?本文將帶您全面了解其隱私 Layer2 架構及零知識證明機制
新手

什麼是 Aztec(AZTEC)?本文將帶您全面了解其隱私 Layer2 架構及零知識證明機制

Aztec(AZTEC)是建立於以太坊上的隱私優先 Layer2 網路,採用 zkSNARK 零知識證明技術,打造「可編程隱私」的智能合約執行環境。有別於傳統區塊鏈完全公開的運作模式,Aztec 透過加密交易數據與雙重執行架構(私有執行 + 公共執行),讓用戶在確保安全與可驗證性的同時,得以隱藏敏感資訊。其核心目標在於將隱私功能導入 DeFi、身份、支付等應用場景,推動區塊鏈從「完全透明」進化至「可選擇揭露」的新典範。
2026-04-16 11:10:01
zk-SNARK如何改進Gate.com的儲備金證明
進階

zk-SNARK如何改進Gate.com的儲備金證明

作爲業內率先推出儲備金證明的先行者,Gate.com將採用zk-SNARK這種零知識證明技術改進儲備金證明,爲用戶帶來更加卓越的資産安全保護和隱私保護。
2026-04-08 22:46:34
一文詳解零知識證明(ZKP)
中級

一文詳解零知識證明(ZKP)

零知識證明(ZKP)是一種加密方法,它使得一方(稱爲證明者)能夠曏另一方(稱爲驗證者)證明某個陳述是正確的,而無需提供任何其他的信息。目前流行的ZKP解決方案有zk-SNARKS、zk-STARKS、PLONK以及Bulletproofs。本文將介紹四種ZKP解決方案,併分析其優勢與劣勢。
2026-04-08 20:51:50
什麽是零知識證明?
新手

什麽是零知識證明?

本文提供了零知識證明(ZKP)的詳細證明。
2026-04-08 14:50:47
不要信任,要驗證:去中心化推理概述
中級

不要信任,要驗證:去中心化推理概述

區塊鏈和機器學習的交叉點很接近,但在去中心化推理中,平衡成本和信任是一個關鍵挑戰。
2026-04-07 14:58:43
Mystiko:Web3的ZK基礎層新星
新手

Mystiko:Web3的ZK基礎層新星

Mystiko.Network 作爲新一代 Web3 隱私解決方案,旨在利用零知識證明(ZKP)技術,爲用戶提供安全、高效的隱私保護。本文將介紹 Mystiko.Network 的技術架構、融資歷史等,探討其如何引領 Web3 隱私的未來。
2026-04-07 06:43:51
Vessel Finance是什麼? 關於VESSEL,你需要知道的一切
中級

Vessel Finance是什麼? 關於VESSEL,你需要知道的一切

Vessel Finance是一個零知識證明的去中心化交易所,結合了中心化交易所的高效性和去中心化平台的安全性。
2026-04-06 01:21:53
Learn Cryptocurrency & Blockchain

訂閱我們,換個角度,讀懂加密世界

Learn Cryptocurrency & Blockchain