Web3隐私保护与零知识证明入门 · 课程目录

01Web3隐私全景

为什么需要隐私？区块链透明性与隐私悖论，Web3隐私赛道全景图。

02密码学基础回顾

哈希函数、对称/非对称加密、数字签名、椭圆曲线密码学。

03零知识证明入门

三要素：完备性、可靠性、零知识性；交互式与非交互式证明。

04zk-SNARKs 原理

什么是zk-SNARKs？可信设置、多项式承诺、QAP问题。

05zk-STARKs 原理

透明设置、抗量子性、与zk-SNARKs的对比。

06Circom 与 SnarkJS 实战

电路编写、编译、生成证明与验证。

07Groth16 证明系统

Groth16协议详解、证明大小与验证效率。

通用可信设置、多项式承诺方案、PLONK vs Groth16。

09Halo2 与递归证明

Halo2 架构、递归证明原理、应用场景。

10Bulletproofs 与范围证明

Bulletproofs 原理、无信任设置、在区块链中的应用。

11同态加密基础

部分同态、全同态加密概念、在隐私计算中的角色。

12安全多方计算 (MPC)

MPC基础协议、秘密共享、不经意传输、隐私交易应用。

13可信执行环境 (TEE)

TEE原理、Intel SGX、与ZKP的对比与结合。

14混合隐私方案

ZKP+TEE、ZKP+MPC、分层隐私架构设计。

15隐私公链概览

Monero、Zcash、Mina、Aleo、IronFish 技术对比。

16Zcash 与屏蔽交易

隐私地址、屏蔽池、Sapling 升级。

17Monero 与环签名

环签名、隐身地址、RingCT 原理。

18Mina 与递归零知识证明

轻量级区块链、Pickles 证明系统。

19Aleo 与 Leo 语言

Aleo架构、Leo语言基础、zkCloud概念。

20Tornado Cash 与混币器

Tornado Cash原理、匿名集、监管挑战。

21隐私 DeFi 协议

Aztec Network、zkSync Privacy、隐私AMM设计。

22去中心化身份 (DID) 与零知识证明

DID标准、ZK-credentials、选择性披露。

23链上隐私投票

MACI协议、二次方投票与隐私保护。

24ZK-Rollup 与隐私

zkSync Era、Scroll、StarkNet 隐私扩展方案。

25隐私 NFT 与数字资产

ERC-721隐私问题、ZK-NFT方案、隐私市场。

26监管与合规

反洗钱(AML)与隐私平衡、合规ZKP方案、旅行规则。

27零知识证明开发工具链

Circom、Noir、ZoKrates、Arkworks 对比。

28性能优化与挑战

证明生成时间、内存优化、硬件加速(GPU/FPGA)。

Lookup Arguments、折叠方案(Nova/SuperNova)、基于格ZKP。

隐私计算与AI结合、量子安全隐私方案、Web3隐私终极形态。