قبل ساعة، قال فلاد تينيف جملة واحدة: خلال عامين، ستخضع جميع الشيفرات للتحقق الرسمي.

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

ما تغيّر حقًا هو مصدر الثقة. في الماضي، كان الحكم على موثوقية منصة ما يعتمد على تراخيصها وتقارير التدقيق وما إذا كانت تعوّض المتضررين عند وقوع مشكلة. لكن هذا لم يعد كافيًا؛ إذ يجب أن تكون الشيفرة نفسها قادرة على تقديم برهان يثبت أنها تعمل فعلًا كما كُتبت.

كانت الأصول على السلسلة تسير وفق هذا المنطق منذ اليوم الأول: القواعد مكتوبة في العقود، ومتاحة للجميع للتحقق منها. تلك السلسلة، $BTC ، تعمل منذ سبعة عشر عامًا بلا انقطاع، بفضل بساطتها وقابليتها للتحقق. وإذا بدأ التمويل التقليدي يطالب هو الآخر ببراهين قابلة للقراءة آليًا، فستكون لغة الطرفين قد التقت للمرة الأولى.

في اليوم الذي يصبح فيه التحقق معيارًا معتمدًا في القطاع، ماذا سيبقى للمنصات التي تسوّق لنفسها عبر هياكل معقدة لترويج قصصها؟