Sonic : 一种优化的零知识证明zk-SNARKs方案 滚动

洒脱喜 滚动
零知识证明已成为解决加密货币和其他应用隐私和可扩展性问题的主要工具。在很多系统中，每个客户端下载并验证每一个新的证明，所以证明的验证必须是小而便宜的。而来自伦敦大学学院的Mary Maller、Sarah Meiklejohn，爱丁堡大学的Markulf Kohlweiss，以及来自Zcash公司的Sean Bowe，共同提出了一种称为Sonic的零知识证明协议，其对此前存在的zk-SNARK方案进行了改善，此外，论文中也提到了该方案与其他隐私方案（如防弹证明协议）的对比。
学术向丨神奇的零知识证明和zkSNARK究竟是什么 滚动

洒脱喜 滚动
所谓零知识证明（zero-knowledge proofs），最初是由麻省理工教授Shafi Goldwasser、Silvio Micali（注：两人都是图灵奖得主）以及另一位密码学大牛Charles Rackoff于20世纪80年代初共同提出的[1]。有了零知识证明，就允许一方（证明者）说服另一方（验证者），一个给定的论断是真实的，而不会泄露任何超过论断本身有效性的信息。