Facebook 开源计算完整性库 —— Winterfell
近日,Facebook 除了开源了前两天我们介绍过的Droidlet以外,他们还开源了另一个项目 ——Winterfell,这是一个旨在帮助那些没有深入了解密码学知识的开发者使用计算完整性(CI)证明的库。 CI 证明是一种密码技术,可以让开发者运行计算来获得一个结果。然后,开发人员可以使用 CI 证明来让其他人相信他们的计算是正确的,无论计算有多复杂或运行时间有多长 —— 有了 CI 证明,开发者就无需重新运行这些计算了,并且可以在短短几毫秒内验证这种正确性。 CI 证明的另一个重要特性是能够隐藏用于运行计算的部分(或全部)输入。例如,开发者可以证明一个数字在给定的范围内,而无需透露该数字的确切值。 Winterfell 旨在通过为大多数计算生成证明,将 CI 证明带给更多的用户。对于任何可以用图灵完备语言描述的程序 —— 例如 Java、JavaScript 和 Perl,该库可以使用一种叫做可扩展透明知识论证(STARK)的技术生成一个 CI 证明。 STARK 有许多吸引人的特性,包括抵抗来自量子计算机的潜在攻击、完全透明,以及在处理统一计算或具有规则结构的计算时能够快速生成证...

