تصبح SNARKs بعد الكم شفافة. يوضح Greyhound by @zksecurityXYZ كيف 👇

@zksecurityXYZ Greyhound هو SNARK شفاف قائم على الشبكة. إنه يستفيد من المشابك المنظمة والتزامات Ajtai وتقنيات توليد الإثبات الفعالة.

@zksecurityXYZ الابتكار الأساسي: استبدال الإعدادات التقليدية القائمة على السجل المنفصل أو الاقتران بافتراضات شبكية ، واستهداف أمان ما بعد الكم مع الحفاظ على الإيجاز وقابلية التحقق.

@zksecurityXYZ البدائية الرئيسية: التزام أجتاي. يستخدم صلابة أسوأ الحالات لمشاكل الشبكة (على سبيل المثال ، SIS) لربط القيم الملتزمة. تقوم Greyhound بنشرها ضمن التزامها متعدد الحدود ونظام إثبات المعرفة.

@zksecurityXYZ يعمل بروتوكول Greyhound على المشابك الصحيحة. يتجنب الإعداد الموثوق به من خلال المعلمات المختارة من قبل الجمهور. يتبع الأمن من صلابة مشاكل الشبكة في ظل الخصوم الكموميين ، بدلا من افتراضات ترتيب المجموعة.

@zksecurityXYZ الكفاءة: أبلغ المؤلفون عن "بناء فعال" لكل من المحقق والتحقق. على الرغم من أنها لا تزال أكبر من SNARKs القائمة على الاقتران ، إلا أن Greyhound تتوسع مع عمليات معيارية على المتجهات / المصفوفات - أكثر قابلية للأجهزة المحسنة للشبكة.

@zksecurityXYZ أداء المدقق: ثابت أو لوغاريتمي في حجم الدائرة ، اعتمادا على المعلمات. يعتمد على أخذ العينات والتحقق من الإجراءات المميزة للالتزامات الشبكية - المصممة لتقليل التفاعل والنفقات العامة.

@zksecurityXYZ زاوية التكامل: يمكن أن تتكيف Greyhound مع سلاسل أدوات SNARK الحالية من خلال الاستبدال المعياري لمخطط الالتزام. لا يفرض إعادة تصميم تجريدات الدوائر ، مما يجعلها عملية للانتقال ما بعد الكم.

@zksecurityXYZ من وجهة نظر التشفير ، فإنه يوضح الجدوى: الإعداد الشفاف ، والافتراضات الشبكية ، وهيكل الإثبات الفعال. تظل الأسئلة الرئيسية حول أحجام الإثبات الملموس وتحسين المعلمات وأداء التنفيذ في العالم الحقيقي.

@zksecurityXYZ باختصار ، Greyhound عبارة عن SNARK قائم على الشبكة مبني على التزامات Ajtai. إنه يحقق أمانا ما بعد الكم دون إعداد موثوق به ، ويهدف إلى أحجام إثبات عملية وكفاءة التحقق. يقدم خارطة طريق لدمج التشفير المقاوم للكم في الأنظمة الحالية.

@zksecurityXYZ قراءة منشور 👇 المدونة

@zksecurityXYZ الأحدث والأكبر في ZK ، هنا ، كل شهر👇