كنت أبحث في كيفية التحقق من توافق Cosmos IBC على Ethereum باستخدام إثباتات SP1. شيء يهمني أكثر من إثباتات ZK نفسها هو من يتحكم في المُحقق. لأنك يمكنك أن تمتلك إثباتات صحيحة رياضيًا، لكن إذا كان لدى شخص إذن بترقية العميل الخفيف أو تغيير مفاتيح التحقق الموثوقة، فهذا سؤال أمني مختلف تمامًا. استخدام Ethereum يعتمد على توقيع متعدد المفاتيح 4 من 7 مع ضوابط إدارية مُؤجلة. الآن أريد تتبع ما يمكن لهذه الإدارة بالضبط تغييره، وما إذا كان يمكن إدخال مُحقق خبيث من خلال ترقية، وما الذي يمكن للمستخدمين فعله فعليًا أثناء فترة التأجيل. تثبت ZK أن حسابًا معينًا تم تنفيذه بشكل صحيح. لكنها لا تثبت أن الأشخاص الذين يتحكمون في أي حساب يتم التحقق منه لا يمكنهم تغييره. هذا هو الجزء الذي أريد استكشافه.