إدخال الفولاذ: سبيكة صلبة ، تربط RISC Zero بالإيثريوم

أدى نجاح Ethereum إلى نظام بيئي مزدهر للتطبيقات اللامركزية ، لكن تحديات قابلية التوسع أصبحت واضحة بشكل متزايد. يترك للمطورين خيارا صعبا: الحد من الوظائف وثراء البيانات لتطبيقاتهم أو تحمل عبء رسوم الغاز المفرطة أو حدود الغاز. ماذا لو كانت هناك طريقة للمطورين لتجاوز هذه القيود؟

تمثل Steel، مكتبة إثبات استدعاء العرض المستندة إلى السبائك بواسطة RISC Zero، تحولا كبيرا في كيفية تفاعل المطورين مع السلاسل القائمة على Ethereum L1 أو EVM. من خلال تسخير قوة براهين المعرفة الصفرية و RISC Zero zkVM ، تمكن Steel المطورين من تنفيذ مكالمات العرض والقراءة والحساب بشكل مثبت على حالة Ethereum بطريقة قابلة للتطوير وآمنة وفعالة اقتصاديا.

راحة الصلابة ، مع قوة ZK.

يسد Steel الفجوة بين تطوير تطبيقات Ethereum وتقنية المعرفة الصفرية ، مما يجعل من السهل على المطورين تسخير قوة ZK في عقودهم الذكية أكثر من أي وقت مضى. إلى جانب قدرات RISC Zero zkVM ، تمكن Steel المطورين من بناء تطبيقات أكثر أمانا وقابلية للتطوير وكفاءة على Ethereum L1 أو أي سلسلة مكافئة ل EVM.

مع Steel ، يكتسب المطورون القدرة على:

• تنفيذ عقود Solidity الذكية مباشرة داخل zkVM للحصول على منطق أكثر تطورا على السلسلة
• الوصول إلى حالة Ethereum التاريخية داخل zkVM
• الحوسبة بدون قيود حجم الكتلة والمعاملات باستخدام الاستمرارية
• ضمان حسابات آمنة وموثوقة خارج السلسلة ، كما لو تم تنفيذها على السلسلة
• الاستفادة من أول zkVM جاهز للإنتاج ، تم اختباره واستخدامه بدقة من قبل مختلف الشركاء
• حساب خاص عبر حالة Ethereum
• حافظ على المرونة باستخدام قاعدة تعليمات برمجية مفتوحة المصدر ، بدون قيود من المورد

التكامل السلس وتوفير التكاليف

مع Steel ، يكون تنفيذ مكالمة عرض أمرا بسيطا مثل تحديد طرق الصلابة المطلوبة. سواء كنت تسترد رصيد رمز ERC-20 (مثال) أو الوصول إلى أي جانب من جوانب حالة Ethereum ، فإن Steel يبسط العملية مع ضمان الأمان والكفاءة من خلال التكامل السلس مع RISC Zero zkVM. أظهرت اختباراتنا قدرة Steel على التعامل مع أكثر من 100 ألف عملية SLOAD في مكالمة عرض واحدة ، مما قد يوفر آلاف الدولارات من رسوم الغاز على الشبكة الرئيسية. يمكننا إثبات ذلك في حوالي 15 دقيقة باستخدام بونساي. سيستغرق هذا ما لا يقل عن 210 مليون غاز ، متجاوزا حد الكتلة بمقدار 7 أضعاف.

مثال: رصيد ERC20

في مقتطفات الشفرة أدناه ، نوضح عملية إثبات توازن عنوان معين لعقد ERC-20 المنشور على Ethereum باستخدام Steel. يوضح هذا المثال كيف يمكن للمطورين استخدام Steel للتفاعل مع بيانات Ethereum على السلسلة داخل حدود zkVM. يمكنك العثور على الكود الكامل هنا.

تعريف توقيع وظيفة العرض

ابدأ بتحديد توقيع وظيفة التوازن ERC-20 باستخدام sol! ماكرو. سيؤدي هذا إلى تحليل بناء جملة Solidity لإنشاء بنية Rust مقابلة ، والتي تنفذ سمة SolCall. يمكن استخدام هذه البنية لاستدعاء طريقة balanceOf ، والتي تأخذ عنوان حساب وترجع رصيد الرمز المميز ERC-20 المرتبط.

التحضير للمكالمة

بعد ذلك ، قم بإعداد المكالمة عن طريق إنشاء بنية balanceOfCall مع عنوان الحساب الهدف. أيضا ، حدد ثوابت لعنوان العقد الذي ترغب في الاستعلام عنه وعنوان المتصل.

تنفيذ المكالمة بشكل رئيسي

