深度剖析零知识证明 zkSNARK 输入假名漏洞：为什么零知识证明系统并非万无一失？