零知识证明 (ZKP)

零知识证明让一方能够证明某个陈述为真，而无需公开底层数据或重做工作。关键在于，验证证明的成本远低于生成证明。

例如，Pearl 使用零知识证明（通过名为 Plonky2 的系统），让矿池能以很低的成本重新验证每个份额的繁重计算都已正确完成。