文章链接

了解市场格局、零知识技术对挖矿市场产生的影响、以及潜在机会。

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/9c5ec3f7-f754-4ec0-b3d7-664a47cf2f24/3ddseufcku7rsnnt.png!heading

1. 引言

零知识证明允许一方在不需要透露任何额外信息的前提下，向另一方进行真实性证明。因此可以用来保护隐私，在隐藏所有细节的情况下证实交易的有效性。某些特定零知识协议在验证零知识证明上具有便利性，这很重要，例如STARK和SNARK。这些协议生成的证明较小，验证此类证明也会快很多。这很适合资源有限的区块链，并且在解决加密行业的可扩展性问题上尤为重要。除此之外，零知识技术的其他用例还包括：

• DID （去中心化 ID）——在避免泄露详细信息的前提下，证明某个账号或实体具有某些"特征"，例如 Sismo，First Batch
• 社区治理——用于匿名投票，并且在经过实践考验和广泛采用后，该用例可以延展至现实社会的治理中
• 财务报表——实体可以在避免透露确切财务数据的前提下，证明其符合某些特定标准
• 云服务的完整性——帮助云服务供应商更好地执行任务

一个典型的零知识系统工作原理如下：工程师首先用领域特定语言（DSL）编写要验证的陈述，然后将其编译成适合零知识的格式，比如算数环路。使用该格式生成参数后，证明系统会将这些参数与其见证的保密信息一起作为输入值来运行证明计算。通过相对简单的计算，验证者可以凭参数和证明来决定是否通过验证。使用零知识汇总的情况下，程序或合约本身部署在layer2上，而编译过程、参数和证明的生成将由部分layer2节点在链下执行，之后在以太坊主网上发布和完成验证。

一个典型的零知识系统

https://s3-us-west-2.amazonaws.com/secure.notion-static.com/ce092bdf-5e06-4fd6-a9d2-64a5c8956f21/zdv9c9z2rrnubfjr.png!heading

来源：ZK Whiteboard Sessions - Module One，由 Dan Boneh教授撰写

已有多个优秀的证明系统面世，例如 Marlin 、Plonky2、Halo2等。不同的证明系统在生成证明的大小、验证所需时间和是否需要可信设置等特性之间有不同的侧重。经过这几年的探索，无论陈述多么复杂，都有可能实现恒定的证明大小（几百字节）和较短的验证时间（几毫秒）。

然而，证明生成的复杂性与算术环路大小几乎成线性关系，所以难度甚至可能达到原始任务的数百倍。因为证明者至少需要阅读和评估环路，这就可能需要几秒钟到几分钟，甚至几小时。算力成本高和证明时间长一直是零知识技术进步和大规模应用的主要障碍。

硬件加速可以帮助打破瓶颈。借助算法或软件优化将多个任务分配给最适合的硬件，这将实现相辅相成。

本报告旨在帮助读者了解市场格局、零知识技术对挖矿市场产生的影响、以及潜在机会。报告由三部分组成：

• 不同项目的实际用例和最新趋势。