机构名称：
¥ 2.0
零知识简洁的知识范围（ZK-SNARK）是证明计算正确性的强大技术，并引起了研究人员的重大兴趣。在学术界和研究中提出了许多混凝土方案和实施。不幸的是，ZK-Snark的固有复杂性在研究人员，开发人员和用户之间造成了差距，因为它们对此技术的关注程度有所不同。例如，搜索者致力于构建具有更强安全性和新属性的新有效的证明系统。同时，开发人员和用户更多地关心Increntation的工具链，可用性和兼容性。这个差距阻碍了ZK-SNARK FIELD的发展。在这项工作中，我们提供了从理论到实践的ZK-SNARK的全面研究，并指出了差距和局限性。我们首先提出主配方，该食谱将程序转换为ZK-SNARK的主要步骤。然后，我们根据其关键技术对现有的ZK-SNARK进行分类。我们的分类解决了现有ZK-SNARK方案之间实际有价值的属性的主要区别。我们自2013年以来调查了40多个ZK-SNARK，并提供了一个参考表列出了其类别和适当的信息。按照主配方中的步骤，我们调查11通用通俗用过的库。我们详细介绍了这些库的可用性，兼容性，效率和局限性。我们确定证明系统是Cryptogra-Phy学术界的主要重点。由于安装和执行这些ZK-SNARK系统很具有挑战性，因此我们还提供了一个完全虚拟的环境，可以在其中为每个编译器运行编译器。相比之下，约束系统在行业中呈现了瓶颈。为了弥合这一差距，我们提供了建议和倡导开源社区的倡导者，以增强文档，标准化和兼容性。
SOK：了解ZK-SNARKS：研究与实践之间的差距
主要关键词
相关文件推荐
