Изучал, как Cosmos IBC проверяет консенсус на Ethereum с помощью SP1-доказательств. Меня интересует не столько сами ZK-доказательства, сколько то, кто управляет верификатором. Потому что даже если доказательства математически корректны, но кто-то имеет право обновить легкий клиент или изменить список доверенных ключей верификации — это совершенно другой вопрос безопасности. Развертывание на Ethereum использует мультиподпись 4 из 7 с таймлокированными административными контролями. Теперь я хочу точно выяснить, что именно могут изменить эти администраторы, можно ли через обновление ввести вредоносный верификатор и что пользователи могут сделать во время таймлока. ZK-доказательство подтверждает, что определённое вычисление было выполнено корректно. Оно не доказывает, что люди, управляющие тем, какое вычисление проверяется, не могут его изменить. Вот эту часть я хочу изучить подробнее.