вивчав, як Cosmos IBC перевіряє консенсус на Ethereum за допомогою SP1-доказів. мене цікавить не саме ZK-докази, а те, хто керує верифікатором. бо ви можете мати математично дійсні докази, але якщо хтось має дозвіл оновити легкий клієнт або змінити, які ключі верифікації вважаються надійними, це зовсім інше питання безпеки. розгортання на Ethereum використовує 4 з 7 мультипідписів із затримкою адміністративних контролів. тепер я хочу відстежити, що саме ці адміністратори можуть змінювати, чи можна через оновлення ввести зловмисний верифікатор, і що користувачі можуть зробити під час затримки. ZK-докази підтверджують, що певний обчислювальний процес був виконаний правильно. вони не підтверджують, що люди, що керують тим, який обчислювальний процес верифікується, не можуть його змінити. ось цю частину я хочу глибше дослідити.