编译：DODO Research作者：0xAlpha  Co-founder @DeriProtocol介绍zk-SNARK，即“零知识简洁非交互式知识论证”，使得一名验证者 能够确认一名证明者 拥有某些特定知识，这些知识被称为 witness，满足特定的关系，而无需透露关于见证本身的任何信息。为特定问题生成 zk-SNARK 包括以下四个阶段：将问题（或函...