Щоб уточнити: консенсус (тобто блокчейн) не може перевірити кожну корисну властивість існує набагато ширший набір (невирішених) проблем, які можна вирішити за допомогою сучасних методів верифікації (ZK, FHE, TEE) Зокрема, мене цікавить проблемний простір перевірених мереж