Provas que convencem um verificador de que uma afirmação é verdadeira sem revelar nada além disso — por exemplo, que uma computação foi executada corretamente. No Bitcoin, aparecem em propostas de rollups, pontes baseadas em BitVM, provas de reservas, sincronização de nós e mineração.