Nollatietotodistukset tiivistävät suorituksen todistuksiksi: yksi todiste varmistaa, että kaikkien työ. Lohkoketjujen suuri matematiikka pienissä pienissä todistuksissa, joilla lohkoketjuja on helppo skaalata.