para elaborar: o consenso (ou seja, blockchain) não pode verificar todas as propriedades úteis existe um conjunto muito mais amplo de problemas (não resolvidos) que podem ser resolvidos usando técnicas modernas de verificação (ZK, FHE, TEE) em particular, estou interessado no espaço de problemas de redes verificáveis