零知识证明的数学本质：从交互式证明到zk-SNARK的密码学革命 零知识证明如何让证明者在不泄露任何秘密信息的情况下说服验证者相信某个断言为真？本文从Goldwasser-Micali-Rackoff的交互式证明系统出发，深入拆解QAP的构造、椭圆曲线配对的数学原理，以及Groth16优化方案的核心思想。 密码学 2026年10月16日 0 点赞 0 评论 4 浏览