يتم تنفيذ الوظيفة الرئيسية في zkVM ، مما ينتج عنه دليل على المعرفة الصفرية. يبدأ بقراءة بيئة الإدخال ، ثم يقوم بإنشاء كائن ViewCallEnv ، مما يضمن تطابق الحالة الحالية مع جذر الحالة المتوقع. بعد الالتزام بتجزئة الكتلة ذات الصلة ورقمها ، يتم تنفيذ مكالمة العرض ، ويتم طباعة الرصيد.

كيف تعمل

يبسط Steel عملية إثبات تنفيذ كود الصلابة في RISC Zero zkVM في ثلاث خطوات بسيطة:

1. مرحلة ما قبل الرحلة: ابدأ رحلة ما قبل الرحلة عن طريق إجراء مكالمة عرض إلى عقدة Ethereum RPC. يؤدي هذا إلى تخزين فتحات التخزين الضرورية مؤقتا، وملء قاعدة بيانات EVM بالبيانات المطلوبة للاستعلام فقط. يتم اكتشاف جميع فتحات التخزين وجلبها تلقائيا بناء على تنفيذ مكالمة العرض.
2. التحقق من التخزين: قم بإجراء فحص سلامة التخزين ، والتأكد من أن البيانات الموجودة في قاعدة بيانات EVM تتوافق مع جذر حالة blockchain ، وبالتالي تأكيد شرعيتها.
3. تنفيذ الصلابة: قم بتشغيل وظيفة الصلابة المحددة على EVM ، داخل RISC Zero zkVM.

كيف يختلف هذا عن براهين التخزين؟

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

الحصول على تجزئة الكتلة التي تم التحقق منها

عند استخدام رمز التشغيل blockhash للتحقق من الصحة في عقود Ethereum الذكية ، يجب أن يشير الالتزام بالتحقق من الصحة إلى حظر لا يزيد عمره عن 256 كتلة. بالنظر إلى متوسط وقت الكتلة البالغ 12 ثانية ، فإن هذا يحدد إطارا زمنيا ضيقا يبلغ حوالي 50 دقيقة لإكمال إنشاء الإثبات وتأكيد إدراج معاملة التحقق من الصحة داخل كتلة.

عندما تكون هناك حاجة إلى تجزئة كتلة تم التحقق منها أقدم من 256 كتلة على السلسلة ، يمكن استخدام عدد من الاستراتيجيات:

• عندما تكون تجزئة الكتلة التي ستكون مطلوبة معروفة مسبقا (على سبيل المثال عند بدء اقتراح للحوكمة) ، يمكن حفظ تجزئة الكتلة هذه في حالة العقد.
• هناك طريقة أخرى تتمثل في استخدام RISC Zero لإثبات سلسلة التجزئة من الكتلة التي تم الاستعلام عنها حتى كتلة في أحدث 256.

مستقبل التطبيقات على السلسلة

نحن نتصور مستقبلا حيث يوجد تكامل سلس للحوسبة خارج السلسلة مع التحقق من الصحة على السلسلة. الصلب هو مساهمتنا في جعل هذه الرؤية حقيقة واقعة ، من خلال تمكين المطورين من الوصول والحساب بشكل مثبت على التاريخ الكامل ل Ethereum داخل zkVM لإنشاء الموجة التالية من التطبيقات الغنية بالبيانات والأكثر وظيفية على السلسلة.

ابدأ مع الفولاذ

يعد Steel مكونا رئيسيا لالتزام RISC Zero بإطلاق zkVM 1.0 ، وهو علامة فارقة نحو التحقق من الإثبات الرخيص والآمن على السلسلة والبراهين العالمية للمعرفة الصفرية. ابدأ مع Steel اليوم من خلال زيارة GitHub repo للحصول على الوثائق وأمثلة التعليمات البرمجية والموارد لمساعدتك على دمج Steel في مشروعك.

اخلاء المسؤوليه:

1. تمت إعادة طبع هذه المقالة من [riscze]. جميع حقوق الطبع والنشر تنتمي إلى المؤلف الأصلي [سانتياغو كامبوس]. إذا كانت هناك اعتراضات على إعادة الطباعة هذه ، فيرجى الاتصال بفريق Gate Learn ، وسوف يتعاملون معها على الفور.
2. إخلاء المسؤولية: الآراء ووجهات النظر الواردة في هذه المقالة هي آراء المؤلف فقط ولا تشكل أي نصيحة استثمارية.
3. تتم ترجمة المقالة إلى لغات أخرى من قبل فريق Gate Learn. ما لم يذكر ، يحظر نسخ المقالات المترجمة أو توزيعها أو سرقتها.