Изучал Cosmos IBC-контракты, развернутые на Ethereum, и обнаружил интересную деталь о том, как управляются их ZK-легкие клиенты. SP1-доказательства проверяют консенсус Cosmos, но сама реализация легкого клиента все еще может быть изменена через управление. Они действительно использовали это во время обновления в июне, чтобы перейти с Tendermint-клиентов на SP1 v6.1. Текущая система использует OpenZeppelin AccessManager, Safe-кошелек с управлением 4 из 7 и таймлок на 72 часа. Таким образом, хотя проверка консенсуса криптографическая, система все еще имеет административный уровень доверия. И я считаю, что это важно понимать. Если кто-то может изменить реализацию легкого клиента, которой доверяет роутер, то безопасность всей системы также зависит от того, кто контролирует это разрешение. Я не утверждаю, что здесь есть уязвимость. Механизм миграции является преднамеренным и полезным для обновлений и восстановления. Но я хочу понять, что произойдет, если ключи управления будут скомпрометированы, действительно ли все чувствительные изменения проходят через таймлок и как пользователи могут проверить обновление до его выполнения. источник: https://t.co/dnN5drqJMi