الحوسبة القابلة للتحقق والحقيقة المُتحقَّق منها ليسا الشيء نفسه، وهذا التمييز أهم مما يدركه معظم الناس.

طوّرت Space and Time نظام Proof of SQL، وهو نظام إثبات صفري المعرفة حيث ينفّذ المُثبِت استعلام SQL على بيانات مُلتزم بها تشفيريًا ويولّد إثباتًا. ويمكن للمتحقق، سواء كان عقدًا ذكيًا على السلسلة أو عميلًا خارج السلسلة، أن يتحقق بعد ذلك من أن النتيجة تطابق الاستعلام المحدد ومجموعة البيانات المُلتزم بها دون إعادة تشغيله. وهذا يسد فجوة ثقة حقيقية عند طبقة الحوسبة.

إليك مثالًا افتراضيًا لتوضيح الحد الفاصل: تخيّل صندوقًا مُرمَّزًا للعقارات يخزن أرقام الاحتياطي في جدول لدى Space and Time. في هذا المثال، يمكن لـ Proof of SQL التحقق من استعلام يجمع إجمالي الاحتياطيات المسجلة للصندوق. لكنه لا يستطيع إثبات ما إذا كانت تلك المدخلات تطابق الأصول الحقيقية المحتفظ بها خارج السلسلة. يغطي الإثبات سلامة الحوسبة، وليس ما إذا كانت المدخلات الخارجية تعكس الواقع.

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

#sxt $SXT @SpaceandTime