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 se pueden resolver utilizando técnicas modernas de verificación (ZK, FHE, TEE) en particular, estoy interesado en el espacio de problemas de redes verificables