零知识证明将执行压缩为证明：一个证明验证所有人的工作。 区块链的大数学在于微小的证明，这些证明易于扩展区块链。