发布于 2025-06-24
摘要
Haskell 语言实现zk-SNARKs:区块链零知识证明实战 零知识证明(Zero-Knowledge Proof,简称ZKP)是一种密码学技术,允许一方(证明者)向另一方(验证者)证明某个陈述是真实的,而无