Siamo passati da "Non essere malvagi" (Google) a "Non può essere malvagio" (Bitcoin). Lo Standard di Prova ci porta a "Non può essere falso" (STARKs).