区块链 Web3零知识证明与隐私计算:zk-SNARK/zk-STARK 与应用深入零知识证明的数学核心与工程实践:Groth16/PLONK 证明系统对比、Circom 电路编写、Tornado 隐私交易原理、zkRollup 与 zkEVM 扩容,以及可验证凭证在身份体系中的应用。2026-09-2411 分钟阅读zero-knowledge zk-snark zk-stark