Para elaborar: o consenso (ou seja, blockchain) não pode verificar todas as propriedades úteis há 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 problemático da rede verificável