在零知识系统方面，大多数设计最终都面临相同的选择。

zk-SNARKs 还是 zk-STARKs。

两者都很强大。两者都存在权衡。

对于需要将大量历史数据推送到链下的无限计算层，@brevis_zk 做出了非常慎重的决定。

他们选择了 zk-SNARKs。

这为何重要：

→ 极小的证明保持链上验证的低成本
→ 快速验证实现近实时的 dApp 逻辑
→ 工具链成熟且经过实战检验
→ 高效总结大量历史数据集的理想方案

这让一个 dApp 能够证明类似的事情：
用户在过去 30 天内执行了 100 次交换
而无需透露具体的交换内容或任何敏感细节

所有信息都压缩成只有几百字节的证明。

像这样的简单设计选择，正是大规模可验证计算得以真正实现的关键。