零知識證明將執行壓縮為證明：一個證明驗證所有人的工作。 區塊鏈的大數學在於微小的證明，這些證明易於擴展區塊鏈。