SoK: Understanding zk-SNARKs: The Gap Between Research and Practice.
本论文是一篇关于 zk-SNARKs(零知识简洁非交互式知识论证)的系统性综述(SoK)。zk-SNARKs 是证明计算正确性的强大密码学工具,吸引了研究人员、开发者和用户的广泛兴趣。然而,其复杂性导致不同群体之间存在认知与应用上的鸿沟:研
共收录 2 条相关情报。
← 返回所有主题本论文是一篇关于 zk-SNARKs(零知识简洁非交互式知识论证)的系统性综述(SoK)。zk-SNARKs 是证明计算正确性的强大密码学工具,吸引了研究人员、开发者和用户的广泛兴趣。然而,其复杂性导致不同群体之间存在认知与应用上的鸿沟:研
该论文研究如何安全高效地将zk-SNARKs证明的生成任务外包给单个不信任的服务器,同时保护用户的隐私。zk-SNARKs是一种零知识证明,允许证明者向验证者证明某个陈述为真,而无需泄露任何额外信息。然而,生成zk-SNARKs证明的计算开