#sxt $SXT @SpaceandTime برز أمر غريب أثناء قراءتي لوثائق Proof of SQL... إذ يجري التحقق من الإثبات على السلسلة مقابل نحو 150k من الغاز، ولا يهم كثيرًا حجم الجدول.
قد لا تتجاوز تكلفة التحقق نحو 150k من الغاز، بينما يمكن إثبات الاستعلامات التجميعية على أكثر من مليون صف في أقل من ثانية باستخدام وحدة معالجة رسومات T4 واحدة. كان الاختبار المعياري السابق يستغرق 3.2 ثانية على مليون صف، لذا أصبح المُثبِت أسرع بكثير. وفي كلتا الحالتين، تظل مهمة العقد صغيرة؛ إذ يتحقق من إثبات موجز ولا يتعامل مع البيانات مطلقًا.
أعتقد أن هذا الفصل هو جوهر الموضوع. يمكن لبروتوكول إقراض الاعتماد على متوسط استخدام لمدة 90 يومًا دون الوثوق بمن حسبه. ويمكن لوكيل ذكاء اصطناعي أن يبيّن مصدر أرقامه. ويمكن التحقق من رقم احتياطيات صندوق مُرمّز بمقارنته بالجدول الذي يستند إليه. الآلية نفسها في كل مرة، ولهذا يثير @SpaceandTime اهتمامي أكثر مما يوحي به وصف «البيانات القابلة للتحقق».
ما يقلقني هو جانب إنشاء الإثبات. التحقق رخيص، لكن وقت إنشاء الإثبات يزداد مع حجم الجدول. إذا كان التوسع خطيًا (وهذا مجرد افتراض تقريبي مني، وليس معيارًا منشورًا)، فإن جدولًا يضم 100 مليون صف سيحوّل الثواني إلى دقائق لكل استعلام على وحدة معالجة رسومات واحدة. وسيجعل هذا الطلب الوصول إلى وحدات معالجة الرسومات عنق الزجاجة، وعندها يصبح السؤال: من سينتهي به الأمر إلى تشغيل المُثبِتين؟
ربما يكون هذا هو الاختبار الحقيقي لـ $SXT ، إذ يُفترض أن ينسّق بين من ينشئ الإثبات ومن يدفع تكلفته. #SXT
إذا ارتفع الطلب على إنشاء الإثبات يومًا ما، فهل ستظل الشبكة مفتوحة أمام مشغّلين جدد، أم ستنحرف نحو عدد قليل من مزارع وحدات معالجة الرسومات الكبيرة؟
قد لا تتجاوز تكلفة التحقق نحو 150k من الغاز، بينما يمكن إثبات الاستعلامات التجميعية على أكثر من مليون صف في أقل من ثانية باستخدام وحدة معالجة رسومات T4 واحدة. كان الاختبار المعياري السابق يستغرق 3.2 ثانية على مليون صف، لذا أصبح المُثبِت أسرع بكثير. وفي كلتا الحالتين، تظل مهمة العقد صغيرة؛ إذ يتحقق من إثبات موجز ولا يتعامل مع البيانات مطلقًا.
أعتقد أن هذا الفصل هو جوهر الموضوع. يمكن لبروتوكول إقراض الاعتماد على متوسط استخدام لمدة 90 يومًا دون الوثوق بمن حسبه. ويمكن لوكيل ذكاء اصطناعي أن يبيّن مصدر أرقامه. ويمكن التحقق من رقم احتياطيات صندوق مُرمّز بمقارنته بالجدول الذي يستند إليه. الآلية نفسها في كل مرة، ولهذا يثير @SpaceandTime اهتمامي أكثر مما يوحي به وصف «البيانات القابلة للتحقق».
ما يقلقني هو جانب إنشاء الإثبات. التحقق رخيص، لكن وقت إنشاء الإثبات يزداد مع حجم الجدول. إذا كان التوسع خطيًا (وهذا مجرد افتراض تقريبي مني، وليس معيارًا منشورًا)، فإن جدولًا يضم 100 مليون صف سيحوّل الثواني إلى دقائق لكل استعلام على وحدة معالجة رسومات واحدة. وسيجعل هذا الطلب الوصول إلى وحدات معالجة الرسومات عنق الزجاجة، وعندها يصبح السؤال: من سينتهي به الأمر إلى تشغيل المُثبِتين؟
ربما يكون هذا هو الاختبار الحقيقي لـ $SXT ، إذ يُفترض أن ينسّق بين من ينشئ الإثبات ومن يدفع تكلفته. #SXT
إذا ارتفع الطلب على إنشاء الإثبات يومًا ما، فهل ستظل الشبكة مفتوحة أمام مشغّلين جدد، أم ستنحرف نحو عدد قليل من مزارع وحدات معالجة الرسومات الكبيرة؟
