libsnark教程 在这个库中,我们将使用创建一个简单的zkSNARK应用程序,这是一个用于zkSNARK证明的C ++库。 zkSNARKs使证明者可以简洁地说服任何验证者对给定语句的有效性,而无需透露除语句有效性以外的任何信息。 这项技术已经为诸如协议奠定了基础, 是一种为用户及其交易提供匿名的加密货币。 本教程将指导您安装libsnark ,设置开发环境以及构建简单的zkSNARK应用程序。 可以扩展该库以支持测试框架,性能分析基础结构等。 目录 介绍 Shafi Goldwasser,Silvio Micali和Charles Rackoff首次引入了零知识证明。 零知识证明可以使一方(证明方)说服另一方(检验方)给定的陈述是真实的,而不会透露陈述本身的有效性以外的任何信息。 zkSNARK是零知识证明的一种变体,它使证明者可以简洁地说服任何验证者给定语句的有效性,并实现计算零