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