2024-02-21

一个单一的证明系统统治全部是不太可能的，因为：
应用的多样化。
我们所面临的约束类型（内存、验证时间、证明时间）。
对鲁棒性的需求（如果一个证明系统被破解，我们还有其他选择）。
尽管证明系统经历了巨大变革，它们都提供了一个共同特性：证明可以快速验证。存在一个验证证明的层次，它可以轻松适应新的证明系统，解决更改底层技术（如以太坊）相关的挑战。为了概述SNARKs的不同特性，我们关注以下方面：
密码学假设：抗碰撞哈希函数、椭圆曲线的离散对数问题、指数知识。
透明度与信任设置。
证明者时间：线性与超线性。
验证者时间：恒定时间、对数、亚线性、线性。
证明大小。
递归的便利性。
算术化方案。
单变量与多变量多项式。

我们需要很多的基础理论来支持。