Bevis med noll kunskap komprimerar utförandet till bevis: ett bevis verifierar arbete för alla. Stor matematik av blockkedjor i små små bevis som är lätta att skala blockkedjor med.