文章重点探讨了zk-SNARKs（零知识、简洁、非交互式知识证明）的起源、基础知识和不同证明系统的兴起。同时，文章还介绍了一些新的进展，如新的多项式承诺方案和可定制的约束系统，这些进展将继续推动证明系统的发展。
作者还强调，虽然最初有两条主线（SNARK与STARK），但两者之间的界限已经开始淡化，试图结合不同证明系统的优点。未来，新的证明系统将继续兴起，性能也随之提高，同时对于一些需要一些时间适应的系统来说，将很难跟上这些发展，除非可轻松地使用这些工具，而无需更改一些核心基础设施。文章通过深度的研究和分析，为初学者、从业者和研究人员提供了全面的知识和发展趋势。
