provas de conhecimento zero comprimem a execução em provas: uma prova verifica o trabalho para todos. grande matemática das blockchains em provas minúsculas que são fáceis de escalar blockchains com.