Bukti tanpa pengetahuan mengompresi eksekusi menjadi pembuktian: satu bukti memverifikasi pekerjaan untuk semua orang. matematika besar blockchain dalam bukti kecil kecil yang mudah diskalakan blockchain.