إذا كنت تتابع @SpaceandTimeDB ، فقد سمعت بغزارة عن إثبات SQL (دليل ZK الجديد). لذلك اليوم ، سأطلعك على حالات الاستخدام في العالم الحقيقي لإثبات SQL مع أمثلة تتقاطع مع DeFi و oracles والبنية التحتية عبر السلاسل وتوفير السيولة وحتى المؤسسات. أولا - لنفترض أنك تريد إطلاق رمز مميز: $XYZ. لذلك تقترب من حوت وتعقد صفقة ... "مرحبا ، إذا أضفت 1 مليون دولار أمريكي إلى مجمع السيولة الخاص بي على uniswap ، فسأعطيك 1٪ من المعروض $XYZ." هذه الصفقة مكتوبة في عقد ذكي ، أليس كذلك؟ ولكن بعد ذلك ، يكمن التحدي الآن في أن هذا العقد يحتاج إلى الاستعلام والتحقق من أن هذا الحوت أودع بالفعل ما وعد به حتى يتمكنوا من الحصول على مكافأة. لذلك ، فأنت بحاجة إلى عقد ذكي يقول: - يتحقق من أن هذا الحوت أضاف بالفعل 1 مليون دولار أمريكي. - يتتبع المحفظة + الطابع الزمني. - يفرض مكافأة الرمز المميز بنسبة 1٪. لكن هذا الدولار البالغ 1 مليون دولار أمريكي يعيش في الواقع خارج السلسلة. Prolly على الرسم البياني الفرعي ل DeX أو واجهة برمجة تطبيقات UniSwap. هذا هو المكان الذي نريد أن نحضر فيه إثبات SQL. لذلك ، يتم الاستعلام عن إيداع سيولة الحوت عبر SQL ، ثم يتم التحقق منه بشكل مشفر وإدخاله أخيرا في العقد الذكي مع افتراضات انعدام الثقة. ثانيا ، مساءلة مشغل العقدة (القطع / المكافأة). في شبكات مثل @chainlink ، أو أي دبين، تقوم العقد المتعددة بالمهام (جلب الأسعار، والتحقق من الهويات، وتشغيل الحوسبة، وما إلى ذلك) ...