per elaborare: il consenso (cioè blockchain) non può verificare ogni proprietà utile c'è un insieme molto più ampio di problemi (non risolti) che possono essere risolti utilizzando tecniche di verifica moderne (ZK, FHE, TEE) in particolare sono interessato allo spazio dei problemi della rete verificabile