零知识证明

发现了一种保护秘密的新方法 - 纽约时报，1987年2月17日 VitalikButerin的Snarks介绍，第1部分，第3部分; 和刺痛，第1部分，第2部分和3部分。 Groth16 Dizk（WZCPS18）使得ZKSNark计算能够以每栅极10μs的成本（比现有技术快100倍），最多可逻辑栅极（超过现有技术的100倍） 一些证明系统需要结构化的参考字符串（SRS）。 以下作品讨论了安全的SRS生成。 [BGM18] - “TAU的力量”协议，用于Groth16的结构化参考字符串的可扩展生成 Pequin - 工具链可判断以libsnark支持的（大小）c表达的程序，以libsnark支持。 欢迎，更正和其他建议是欢迎！ 您可以在此提出编辑到此页面。 （请注意，在制作编辑后，有3个确认单击此页面以创建Git存储库中的“拉请求”。）