SP1 هو آلة افتراضية عامة تعتمد على zkVM، تتيح للمطورين استخدام Rust أو لغات متوافقة مع LLVM لكتابة كود عادي، وتوليد إثباتات معرفة صفرية فعالة، للتحقق من التنفيذ الصحيح للبرامج. وهذا يقلل بشكل كبير من عتبة تطوير ZKP، مع الحفاظ على أداء ممتاز ومرونة.
تتمثل الابتكارات في SP1 في جعل تطوير ZKP بسيطًا مثل كتابة البرمجيات العادية، مما يسمح للبنية التحتية للبلوك تشين (مثل Rollup، الجسور عبر السلاسل، أوacles، إلخ) بتحقيق القابلية للتحقق من خلال كود سهل الصيانة.
الميزات الأساسية لـ SP1
أداء ممتاز
SP1 أسرع من zkVM الأخرى بمعدل 4-28 مرة على أحمال العمل الفعلية على البلوكشين، قريب من أداء الدوائر المخصصة المحسّنة يدويًا. النسخة الأحدث SP1 Turbo تحقق كتل الشبكة الرئيسية لإيثيريوم على تجمعات GPU في 40 ثانية فقط، بتكلفة منخفضة جدًا.
دعم Rust
يمكن للمطورين استخدام Rust مباشرة لكتابة منطق ZKP وإعادة استخدام مكتبات نظام Rust البيئية الحالية. وهذا يجعل تحويل كود عقد blockchain الحالي إلى ZKP أمرًا بسيطًا ومباشرًا.
آلية ما قبل الترجمة
SP1 قدم آلية التجميع المسبق، حيث تم تحسين العمليات التشفيرية الشائعة، مما أدى إلى تحسين الأداء بشكل كبير. على سبيل المثال، تم تقليل وقت التحقق من عميل ZK Tendermint الخفيف إلى 4.6 دقيقة من 2.2 ساعة.
الأمان مفتوح المصدر
SP1 مفتوح المصدر بالكامل، ويعتمد على هيكلية Modular، مما يسمح للمطورين بتخصيص الترجمة المسبقة لتحسين حالات الاستخدام المحددة. تم تدقيق SP1 من قبل العديد من الشركات الرائدة في أمن ZK، وحققت نتائج "صفر ثغرات خطيرة" في منافسات التدقيق العامة.
التعاون الواسع
اعتمدت العديد من المشاريع المعروفة SP1 لبناء ZKP، مما يضمن أصولًا على السلسلة تقدر بعشرات المليارات من الدولارات. أصبح SP1 تدريجيًا مكونًا قياسيًا في بنية تحتية blockchain.
جسر عبر السلاسل: تحقق من توافق مختلف سلاسل الكتل، وبناء جسر آمن وفعال عبر السلاسل.
التفاعل بين الأنظمة: تحقيق التأكيد السريع والتفاعل بين Rollup.
الأوركل: يدعم الحسابات الكبيرة خارج السلسلة ويولد إثباتات يمكن التحقق منها على السلسلة.
حماية الخصوصية: تنفيذ المعاملات والحالات الخاصة، وحماية بيانات المستخدم.
إثبات التجميع: يجمع بين ZKP من نفس النوع، مما يقلل بشكل أكبر من تكلفة التحقق على السلسلة.
أدى ظهور SP1 إلى تبسيط كبير في عملية تطوير ZKP، مما فتح آفاق جديدة لتقدم تكنولوجيا blockchain. مع اعتماد المزيد من المشاريع لـ SP1، نتوقع رؤية المزيد من التطبيقات المبتكرة تنبثق في مجال blockchain.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 17
أعجبني
17
7
مشاركة
تعليق
0/400
TestnetScholar
· منذ 8 س
زيادة كفاءة التطوير هذه مبالغ فيها حقًا
شاهد النسخة الأصليةرد0
SilentObserver
· منذ 17 س
快快进场شراء الانخفاض！
شاهد النسخة الأصليةرد0
WalletManager
· 08-04 01:31
تحسين السرعة 28 مرة يمكنه معالجة المزيد من المعاملات المحمية，非常可 已存好المفتاح الخاص
شاهد النسخة الأصليةرد0
MetaverseVagabond
· 08-04 01:31
تحسين أداء بمقدار 28 مرة؟ مجرد بيانات متضخمة.
شاهد النسخة الأصليةرد0
fomo_fighter
· 08-04 01:30
حتى مع تحسين الأداء بمقدار 28 مرة، لا أحد يستخدمه، أليس كذلك؟
شاهد النسخة الأصليةرد0
GasWhisperer
· 08-04 01:28
أراقب أنماط الميمبول مثل الصقر... أسرع بـ 28 مرة؟ لا أكذب، هذا جنون
SP1：Succinct يطور أسرع آلة افتراضية للمعرفة الصفرية مع زيادة الأداء بنسبة 28 مرة
Succinct SP1: معيار جديد لأداء الآلة الافتراضية ذات المعرفة الصفرية
Succinct هو مشروع معروف لإثباتات المعرفة الصفرية (ZKP)، حيث يُعتبر المنتج الأساسي SP1 أسرع آلة افتراضية للمعرفة الصفرية (zkVM) الحالية.
السمات الرئيسية لـ SP1 تشمل:
! موجز SP1: أسرع zkVM
مقدمة SP1
SP1 هو آلة افتراضية عامة تعتمد على zkVM، تتيح للمطورين استخدام Rust أو لغات متوافقة مع LLVM لكتابة كود عادي، وتوليد إثباتات معرفة صفرية فعالة، للتحقق من التنفيذ الصحيح للبرامج. وهذا يقلل بشكل كبير من عتبة تطوير ZKP، مع الحفاظ على أداء ممتاز ومرونة.
تتمثل الابتكارات في SP1 في جعل تطوير ZKP بسيطًا مثل كتابة البرمجيات العادية، مما يسمح للبنية التحتية للبلوك تشين (مثل Rollup، الجسور عبر السلاسل، أوacles، إلخ) بتحقيق القابلية للتحقق من خلال كود سهل الصيانة.
الميزات الأساسية لـ SP1
أداء ممتاز
SP1 أسرع من zkVM الأخرى بمعدل 4-28 مرة على أحمال العمل الفعلية على البلوكشين، قريب من أداء الدوائر المخصصة المحسّنة يدويًا. النسخة الأحدث SP1 Turbo تحقق كتل الشبكة الرئيسية لإيثيريوم على تجمعات GPU في 40 ثانية فقط، بتكلفة منخفضة جدًا.
دعم Rust
يمكن للمطورين استخدام Rust مباشرة لكتابة منطق ZKP وإعادة استخدام مكتبات نظام Rust البيئية الحالية. وهذا يجعل تحويل كود عقد blockchain الحالي إلى ZKP أمرًا بسيطًا ومباشرًا.
آلية ما قبل الترجمة
SP1 قدم آلية التجميع المسبق، حيث تم تحسين العمليات التشفيرية الشائعة، مما أدى إلى تحسين الأداء بشكل كبير. على سبيل المثال، تم تقليل وقت التحقق من عميل ZK Tendermint الخفيف إلى 4.6 دقيقة من 2.2 ساعة.
الأمان مفتوح المصدر
SP1 مفتوح المصدر بالكامل، ويعتمد على هيكلية Modular، مما يسمح للمطورين بتخصيص الترجمة المسبقة لتحسين حالات الاستخدام المحددة. تم تدقيق SP1 من قبل العديد من الشركات الرائدة في أمن ZK، وحققت نتائج "صفر ثغرات خطيرة" في منافسات التدقيق العامة.
التعاون الواسع
اعتمدت العديد من المشاريع المعروفة SP1 لبناء ZKP، مما يضمن أصولًا على السلسلة تقدر بعشرات المليارات من الدولارات. أصبح SP1 تدريجيًا مكونًا قياسيًا في بنية تحتية blockchain.
! موجز SP1: أسرع zkVM
تطبيقات SP1
SP1 لديه تطبيقات واسعة في مجال blockchain:
أدى ظهور SP1 إلى تبسيط كبير في عملية تطوير ZKP، مما فتح آفاق جديدة لتقدم تكنولوجيا blockchain. مع اعتماد المزيد من المشاريع لـ SP1، نتوقع رؤية المزيد من التطبيقات المبتكرة تنبثق في مجال blockchain.