本文涉及了SNARK这一重要的加密工具，为系统设计带来了令人兴奋的新可能性。在去中心化的环境中，它们可以帮助互不信任的各方进行合作和交易。作者整理了一份关于该工具误解的清单，并试图在此澄清。例如SNARK中的S代表“简洁”，泛指证明简短、验证快速的证明系统。在需要强调SNARK是零知识的上下文中，作者用“zkSNARK”来表示SNARK，即简洁非交互式知识论。大多数SNARK都可以很容易地调整以支持Plonkish和AIR，主要的例外是Groth16及其前身，它们仅限于“degree-2约束”，有些人似乎对各种SNARK的相对通用性有一个基本落后的概念。如今，SNARK的性能已经足够强大，现在应该出现了僵化的局面。