rusk vm هي جزء من الورقة البيضاء الذي جعلني أدرك أن الأمر ليس مجرد سلسلة خصوصية بخطوات إضافية؛ بل إنها تقوم فعلًا ببناء بيئة تنفيذ خاصة بها.

إنها مبنية على الويبأسيمبلي، لذلك فهي ترث معظم أوامر wasm الأصلية، لكنها تضيف فوق ذلك وظائف مضيفة. التجزئة، والرياضيات الخاصة بالمنحنيات الإهليلجية، والتحقق من التوقيعات، والتحقق من إثباتات المعرفة الصفرية—كل ذلك يمكن استدعاؤه بشكل أصلي بدلًا من أن يكون “ملصقًا” عبر

مكتبة خارجية.

تسعير الغاز لكل استدعاء دالة، وهذا يجعلها “شبه مكتملة تورينج” بدلًا من أن تكون مكتملة تورينج بالكامل—بشكل أساسي كحل بديل لـ.$BOME

مشكلة التوقف، بحيث لا يمكن للتنفيذ أن يستمر إلى ما لا نهاية.

الجدير بالملاحظة هو التحقق الأصلي لـ zk. معظم الـ vms تتعامل مع التحقق من الإثبات كحساب خارجي مكلف، بينما تعامِل rusk.$BTW

ذلك كعملية من الدرجة الأولى. من المثير للاهتمام مقارنة تكاليف الغاز للتحقق من zk باستدعاء عقد عادي على هذا الشيء؟

#dusk @Dusk $DUSK