libsnark-tutorial:zkSNARK教程和开发环境-源码

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