#可验证计算 - مقابلة بودكاست الرئيس التنفيذي ل RiscZero أدى التطور السريع لنظام الذكاء الاصطناعي إلى زيادة الإنتاجية ، ولكنه قلل أيضا من تكلفة التزوير / الاحتيال. المزيد من RWA على السلسلة ، ولكن ما إذا كانت الأصول الموجودة على السلسلة يتم التحقق منها وتدقيقها برمجيا ، إذا لم يكن هناك ضمان للتحقق ، فإن أصول RWA هذه تواجه مخاطر كبيرة ، أتذكر أنه كانت هناك موجة من تدقيق أصول CEX zk في 23-24 عاما ، ولكن في المستقبل ، هناك حاجة إلى المزيد من RWA على السلسلة ، وهناك حاجة إلى المزيد من التحقق من الأصول وتتبع. في المستقبل ، ستكون قابلية التحقق والشفافية الإجرائية للإنترنت من السمات الرئيسية. هناك إمكانات كبيرة لدمج blockchain مع الذكاء الاصطناعي / RWA ، والحوسبة التي يمكن التحقق منها هي واحدة من البنى التحتية الأساسية هنا. في الحوسبة التي يمكن التحقق منها ، @RiscZero مشاريع zk @boundless_xyz تنفيذ حوسبة يمكن التحقق منها من خلال RISC-V و ZK VM. اهتمام من عام 2003 تطورت RiscZero من zkvm إلى الخرسانة zk L1. إليك مقابلة بودكاست @zeroknowledgefm مع مؤسسيها لمعرفة المزيد عن الفريق والخيارات الفنية للمشروع ورؤية العمل والمزيد. أجريت هذه المقابلة قبل إصدار @boundless_xyz ، لكن المقابلات السابقة كشفت عن خطط L1. كيف تستمع جيدا باللغة الإنجليزية؟ استمع مباشرة إلى الأصل: ملخص المقابلة: قامت تقنية Risc0 الأساسية ZK VM و RISC-V: Risc0 ببناء ZK VM يعمل برمز RISC-V ، والذي يدعم البرامج المجمعة بلغة C و C ++ و Rust ولغات أخرى ، على غرار المتحكمات الدقيقة الافتراضية ، مع خصائص المعرفة الصفرية (المدخلات والبرامج المخفية). تم اختيار RISC-V: إنه مناسب للتنفيذ في دوائر ZK لأنه مفتوح المصدر وخالي من قيود الملكية الفكرية وبسيط وفعال ولديه اختبار الامتثال ودعم النموذج الرسمي. الخصوصية والقابلية للتوسع: دعم إثبات المعرفة الصفرية لتنفيذ البرنامج والبرنامج نفسه ، والتركيز في البداية على قابلية التوسعة لدعم بيئة التطبيقات المعقدة ، والخصوصية (مثل هوية ZK) كاتجاه مستقبلي. الذاكرة مقابل غير الحتمية: يتم تمثيل الذاكرة كرقم 32 بت ، يشفر الحالة الأولية من خلال بنية Merkle. يتم دعم طلبات البيانات غير الحتمية، ويطلب الضيف (ZK VM) البيانات من المضيف ويتحقق من الحفاظ على الخصوصية. تقنية لتنفيذ وتسريع تطبيق STARKs: استخدم STARKs لإثبات الهياكل المتكررة، مثل الخطوات الزمنية للمعالج، التي تناسب نموذج تنفيذ التوقيت للجهاز الظاهري. الدعم المتكرر: أثناء التطوير، يمكن تشغيل مدقق Rust في جهاز ZK الظاهري للتحقق من البراهين وتنفيذ البراهين المتزايدة (على سبيل المثال، من كتل التكوين إلى كتل N+1). تسريع الأجهزة: ما يصل حاليا إلى 30,000 دورة / ثانية على M1 Pro ، و 1 مليون دورة / ثانية ل Metal / CUDA ، وحوالي 10 ملايين دورة / ثانية لوحدة معالجة الرسومات 3090. يتم دعم دوائر المسرع مثل SHA-256 ، ومن المخطط إضافة مسرعات تناظرية محدودة وأعداد صحيحة كبيرة في المستقبل. التوازي: يمكن أن تكون عمليات الإثبات متوازية ، ومناسبة لتسريع وحدة معالجة الرسومات ، وتقليل زمن الوصول ، ودعم الحساب على نطاق واسع (على سبيل المثال ، تشغيل المترجم). سحابة الرؤية والتطبيقات 2.0: الهدف هو بناء سحابة عامة لامركزية تدعم DeFi والألعاب و NFTs والتطبيقات المعقدة (مثل قواعد بيانات SQL ووسائل التواصل الاجتماعي) ، وتحقق "تكاليف المعاملات منخفضة جدا بحيث لا يلزم القياس". L1 Blockchain: قم بتطوير L1 واستخدم ZK لتحسين آلية الإجماع ("إثبات المعاملة") ، والتي تستخدم مقدار الحساب بدلا من عدد المعاملات لتحديد أطول سلسلة ، مما يدعم مليارات المعاملات في الثانية. حالات الاستخدام: يتضمن ذلك أمان سلسلة التوريد (إثبات أن الثنائيات تأتي من كود المصدر المدقق) ، وتتبع الأصول المادية ، والمزيد. علم البيئة واتصال البيئة المستقبلية: من المخطط التكامل مع سلاسل الكتل الأخرى مثل Ethereum من خلال الجسور أو المدققين لدعم التحقق من براهين Risc0 أو تشغيل EVMs على Ethereum. خارطة الطريق: الإصدار الحالي مفتوح المصدر ، وسيكون الإصدار التالي (بما في ذلك تسريع GPU المتكرر وGPU) مفتوح المصدر قريبا. من المخطط إطلاق DevNet في أواخر عام 2022 أو أوائل عام 2023 ، مع إصدار التسجيلات التجريبية عبر Twitter وغيرها. Risc0 موجود ك L1 ، هل سيتصل بشبكات أخرى أو مجموعات شبكة؟ شيء مثل @VitalikButerin eth ، @gavinwood @Polkadot ، Cosmos؟ يقول بريان إنه من شبه المؤكد أنه سيتصل. تعتبر تقنية Risc0 أداة قابلة للتطبيق على نطاق واسع. في حين أن لديها رؤية L1 الخاصة بها ، إلا أنها تريد أيضا أن تخدم هذه التكنولوجيا النظم البيئية الأخرى. التحديات والتأملات في سهولة البرمجة: قم بتقليل حاجز الدخول للمطورين الذين لديهم لغات وسلاسل أدوات موجودة دون الحاجة إلى تعلم لغات جديدة أو دوائر حسابية. آفاق تسريع الأجهزة: على المدى القصير ، تكون وحدات معالجة الرسومات مهيمنة ، بسبب الرياضيات غير الناضجة ودورات تطوير ASIC الطويلة. يمكن استخدام FPGAs و ASICs في دوائر SNARK محددة. المنافسة وتحديد المواقع: على عكس مشاريع ZK VM / EVM الأخرى ، يؤكد Risc0 على التنوع والتوسع على مستوى السحابة ، مع مراعاة نظام Ethereum البيئي والشبكات الأخرى. يستفيد Risc0 من RISC-V و STARKs لبناء أجهزة ZK الظاهرية لحل مشكلة قابلية التوسع للأنظمة الموزعة ، بهدف تحقيق اللامركزية في السحابة العامة ودعم الحوسبة واسعة النطاق التي تحافظ على الخصوصية. يتوفر الإصدار الحالي مفتوح المصدر ، وسيتوفر تسريع GPU ودعم التكرار قريبا ، ومن المخطط بناء L1 والتكامل مع النظم البيئية الأخرى ، والمناسبة ل DeFi وأمن سلسلة التوريد وسيناريوهات أخرى المقابلة الكاملة: صورة نصية طويلة