本文对比 zk-SNARK 与 zk-STARK 两条零知识证明路线：是否需要可信初始化、证明大小与验证速度、安全假设与可扩展性的差异，以及各自适合什么场景。