“工作的普遍证明”和咆哮？

Question

如果SNARKs能够证明任意复杂和困难的计算是正确的，那么是否可以用它们来创建一个工作系统的证明，其中任何计算都可以是“工作”？如果您能够开发一个SNARK系统，它可以以某种方式“测量”任意计算的计算工作量，从而允许将任何程序或计算用于相同的工作一致性证明方法？这将把“证明有用的工作”的想法带到最终的目的，即人们只需使用一台计算机来运行同样的计算，不管怎么说，但让这些人在所有的计算中工作，测量它们，并为一致的方法作出贡献，并获得矿工的奖励。

Answer 1

原则上，SNARKs对于使许多您可能想要用来证明工作效率的计算是有用的。然而，工作函数的证明仍然必须满足输入返回成功块的低概率(否则，块将被挖掘得太快，并且链可能分叉)。