微软推出首个无需做可信设置的 zkSNARK 技术方案 Spartan

Microsoft （微软）宣布推出一种高效且通用的零知识证明技术方案 Spartan，该方案能在更短时间内以更高效的方式实现简洁非交互的零知识证明（zkSNARK），是首个无需做可信设置的 zkSNARK 方案。据官方介绍，在公开的 SNARK 方案中，Spartan 的零知识证明验证速度最快，根据对比基数的不同，速度大约为 36-152 倍，生成证明的速度为 1.2-416 倍。与最先进的（需要做可信设置的） zkSNARK 方案相比，对于任意 R1CS 实例，Spartan 的验证器都要快 2 倍，数据并行工作负载速度快 16 倍。目前，该技术方案正在开发中，代码库也尚未进行安全审查和代码审计，未来将提供标准化 API 接口。