Pentru a detalia: consensul (adică blockchain) nu poate verifica fiecare proprietate utilă există un set mult mai larg de probleme (nerezolvate) care pot fi rezolvate folosind tehnici moderne de verificare (ZK, FHE, TEE) În special, sunt interesat de spațiul problemei rețelelor verificabile