في الوقت الذي تتجه فيه العمليات القابلة للتحقق نحو مركز السرد الصناعي، تقوم RISC Zero بإعادة تشكيل أداء البلوكتشين وحدود الثقة من خلال مجموعة أكثر عمومية وانفتاحًا من بنية العمليات القابلة للتحقق باستخدام zk-SNARKs. بفضل أول zkVM عالمي قائم على RISC-V في الصناعة وطبقة العمليات القابلة للتحقق عبر السلاسل Boundless، فإن هذه المجموعة من المهووسين تعمل على دفع zk-SNARKs من أدوات نادرة إلى قوة الحوسبة السحابية على نطاق واسع، محاولين تجهيز الإنترنت اللامركزي بمحرك "فائق" قابل للتحقق.
في الآونة الأخيرة، اقترح فيتاليك بوتيرين، أحد مؤسسي الإيثيريوم، خطة لإجراء تغييرات جذرية على طبقة التنفيذ لشبكة الإيثيريوم: استبدال كود بايتات آلة الإيثيريوم الافتراضية (EVM) بمجموع تعليمات RISC-V. لن تؤثر الخطة الجديدة على الوظائف الأساسية للعقود الذكية مثل الحسابات والتخزين، ولكنها ستغير بشكل جذري طريقة تجميع وتشغيل كود العقود. إلى حد ما، يعتبر اقتراح فيتاليك هذا ليس فقط ترقية لمعايير الطبقة التنفيذية للإيثيريوم وقابليتها للتجميع، ولكنه أيضًا يعيد إدخال "الحساب القابل للتحقق"، الذي كان يُنظر إليه سابقًا على أنه تقنية باهظة الثمن وتجريبية، إلى مركز السرد الصناعي.
أ. RISC Zero: رائد zkVM العام
في مسار تطور الحساب القابل للتحقق، تُعتبر شركة RISC Zero الأمريكية المتخصصة في zk-SNARKs واحدة من أوائل وأكثر الممارسين تمثيلاً. لم يقوموا فقط ببناء أول zkVM عام على أساس نفس بنية RISC-V، بل قاموا أيضًا بإنشاء Boundless، وهو طبقة حساب قابلة للتحقق، في محاولة لترقية zk-SNARKs من أداة نقطة واحدة إلى "قوة الحوسبة السحابية" القابلة للمشاركة عبر السلاسل والتسويق. وهذا يعني أنه في المستقبل، لن يضطر المطورون بعد الآن إلى أن يكونوا مقيدين بتكاليف Gas المرتفعة على السلسلة أو قيود EVM نفسها، بل يمكنهم استدعاء موارد حساب قابلة للتحقق تكاد تكون غير محدودة على أي بلوكتشين.
في الوقت الحالي، تم إطلاق النسخة التجريبية من الشبكة الرئيسية Boundless. وأشار الرئيس التنفيذي Shiv Shankar إلى أن "Boundless تحقق عمليات عبر السلاسل آمنة من خلال تجنب مهام الحساب المتكررة، مما يعزز قابلية توسيع البلوكتشين. وهذا يزيد من الكفاءة، ويعزز الأمان، ويمكّن المطورين وعمال المناجم من المشاركة عبر الأنظمة البيئية. " وأشار الباحث في مؤسسة Ethereum Justin Drake إلى أن "RISC Zero zkVM الذي يدعم نظام Boundless البيئي يلبي جميع الاحتياجات الأساسية لتوسيع Ethereum: القدرة على إثبات فوري، بيئة تحقق متعددة وحدات معالجة الرسوميات المنزلية، ترخيص مفتوح المصدر مرن، وتنفيذ أساسي يتم بناؤه من الصفر."
في غضون أيام قليلة فقط على الشبكة الرئيسية Beta لـ Boundless، حقق هذا السوق الأول الذي يتحقق من توافق الإيثيريوم حجم تحقق يصل إلى 10 أضعاف الحد الأقصى الحالي (30 مليار) (500 مليار)؛ وقد نجح 576 موثقاً في تقديم إثباتاتهم، مما جعله الشبكة الأكثر لامركزية للموثقين على مستوى العالم؛ حقق حجم السوق نمواً بنسبة 10 أضعاف، بلغ حجم الطلب اليومي ذروته عند 8000 طلب، وبلغ عدد دورات الحساب 2.6 تريليون، مع انقطاع شبه معدوم، حيث تم تنفيذ أكثر من 99% من الطلبات يومياً؛ وقد قام موثق خارجي بتسجيل رقم قياسي جديد للسرعة، حيث وصل إلى 5.63 ميغاهيرتز، متجاوزاً الرقم السابق البالغ 2.5 ميغاهيرتز؛ تظل الطلبات تقريباً عند 0 طلبات مقفلة، مما يمنحنا لمحة مبكرة عن التأثير المحتمل ل POWV (إثبات العمل) على اعتماد إثبات ZK في المراحل المبكرة من تشغيل الشبكة الرئيسية؛ وقد بدأت الابتكارات المفتوحة بين الموثقين، ومن أبرزها قدرة الموثقين على قفل المهام داخل نفس الكتلة بسرعة أقل من 100 مللي ثانية.
ثانياً، كيف يعمل Boundless والتصميم الثوري له
في طريق تحويل zk-SNARKs من أداة نقطة واحدة إلى طبقة حسابية شاملة، كانت الاختراقات الرئيسية لـ Boundless تكمن في تحويل الحسابات القابلة للتحقق من قدرات تقنية معزولة إلى بنية تحتية على السلسلة قابلة للتسويق والتركيب.
عند النظر بشكل أكثر تحديدًا، فإن المنطق الأساسي لـ Boundless يتكون من ثلاثة عناصر رئيسية: zkVM العامة، بروتوكول التحقق عبر السلاسل، ونموذج اقتصاد PoVW (Proof of Verifiable Work).
zkVM العامة: تعتمد Boundless على zkVM (R0VM 2.0) الذي تم تطويره ذاتيًا بواسطة RISC Zero، والذي يستند إلى معمارية RISC-V القياسية المفتوحة، ويمكنه تنفيذ أي برنامج عام، وإنتاج إثباتات معرفة صفرية قابلة للتحقق. وهذا يعني أنه بغض النظر عن ما إذا كانت عقود EVM الذكية، أو إثباتات حالة Rollup، أو حسابات معقدة خارج السلسلة، يمكن أن يتحمل zkVM مسؤولية إنتاج إثباتات الصلاحية، والتي سيتم التحقق منها بسرعة بعد ذلك بواسطة العقود على السلسلة، وتكون العملية بأكملها شفافة للمستخدمين النهائيين والسلسلة الرئيسية.
بروتوكول التحقق عبر السلاسل: Boundless ليست مقيدة بسلسلة معينة، بل تم تصميمها منذ البداية على أنها عبر السلاسل: حيث يتم نشر عقد Boundless Market على عدة سلاسل في نفس الوقت، مما يخلق سوق تسوية بدون إذن، ويقوم تلقائيًا بمطابقة احتياجات إثبات المطورين مع موارد قوة الحوسبة من نقاط Prover في جميع أنحاء العالم. والأهم من ذلك، أن Boundless Market قد تم نشرها بشكل أصلي على جميع السلاسل الرئيسية، مما يعني أنه ليس على المطورين مغادرة بيئتهم البيئية المألوفة، بل يمكنهم فقط التفاعل مع عنوان العقد المحلي، واستخدام الرموز الأصلية للسلسلة لدفع الرسوم والحصول على إثباتات الحساب القابلة للتحقق في الوقت الفعلي. هذا التصميم للسوق الموزعة عبر السلاسل قد خفض بشكل كبير من عتبة الوصول، مما جعل الحسابات القابلة للتحقق تصبح موارد عامة على السلسلة يمكن جدولتها، تسويتها، وتجميعها مثل خدمات السحابة.
آلية تحفيز PoVW: الجزء الأكثر ثورية هو آلية تحفيز PoVW. بخلاف PoW الذي يكافئ فقط حسابات التجزئة، وPoS الذي يكافئ رأس المال الخامل، قام PoVW للمرة الأولى بتحويل العمل الفعلي للبرهان المعرفي إلى منتج، مكتملًا من خلال قياس ودفع على السلسلة. كلما أكمل Prover عددًا من الدورات الفعالة، يمكنه الحصول على مكافآت رمزية تتناسب مع العمل المنجز، كما أن بيانات القياس مسجلة بالكامل على السلسلة، وقابلة للتدقيق. هذه الآلية لا تضمن فقط مرونة في توفير قوة الحوسبة، بل تحفز المزيد من العقد على تحسين كفاءة البرهان وتقليل التكاليف، مما يكوّن سوقاً للعرض والطلب على قوة الحوسبة القابلة للتحقق.
كشف Jacob Everly ، المسؤول عن المنتجات التكنولوجية ، في مقابلة مع وسائل الإعلام هذا العام في مارس أن مصرف التسويات الدولية (BIS) في سنغافورة قد طور نظامًا أوليًا باستخدام تقنيات RISC Zero و Boundless ، قادرًا على التحقق مما إذا كان المتداولون في منطقة آسيا والمحيط الهادئ يمكنهم التداول في بورصة سنغافورة دون الحاجة إلى تقديم معلومات شخصية كاملة. يحتاج المستخدمون فقط إلى تحميل جواز السفر ورقم الهاتف المحمول ، مما يمكنهم من إنشاء إثبات عدم المعرفة (ZKP) لإثبات أنهم مؤهلون للتداول. حاليًا ، هناك أكثر من 30 فريقًا يخططون لبناء ونشر التطبيقات على Boundless. قال Jacob Everly: "هدفنا هو الوصول إلى 100 فريق شراكة بحلول العام المقبل ، وجعل Boundless معيارًا صناعيًا."
ثالثًا، الخريطة التقنية متعددة الأبعاد لـ RISC Zero
بالإضافة إلى Boundless، تواصل RISC Zero التطوير في قابلية استخدام وقابلية التوسع للـ zk-SNARKs، حيث أطلقت العديد من المنتجات الرئيسية، مما يعزز موقفها كمنصة حساب قابلة للتحقق بشكل عام.
R0VM 2.0: النسخة الجديدة من zkVM الأساسية، التي ستختصر وقت إثبات كتلة إيثيريوم الواحدة من 35 دقيقة إلى 44 ثانية، بينما انخفضت تكلفة الإثبات في سلسلة OP إلى 5 أضعاف، حيث تحتاج المعاملة الواحدة إلى 0.0012 دولار كحد أدنى، مما يقلل بشكل كبير من عتبة دخول المطورين إلى ZK. في الوقت نفسه، تعزز النسخة R0VM 2.0 دعم الذاكرة والدعم المسبق، مما يمكنها من معالجة إثباتات EVM ذات النطاق الأوسع ومحتوى الوسائط القابل للتحقق، وتخطط لتحقيق إثباتات في الوقت الحقيقي بمستوى 12 ثانية هذا العام، مما يدفع بمزيد من الابتكارات في مجال الإثباتات الصفرية من التجارب إلى الإنتاج الضخم. من الجدير بالذكر أن النسخة R0VM 3.0 قيد التطوير، ومن المتوقع أن يتم إصدارها في وقت لاحق من هذا العام. تعتمد هذه النسخة على نظام إثبات Binius الذي أطلقته إيثيريوم مؤخرًا، حيث ستزيد سرعة الإثباتات بشكل أكبر.
معالج ZK المساعد Steel 2.0: استجابة للقيود الثابتة في بيئة EVM، أصدرت RISC Zero معالج ZK المساعد Steel 2.0، الذي يمكنه تنفيذ العمليات المعقدة، والوصول إلى الحالة التاريخية، والحساب عبر الكتل خارج السلسلة، ويحقق التحقق الأمني على السلسلة بتكلفة إثبات تصل إلى 270,000 غاز، ويتوافق مع Solidity وR0-Helios عميل خفيف، مما يسهل النشر على إيثريوم وOP Stack.
نموذج فعالية OP Kailua: يوفر القدرة على الانتقال السلس من OP Rollup إلى ZK Rollup دون الحاجة إلى إعادة هيكلة كبيرة للحصول على الأمان العالي والتسوية السريعة التي تقدمها ZK، وقد قامت مشاريع مثل Base وBOB بالاندماج مسبقًا، مما يوفر خيارات ترقية فعالة من حيث التكلفة لسلاسل ذات قدرة عالية.
رابعاً، مهمة وطموح RISC Zero
RISC Zero هو فريق يجمع بين الروح المتمردة والسعي العقلاني للتكنولوجيا. في أوائل عام 2022، خلال مؤتمر ETH Denver، تمكن عدد من أعضاء RISC Zero من دخول المؤتمر وهم يحملون قماشًا تم شراؤه من مطبعة محلية وأدوات بسيطة. وكان ذلك في "هجوم القراصنة" حيث توصلوا إلى اتفاق مع أول مجموعة من المستثمرين بشأن نية الاستثمار المبكر.
بفضل هذه الروح المغامرة غير التقليدية والاستكشاف العميق لتقنية إثبات المعرفة الصفرية، واصلت RISC Zero كسب رهانات مستمرة من السوق المالية: في مارس 2022، أكملوا تمويل الجولة الأولى بمقدار 2 مليون دولار، وفي أغسطس من نفس العام حصلوا على تمويل الجولة البذور بمقدار 12 مليون دولار؛ وفي يوليو 2023، حصلوا بنجاح على 4 ملايين دولار في جولة تمويل جديدة.
على عكس مشاريع zk الأخرى، اختار RISC Zero مسارًا أكثر عمومية: باستخدام مجموعة تعليمات RISC-V مفتوحة المصدر كأساس، لإنشاء أول zkVM في العالم يمكنه تنفيذ أي كود عام، مما يجعل إثبات عدم المعرفة يمتلك فعلاً قدرة حسابية شاملة، ويقلل من عتبة التطوير، مما يسمح للمطورين بالاستمرار في استخدام أدوات البرمجة المألوفة لديهم، مثل Rust وغيرها من اللغات الحديثة، دون الحاجة إلى أدوات ZK الفعالة وسهلة الاستخدام.
اليوم، تسعى هذه المجموعة الصغيرة المكونة من المهووسين والمستقبليين إلى بناء نظام بيئي قابل للتحقق مفتوح وعبر السلاسل وغير مرخص على zkVM، مما يوفر قاعدة ثقة جديدة للإنترنت اللامركزي - وهذا هو السبب وراء وجود Boundless وطموحها.
الخاتمة:
Boundless ليست مجرد محاولة تقنية جديدة من RISC Zero في مجال zk-SNARKs، بل هي أيضاً تجربة واقعية في الاتجاه نحو سوق مفتوح، التعاون عبر السلاسل، وقوة الحوسبة السحابية على نطاق واسع. مع استمرار تطور Boundless والعناصر التي تقف وراءه مثل zkVM و PoVW، قد تكون هذه التجربة حول "محرك الحوسبة الفائق اللامركزي القابل للتحقق" هي التي تفتح الطريق لطريق أكثر عمومية وطموحاً لقوة الحوسبة في عالم البلوكتشين.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
إثيريوم RISC-V في جدول الأعمال: RISC Zero تصنع zkVM عالمي، Boundless تفتح آفاق جديدة للحوسبة القابلة للتحقق
في الوقت الذي تتجه فيه العمليات القابلة للتحقق نحو مركز السرد الصناعي، تقوم RISC Zero بإعادة تشكيل أداء البلوكتشين وحدود الثقة من خلال مجموعة أكثر عمومية وانفتاحًا من بنية العمليات القابلة للتحقق باستخدام zk-SNARKs. بفضل أول zkVM عالمي قائم على RISC-V في الصناعة وطبقة العمليات القابلة للتحقق عبر السلاسل Boundless، فإن هذه المجموعة من المهووسين تعمل على دفع zk-SNARKs من أدوات نادرة إلى قوة الحوسبة السحابية على نطاق واسع، محاولين تجهيز الإنترنت اللامركزي بمحرك "فائق" قابل للتحقق.
في الآونة الأخيرة، اقترح فيتاليك بوتيرين، أحد مؤسسي الإيثيريوم، خطة لإجراء تغييرات جذرية على طبقة التنفيذ لشبكة الإيثيريوم: استبدال كود بايتات آلة الإيثيريوم الافتراضية (EVM) بمجموع تعليمات RISC-V. لن تؤثر الخطة الجديدة على الوظائف الأساسية للعقود الذكية مثل الحسابات والتخزين، ولكنها ستغير بشكل جذري طريقة تجميع وتشغيل كود العقود. إلى حد ما، يعتبر اقتراح فيتاليك هذا ليس فقط ترقية لمعايير الطبقة التنفيذية للإيثيريوم وقابليتها للتجميع، ولكنه أيضًا يعيد إدخال "الحساب القابل للتحقق"، الذي كان يُنظر إليه سابقًا على أنه تقنية باهظة الثمن وتجريبية، إلى مركز السرد الصناعي.
أ. RISC Zero: رائد zkVM العام
في مسار تطور الحساب القابل للتحقق، تُعتبر شركة RISC Zero الأمريكية المتخصصة في zk-SNARKs واحدة من أوائل وأكثر الممارسين تمثيلاً. لم يقوموا فقط ببناء أول zkVM عام على أساس نفس بنية RISC-V، بل قاموا أيضًا بإنشاء Boundless، وهو طبقة حساب قابلة للتحقق، في محاولة لترقية zk-SNARKs من أداة نقطة واحدة إلى "قوة الحوسبة السحابية" القابلة للمشاركة عبر السلاسل والتسويق. وهذا يعني أنه في المستقبل، لن يضطر المطورون بعد الآن إلى أن يكونوا مقيدين بتكاليف Gas المرتفعة على السلسلة أو قيود EVM نفسها، بل يمكنهم استدعاء موارد حساب قابلة للتحقق تكاد تكون غير محدودة على أي بلوكتشين.
في الوقت الحالي، تم إطلاق النسخة التجريبية من الشبكة الرئيسية Boundless. وأشار الرئيس التنفيذي Shiv Shankar إلى أن "Boundless تحقق عمليات عبر السلاسل آمنة من خلال تجنب مهام الحساب المتكررة، مما يعزز قابلية توسيع البلوكتشين. وهذا يزيد من الكفاءة، ويعزز الأمان، ويمكّن المطورين وعمال المناجم من المشاركة عبر الأنظمة البيئية. " وأشار الباحث في مؤسسة Ethereum Justin Drake إلى أن "RISC Zero zkVM الذي يدعم نظام Boundless البيئي يلبي جميع الاحتياجات الأساسية لتوسيع Ethereum: القدرة على إثبات فوري، بيئة تحقق متعددة وحدات معالجة الرسوميات المنزلية، ترخيص مفتوح المصدر مرن، وتنفيذ أساسي يتم بناؤه من الصفر."
في غضون أيام قليلة فقط على الشبكة الرئيسية Beta لـ Boundless، حقق هذا السوق الأول الذي يتحقق من توافق الإيثيريوم حجم تحقق يصل إلى 10 أضعاف الحد الأقصى الحالي (30 مليار) (500 مليار)؛ وقد نجح 576 موثقاً في تقديم إثباتاتهم، مما جعله الشبكة الأكثر لامركزية للموثقين على مستوى العالم؛ حقق حجم السوق نمواً بنسبة 10 أضعاف، بلغ حجم الطلب اليومي ذروته عند 8000 طلب، وبلغ عدد دورات الحساب 2.6 تريليون، مع انقطاع شبه معدوم، حيث تم تنفيذ أكثر من 99% من الطلبات يومياً؛ وقد قام موثق خارجي بتسجيل رقم قياسي جديد للسرعة، حيث وصل إلى 5.63 ميغاهيرتز، متجاوزاً الرقم السابق البالغ 2.5 ميغاهيرتز؛ تظل الطلبات تقريباً عند 0 طلبات مقفلة، مما يمنحنا لمحة مبكرة عن التأثير المحتمل ل POWV (إثبات العمل) على اعتماد إثبات ZK في المراحل المبكرة من تشغيل الشبكة الرئيسية؛ وقد بدأت الابتكارات المفتوحة بين الموثقين، ومن أبرزها قدرة الموثقين على قفل المهام داخل نفس الكتلة بسرعة أقل من 100 مللي ثانية.
ثانياً، كيف يعمل Boundless والتصميم الثوري له
في طريق تحويل zk-SNARKs من أداة نقطة واحدة إلى طبقة حسابية شاملة، كانت الاختراقات الرئيسية لـ Boundless تكمن في تحويل الحسابات القابلة للتحقق من قدرات تقنية معزولة إلى بنية تحتية على السلسلة قابلة للتسويق والتركيب.
عند النظر بشكل أكثر تحديدًا، فإن المنطق الأساسي لـ Boundless يتكون من ثلاثة عناصر رئيسية: zkVM العامة، بروتوكول التحقق عبر السلاسل، ونموذج اقتصاد PoVW (Proof of Verifiable Work).
zkVM العامة: تعتمد Boundless على zkVM (R0VM 2.0) الذي تم تطويره ذاتيًا بواسطة RISC Zero، والذي يستند إلى معمارية RISC-V القياسية المفتوحة، ويمكنه تنفيذ أي برنامج عام، وإنتاج إثباتات معرفة صفرية قابلة للتحقق. وهذا يعني أنه بغض النظر عن ما إذا كانت عقود EVM الذكية، أو إثباتات حالة Rollup، أو حسابات معقدة خارج السلسلة، يمكن أن يتحمل zkVM مسؤولية إنتاج إثباتات الصلاحية، والتي سيتم التحقق منها بسرعة بعد ذلك بواسطة العقود على السلسلة، وتكون العملية بأكملها شفافة للمستخدمين النهائيين والسلسلة الرئيسية.
بروتوكول التحقق عبر السلاسل: Boundless ليست مقيدة بسلسلة معينة، بل تم تصميمها منذ البداية على أنها عبر السلاسل: حيث يتم نشر عقد Boundless Market على عدة سلاسل في نفس الوقت، مما يخلق سوق تسوية بدون إذن، ويقوم تلقائيًا بمطابقة احتياجات إثبات المطورين مع موارد قوة الحوسبة من نقاط Prover في جميع أنحاء العالم. والأهم من ذلك، أن Boundless Market قد تم نشرها بشكل أصلي على جميع السلاسل الرئيسية، مما يعني أنه ليس على المطورين مغادرة بيئتهم البيئية المألوفة، بل يمكنهم فقط التفاعل مع عنوان العقد المحلي، واستخدام الرموز الأصلية للسلسلة لدفع الرسوم والحصول على إثباتات الحساب القابلة للتحقق في الوقت الفعلي. هذا التصميم للسوق الموزعة عبر السلاسل قد خفض بشكل كبير من عتبة الوصول، مما جعل الحسابات القابلة للتحقق تصبح موارد عامة على السلسلة يمكن جدولتها، تسويتها، وتجميعها مثل خدمات السحابة.
آلية تحفيز PoVW: الجزء الأكثر ثورية هو آلية تحفيز PoVW. بخلاف PoW الذي يكافئ فقط حسابات التجزئة، وPoS الذي يكافئ رأس المال الخامل، قام PoVW للمرة الأولى بتحويل العمل الفعلي للبرهان المعرفي إلى منتج، مكتملًا من خلال قياس ودفع على السلسلة. كلما أكمل Prover عددًا من الدورات الفعالة، يمكنه الحصول على مكافآت رمزية تتناسب مع العمل المنجز، كما أن بيانات القياس مسجلة بالكامل على السلسلة، وقابلة للتدقيق. هذه الآلية لا تضمن فقط مرونة في توفير قوة الحوسبة، بل تحفز المزيد من العقد على تحسين كفاءة البرهان وتقليل التكاليف، مما يكوّن سوقاً للعرض والطلب على قوة الحوسبة القابلة للتحقق.
كشف Jacob Everly ، المسؤول عن المنتجات التكنولوجية ، في مقابلة مع وسائل الإعلام هذا العام في مارس أن مصرف التسويات الدولية (BIS) في سنغافورة قد طور نظامًا أوليًا باستخدام تقنيات RISC Zero و Boundless ، قادرًا على التحقق مما إذا كان المتداولون في منطقة آسيا والمحيط الهادئ يمكنهم التداول في بورصة سنغافورة دون الحاجة إلى تقديم معلومات شخصية كاملة. يحتاج المستخدمون فقط إلى تحميل جواز السفر ورقم الهاتف المحمول ، مما يمكنهم من إنشاء إثبات عدم المعرفة (ZKP) لإثبات أنهم مؤهلون للتداول. حاليًا ، هناك أكثر من 30 فريقًا يخططون لبناء ونشر التطبيقات على Boundless. قال Jacob Everly: "هدفنا هو الوصول إلى 100 فريق شراكة بحلول العام المقبل ، وجعل Boundless معيارًا صناعيًا."
ثالثًا، الخريطة التقنية متعددة الأبعاد لـ RISC Zero
بالإضافة إلى Boundless، تواصل RISC Zero التطوير في قابلية استخدام وقابلية التوسع للـ zk-SNARKs، حيث أطلقت العديد من المنتجات الرئيسية، مما يعزز موقفها كمنصة حساب قابلة للتحقق بشكل عام.
R0VM 2.0: النسخة الجديدة من zkVM الأساسية، التي ستختصر وقت إثبات كتلة إيثيريوم الواحدة من 35 دقيقة إلى 44 ثانية، بينما انخفضت تكلفة الإثبات في سلسلة OP إلى 5 أضعاف، حيث تحتاج المعاملة الواحدة إلى 0.0012 دولار كحد أدنى، مما يقلل بشكل كبير من عتبة دخول المطورين إلى ZK. في الوقت نفسه، تعزز النسخة R0VM 2.0 دعم الذاكرة والدعم المسبق، مما يمكنها من معالجة إثباتات EVM ذات النطاق الأوسع ومحتوى الوسائط القابل للتحقق، وتخطط لتحقيق إثباتات في الوقت الحقيقي بمستوى 12 ثانية هذا العام، مما يدفع بمزيد من الابتكارات في مجال الإثباتات الصفرية من التجارب إلى الإنتاج الضخم. من الجدير بالذكر أن النسخة R0VM 3.0 قيد التطوير، ومن المتوقع أن يتم إصدارها في وقت لاحق من هذا العام. تعتمد هذه النسخة على نظام إثبات Binius الذي أطلقته إيثيريوم مؤخرًا، حيث ستزيد سرعة الإثباتات بشكل أكبر.
معالج ZK المساعد Steel 2.0: استجابة للقيود الثابتة في بيئة EVM، أصدرت RISC Zero معالج ZK المساعد Steel 2.0، الذي يمكنه تنفيذ العمليات المعقدة، والوصول إلى الحالة التاريخية، والحساب عبر الكتل خارج السلسلة، ويحقق التحقق الأمني على السلسلة بتكلفة إثبات تصل إلى 270,000 غاز، ويتوافق مع Solidity وR0-Helios عميل خفيف، مما يسهل النشر على إيثريوم وOP Stack.
نموذج فعالية OP Kailua: يوفر القدرة على الانتقال السلس من OP Rollup إلى ZK Rollup دون الحاجة إلى إعادة هيكلة كبيرة للحصول على الأمان العالي والتسوية السريعة التي تقدمها ZK، وقد قامت مشاريع مثل Base وBOB بالاندماج مسبقًا، مما يوفر خيارات ترقية فعالة من حيث التكلفة لسلاسل ذات قدرة عالية.
رابعاً، مهمة وطموح RISC Zero
RISC Zero هو فريق يجمع بين الروح المتمردة والسعي العقلاني للتكنولوجيا. في أوائل عام 2022، خلال مؤتمر ETH Denver، تمكن عدد من أعضاء RISC Zero من دخول المؤتمر وهم يحملون قماشًا تم شراؤه من مطبعة محلية وأدوات بسيطة. وكان ذلك في "هجوم القراصنة" حيث توصلوا إلى اتفاق مع أول مجموعة من المستثمرين بشأن نية الاستثمار المبكر.
بفضل هذه الروح المغامرة غير التقليدية والاستكشاف العميق لتقنية إثبات المعرفة الصفرية، واصلت RISC Zero كسب رهانات مستمرة من السوق المالية: في مارس 2022، أكملوا تمويل الجولة الأولى بمقدار 2 مليون دولار، وفي أغسطس من نفس العام حصلوا على تمويل الجولة البذور بمقدار 12 مليون دولار؛ وفي يوليو 2023، حصلوا بنجاح على 4 ملايين دولار في جولة تمويل جديدة.
على عكس مشاريع zk الأخرى، اختار RISC Zero مسارًا أكثر عمومية: باستخدام مجموعة تعليمات RISC-V مفتوحة المصدر كأساس، لإنشاء أول zkVM في العالم يمكنه تنفيذ أي كود عام، مما يجعل إثبات عدم المعرفة يمتلك فعلاً قدرة حسابية شاملة، ويقلل من عتبة التطوير، مما يسمح للمطورين بالاستمرار في استخدام أدوات البرمجة المألوفة لديهم، مثل Rust وغيرها من اللغات الحديثة، دون الحاجة إلى أدوات ZK الفعالة وسهلة الاستخدام.
اليوم، تسعى هذه المجموعة الصغيرة المكونة من المهووسين والمستقبليين إلى بناء نظام بيئي قابل للتحقق مفتوح وعبر السلاسل وغير مرخص على zkVM، مما يوفر قاعدة ثقة جديدة للإنترنت اللامركزي - وهذا هو السبب وراء وجود Boundless وطموحها.
الخاتمة:
Boundless ليست مجرد محاولة تقنية جديدة من RISC Zero في مجال zk-SNARKs، بل هي أيضاً تجربة واقعية في الاتجاه نحو سوق مفتوح، التعاون عبر السلاسل، وقوة الحوسبة السحابية على نطاق واسع. مع استمرار تطور Boundless والعناصر التي تقف وراءه مثل zkVM و PoVW، قد تكون هذه التجربة حول "محرك الحوسبة الفائق اللامركزي القابل للتحقق" هي التي تفتح الطريق لطريق أكثر عمومية وطموحاً لقوة الحوسبة في عالم البلوكتشين.