Para elaborar: el consenso (es decir, blockchain) no puede verificar todas las propiedades útiles hay un conjunto mucho más amplio de problemas (no resueltos) que pueden resolverse utilizando técnicas modernas de verificación (ZK, FHE, TEE) En particular, estoy interesado en el espacio problemático de las redes verificables