@SuccinctLabs Labs في مهمة "$PROVE برنامج العالم" - جعل إثباتات المعرفة الصفرية (ZKPs) ليست مجرد تخصص لمشفرين، بل أداة عملية وسهلة الاستخدام للمطورين للتطبيقات اليومية.
يحققون ذلك من خلال ابتكاريْن رائدين:
1. SP1 (معالج مختصر 1): آلة افتراضية zk عالية الأداء
SP1 هو آلة افتراضية مفتوحة المصدر وعامة الغرض قائمة على عدم المعرفة (zkVM) التي تقوم بترجمة الشيفرة من لغات شائعة مثل Rust أو أي لغة متوافقة مع LLVM إلى براهين يمكن التحقق منها. لأنها تلغي تصميم الدوائر والألعاب الرياضية التشفيرية المتخصصة، يمكن للمطورين كتابة كود عادي - ثم تجميعه وإثباته والتحقق منه دون الحاجة لتعلم صياغة ZK المخصصة. من حيث الأداء، يقدم SP1 مكاسب كبيرة: سرعة توليد الأدلة تصل إلى 28×، تحسينات في البدائل التشفيرية تسارعت بمعدل 5–10×، وإثبات قائم على وحدة معالجة الرسومات يقلل التكاليف ربما بمقدار 10× ويخفض توليد الأدلة إلى مجرد أعشار السنت. هذا المزيج من الوصولية، والسرعة، والتكلفة المعقولة، والشفافية يمهد الطريق للاعتماد الواسع لـ ZK عبر استخدامات متنوعة - من zkEVMs و rollups إلى الهوية التي تحافظ على الخصوصية، وأحمال الذكاء الاصطناعي، وحلول التشغيل المتداخل.
2. شبكة الإثبات الموجز: سوق ZK لامركزي
بدلاً من إجبار المطورين على بناء وتشغيل بنية تحتية مكلفة لإثبات، تقدم Succinct شبكة إثبات قائمة على الإيثيريوم. إنها سوق ثنائية الجوانب بدون إذن حيث يقدم المطورون طلبات الإثبات ويتنافس المثبتون المستقلون - من خلال آلية مزاد خارج السلسلة - مع التسوية والنهائية على السلسلة.
هذه الشبكة مفتوحة للجميع - من مشغلي وحدات معالجة الرسومات الفردية إلى مزودي مراكز البيانات - وتوفر حوافز للمشاركة من خلال التحقق من صحة المعاملات والتسعير التنافسي، مع الاحتفاظ باللامركزية ومقاومة السيطرة المركزية. يتم بالفعل تنفيذ التطبيقات في العالم الحقيقي، حيث تخدم حالات الاستخدام مثل التجميعات، الجسور، وكلاء الذكاء الاصطناعي، العرافات، الألعاب، المعالجات المساعدة، والمزيد.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
@SuccinctLabs Labs في مهمة "$PROVE برنامج العالم" - جعل إثباتات المعرفة الصفرية (ZKPs) ليست مجرد تخصص لمشفرين، بل أداة عملية وسهلة الاستخدام للمطورين للتطبيقات اليومية.
يحققون ذلك من خلال ابتكاريْن رائدين:
1. SP1 (معالج مختصر 1): آلة افتراضية zk عالية الأداء
SP1 هو آلة افتراضية مفتوحة المصدر وعامة الغرض قائمة على عدم المعرفة (zkVM) التي تقوم بترجمة الشيفرة من لغات شائعة مثل Rust أو أي لغة متوافقة مع LLVM إلى براهين يمكن التحقق منها.
لأنها تلغي تصميم الدوائر والألعاب الرياضية التشفيرية المتخصصة، يمكن للمطورين كتابة كود عادي - ثم تجميعه وإثباته والتحقق منه دون الحاجة لتعلم صياغة ZK المخصصة.
من حيث الأداء، يقدم SP1 مكاسب كبيرة: سرعة توليد الأدلة تصل إلى 28×، تحسينات في البدائل التشفيرية تسارعت بمعدل 5–10×، وإثبات قائم على وحدة معالجة الرسومات يقلل التكاليف ربما بمقدار 10× ويخفض توليد الأدلة إلى مجرد أعشار السنت.
هذا المزيج من الوصولية، والسرعة، والتكلفة المعقولة، والشفافية يمهد الطريق للاعتماد الواسع لـ ZK عبر استخدامات متنوعة - من zkEVMs و rollups إلى الهوية التي تحافظ على الخصوصية، وأحمال الذكاء الاصطناعي، وحلول التشغيل المتداخل.
2. شبكة الإثبات الموجز: سوق ZK لامركزي
بدلاً من إجبار المطورين على بناء وتشغيل بنية تحتية مكلفة لإثبات، تقدم Succinct شبكة إثبات قائمة على الإيثيريوم. إنها سوق ثنائية الجوانب بدون إذن حيث يقدم المطورون طلبات الإثبات ويتنافس المثبتون المستقلون - من خلال آلية مزاد خارج السلسلة - مع التسوية والنهائية على السلسلة.
هذه الشبكة مفتوحة للجميع - من مشغلي وحدات معالجة الرسومات الفردية إلى مزودي مراكز البيانات - وتوفر حوافز للمشاركة من خلال التحقق من صحة المعاملات والتسعير التنافسي، مع الاحتفاظ باللامركزية ومقاومة السيطرة المركزية.
يتم بالفعل تنفيذ التطبيقات في العالم الحقيقي، حيث تخدم حالات الاستخدام مثل التجميعات، الجسور، وكلاء الذكاء الاصطناعي، العرافات، الألعاب، المعالجات المساعدة، والمزيد.
#SuccinctLabs