في البداية افترضت أن إثبات المعرفة-صفرية في خزائن بيتكوين غير قابلة للثقة التابعة لبابلون كان قصة الأمان كاملة؛ إثباتٌ صحيح يعني استردادًا صحيحًا، انتهى النقاش. لكن بعد التعمق أكثر في كيفية معالجة TBV للسحب فعليًا، اتضح أن الإثبات ليس سوى نصف القصة. عندما يقدّم شخص طلب استرداد، مدعومًا بإثبات ZK يثبت حدوث حدث ما على سلسلة المضيف مثل Ethereum، فإن هذا الادعاء لا ينفذ فورًا. بل يفتح نافذة أولًا لإثبات الاحتيال، وهي فترة يمكن لأي شخص مؤهل خلالها الاعتراض على الادعاء إذا كان هناك خطأ. المُودِع نفسه دائمًا مسموح له أن يكون هو المتحدّي الخاص به، وهو أمر يَبدو مطمئنًا حتى تدرك ما يتطلبه ذلك بالفعل: أن تبقى أنت شخصيًا واعيًا بما يكفي لاكتشاف ادعاء سيئ قبل أن تُغلق تلك النافذة. إذا لم تكن تراقب، ولم يحدث ذلك من طرف أي شخص آخر أيضًا، فقد يحصل استرداد غير صالح على فرصة حقيقية للمرور دون أن يتعرض للاعتراض. وهناك تفصيلة فاجأتني أكثر مما ينبغي. الاسترداد ليس جزئيًا. إنه للخزنة كاملة فقط: قطعة تدخل، وقطعة تخرج، لذا لا يوجد فكّ تدريجي، بل نافذة واحدة فقط حيث يتم إمّا الاعتراض بشكل صحيح على كامل الموقف أو لا يتم. وتحته كل ذلك يقبع BABE، طبقة التحقق من الإثبات التي تجعل أي شيء من هذا قابلًا للتحقق تشفيريًا من الأساس. وقد صرّح الفريق بوضوح أنه بدون BABE، لا توجد أي عملية تحقق غير قائمة على الثقة على الإطلاق؛ النظام بأكمله يتوقف عن العمل. لذلك فالوصف الصادق ليس "الرياضيات تؤمّن بيتكوينك". بل هو "الرياضيات تجعل الادعاء الكاذب قابلًا لإثباته، بشرط أن يكون هناك شخص بالفعل في موقع يسمح له بإثباته في الوقت المناسب. @BabylonLabs_io #baby
$BABY
$COTI