كنت أستعرض تنفيذ Cosmos IBC على Ethereum ووجدت شيئًا مثيرًا جدًا. يقوم Ethereum بالتحقق من توافق Cosmos باستخدام إثباتات الصفرية المعرفة عبر SP1. بدلًا من تشغيل التحقق الكامل لعميل خفيف CometBFT داخل عقدة Ethereum، يقومون بتشغيل التحقق خارج السلسلة في برنامج Rust، ويولدون إثبات ZK، ثم يتحققون من هذا الإثبات على Ethereum. وهذا يعمل بالفعل على الشبكة الرئيسية. وجدت سجلات ترقيتهم في يونيو حيث قاموا بنقل العملاء الخفيفة على Ethereum إلى SP1 v6.1 ونقلوا بنجاح حزم Cosmos Hub باستخدام المُحقق الجديد. كما تحققّت من مقاييس الغاز الخاصة بهم. استقبال ERC20 موجود عبر IBC يتطلب حوالي 551 ألف غاز في اختباراتهم باستخدام Foundry، لكن عندما يُجمّعون 50 حزمة معًا، ينخفض المتوسط إلى حوالي 175 ألف غاز لكل حزمة. وهذا يمثل انخفاضًا بنسبة 68% تقريبًا في الغاز لكل حزمة. لكن هناك جانبًا آخر لهذا. لا يزال النظام يعتمد على مجموعة مُدققي Cosmos، وبرامج التحقق الصحيحة لـ SP1 والمفاتيح، وهيكل حوكمة يمكنه ترقية أو استعادة العملاء الخفيفة. لذلك، فإن التحقق باستخدام ZK لا يعني تلقائيًا أن هناك افتراضات ثقة صفرية. أعتقد أن هذه هي النقطة المثيرة حول اتجاه التوافقية. نحن ننقل التحقق المعقد من التوافق خارج السلسلة ونستخدم الإثباتات التشفيرية لجعله عمليًا على سلاسل كتل أخرى. المصدر: https://t.co/Y6IL0hSehd