دعونا نتحدث عن قوة خارقة في ستاركنت: سييرا. عندما تبني بلوكشين مبني على ZK، مع آلة افتراضية تعتمد على ZK للحوسبة العامة (مثل كايرو ل Starknet)، ستواجه مشكلة: كيف تجعل الجهاز الافتراضي آمنا للبلوكشين وصديقا ل ZK؟ المشكلة هي مسألة عدم الحتمية. سأشرح: تصبح أجهزة zkVM أكثر كفاءة إذا تمكن المتسلسل أو المحقق من "تخمين" بعض الإدخالات وملؤها بشكل سحري. المشكلة أن هذا يفتح مجالا لهجمات متنوعة: قد يرسل المستخدم الخبيث رسالة لا يمكن تخمينها بسهولة، ويمكن للمتسلسل أو المحقق الخبيث أن يقرر عدم تخمين القيمة الصحيحة لإلحاق الضرر بالمستخدم. ما هو الحل؟ - أحد الخيارات هو إزالة اللاحتمية. لكن هذا يضر بالكفاءة. - خيار آخر هو استخدام طرق نظرية الألعاب للسماح للمتابعين الآخرين بمعاقبة المهاجمين مع تحفيز بعض المتسلسل على تضمين معاملات جيدة. - الخيار الثالث هو بناء تمثيل وسيط آمن (نسميه: سييرا). تسمح سييرا بالنوع المناسب من اللاحتمية، بطريقة يمكن من خلالها ملء كل التخمينات. على طول الطريق، تتيح هذه الأداة حل أمور أخرى مميزة، مثل إضافة عداد الغاز كجزء من عملية التجميع. الملخص: تحت غطاء القاهرة، أفضل لغة عقود ذكية، هناك جوهرة، قوة خارقة، تسمح بتشغيل ZK القائم على البلوكشين بأمان وفعالية. فقط على ستارك نت، تكنولوجيا المستقبل اليوم.