لاحظتُ أن التحقق من إثبات استغرق وقتًا أطول من المعاملة التي كان يتحقق منها. لحظتُ الأمر فورًا وكأن شيئًا لا ينسجم.

راجعتُ مستكشف الكتل. كان كل ما يأتي بعد ذلك سريعًا. كان عنق الزجاجة في المنبع نفسه، أي في توليد الإثبات ذاته.

افترضتُ أنه كان مشكلة نيوتن. بعض قائمة داخلية تتراكم.
وكان ذلك أول عدم تطابق. لم يكن نيوتن على الإطلاق.

كان الإثبات قادمًا من شبكة مُثبتات Succinct، وهي سوق منفصلة تتنافس فيها مُثبتات مستقلة لتوليد إثباتات ZK، ثم يتم مطابقتها بواسطة مُزايد/مُسعّر (auctioneer) خارج السلسلة (off-chain)، وبعد ذلك يتم تسويتها على السلسلة (on-chain).

القدرة لا تعني التغطية. توجد سعة إثبات كبيرة في الشبكة عمومًا. لكن هذا لا يعني أن مُثبتًا سيكون متاحًا فورًا لطلبك تحديدًا في لحظتك تحديدًا. إنها سوق، وليست قائمة انتظار أنت أول من يَصله.

يبدو مسار السلسلة هكذا: تتطلب السياسة تحققًا تشفيرياً → يتم إرسال الطلب إلى شبكة المُثبتات → يقوم المُزايد بمطابقته مع مُثبت متاح → يتم توليد الإثبات خارج السلسلة → يتم تسوية الإثبات على السلسلة → طبقة إقرار/اعتماد نيوتن تقبل أو ترفض.

كل واحدة من هذه القفزات (الخطوات) هي نظام مستقل، ولكلٍ منها زمن انتقال خاص.

ما لم أكن قد حسبته من قبل — المُثبتون مدفوعون اقتصاديًا، وليسوا مُلزَمين. إنهم يشغّلون حالات SP1 zkVM، ويقومون بالمزايدة على المهام، وإذا انخفضت العوائد لنوع طلب معيّن، فلا شيء يجبرهم على إعطائه أولوية.

السوق يحدد السرعة، وليس البروتوكول.

ما زلتُ أعمل على فهم مقدار ما يعنيه ذلك يوميًا مقارنةً بحالة الضغط الحقيقي. في صباحٍ هادئ، لا يمكن ملاحظته.

ماذا يحدث عندما يرتفع الطلب على الإثباتات بشكل حاد عبر عدة بروتوكولات في الوقت نفسه، وتتنافس طلبات الجميع على نفس الاهتمام المحدود من المُثبتين في آن واحد؟

@NewtonProtocol $NEWT #NEWT