أطلقت a16z Crypto تقنيتين مرتبطتين بـ SNARK: Lasso و Jolt. من بينها ، Lasso هي معلمة بحث جديدة يمكن أن تزيد بشكل كبير من تكلفة المُثبِت ؛ Jolt (Just One Lookup Table) هو إطار عمل مصمم للرولات المتوافقة مع جهاز Ethereum Virtual Machine ، وهي طريقة جديدة لبناء SNARK VMs باستخدام طريقة Lasso. يمكن لـ Lasso و Jolt تسريع تطوير التطبيقات وإنشائها بشكل كبير في Web3 ، ويمثلان معًا طريقة جديدة لتصميم SNARK يمكنها تحسين أداء سلاسل الأدوات المنتشرة على نطاق واسع بترتيب من الحجم أو أكثر. كما أنه يوفر تجربة مطور أفضل وأكثر ملاءمة ويجعل التدقيق أسهل. يعالج Lasso و Jolt ثلاثة مخاوف رئيسية: الأداء وتجربة المطور وقابلية التدقيق.
** أداء أسرع **
Lasso هو معلمة بحث جديدة حيث يعد المُثبِت بقيم أقل وأصغر من العمل السابق. قال فريق البحث الخاص بتشفير a16z أن اللاسو يمكن أن يحسن بشكل كبير السرعة الإجمالية لمثبتات SNARK ، مقارنة بأدوات مثل Halo2 toolchain ، يمكن تحسين الأداء عشر مرات ، مما يساعد على تطوير مجموعات ZK أسرع. من المتوقع أن يزداد الأداء بحوالي 40 مرة بعد اكتمال التحسين. لذلك ، يعتقد الفريق أن تقنية Lasso المُثبِّتة سوف تتفوق في الأداء على جميع تقنيات مثبِّت SNARK الحالية التي لا تعرف صفرًا والتي تستخدمها حلول تحجيم Ethereum L2 الرئيسية.
يطبق Jolt "تفرد البحث" - وهي رؤية اقترحها في الأصل Barry Whitehat من مؤسسة Ethereum لتمكين أدوات أبسط ودوائر تتمحور حول البحث وخفيفة الوزن. يتوقع الفريق أن تحقق Jolt أداءً مشابهًا أو أفضل بالنسبة إلى zkVM الحالي ، والأهم من ذلك ، توفير تجربة مطور أكثر بساطة وسهولة.
** تجربة مطور أكثر ملاءمة **
يوفر Lasso مسارًا أكثر ملاءمة للمطورين وقابلية للتدقيق لتنفيذ zkVM من الأساليب الحالية.
قامت الأساليب السابقة لتصميم SNARK بصياغة تعليمات وحدة المعالجة المركزية كدوائر وتحسينها يدويًا — وهي مهمة منخفضة المستوى وعرضة للخطأ تتطلب خبرة لغة خاصة بالمجال. في المقابل ، يجب أن يكون مطورو الأنظمة البيئية المختلفة للغات قادرين على استخدام اللاسو بسهولة نسبية.
هذا لأنه في Lasso يتم تعريف التعليمات من خلال تحليل جدولها الفرعي: يمكن أن يتكون جدول البحث "الكبير" من عدد من "الجداول الفرعية" الأصغر. الأهم من ذلك ، يمكن وصف مثل هذه التحليلات بإيجاز في لغات البرمجة عالية المستوى. على سبيل المثال ، يمكن تنفيذ التعليمات في 50 سطرًا فقط من Rust. بالإضافة إلى ذلك ، فإن العديد من التعليمات في مجموعات التعليمات المختلفة هي نفسها من الناحية المفاهيمية ، ويسمح بتكرار كمية كبيرة من التعليمات البرمجية - على سبيل المثال ، تحدد WASM و EVM و RISC-V نفس العمليات الحسابية الأساسية ، والبت ، والمقارنة.
** أسهل في المراجعة **
الطريقة التي يبسط بها Lasso تجربة المطور تجعل عملية التدقيق أسهل من الطرق السابقة. تعد قابلية تدقيق zkVM ذات قيمة خاصة لأن العديد من SNARKs قد اكتسبت بالفعل قيمة هائلة على blockchain اليوم. نظرًا لأن Lasso يطبق منطق التعليمات في Rust ويشجع تكرار الكود عبر مجموعات التعليمات ، فإنه يركز على المجالات التي سيتم تدقيقها في قاعدة بيانات صغيرة نسبيًا وقابلة للقراءة.
حاليًا ، بالإضافة إلى العمل المطلوب لتنفيذ Jolt بالكامل ، هناك العديد من المهام قيد التنفيذ أو تنتظر إكمالها من قبل مطورين آخرين ، بما في ذلك:
تنفيذ / دمج مخططات التزام متعددة الحدود المختلفة ، مثل KZG's Multilinear Variants (PST و Zeromorph وما إلى ذلك) و Dory و Ligero و Brakedown و Sona
تحقيق تحسين معلمة المنتج الموضح في القسم 6 من ورقة كواركات
قياس أكثر شمولاً ومعالجة الأخطاء
استخدم تكرار SNARK لتحقيق إثبات إثبات على السلسلة بكفاءة
شاهد النسخة الأصلية
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
Lasso and Jolt ، أداة إثبات عدم المعرفة الجديدة المستندة إلى SNARK والتي أطلقتها a16z
بقلم فيليكس ، بانوس
أطلقت a16z Crypto تقنيتين مرتبطتين بـ SNARK: Lasso و Jolt. من بينها ، Lasso هي معلمة بحث جديدة يمكن أن تزيد بشكل كبير من تكلفة المُثبِت ؛ Jolt (Just One Lookup Table) هو إطار عمل مصمم للرولات المتوافقة مع جهاز Ethereum Virtual Machine ، وهي طريقة جديدة لبناء SNARK VMs باستخدام طريقة Lasso. يمكن لـ Lasso و Jolt تسريع تطوير التطبيقات وإنشائها بشكل كبير في Web3 ، ويمثلان معًا طريقة جديدة لتصميم SNARK يمكنها تحسين أداء سلاسل الأدوات المنتشرة على نطاق واسع بترتيب من الحجم أو أكثر. كما أنه يوفر تجربة مطور أفضل وأكثر ملاءمة ويجعل التدقيق أسهل. يعالج Lasso و Jolt ثلاثة مخاوف رئيسية: الأداء وتجربة المطور وقابلية التدقيق.
** أداء أسرع **
Lasso هو معلمة بحث جديدة حيث يعد المُثبِت بقيم أقل وأصغر من العمل السابق. قال فريق البحث الخاص بتشفير a16z أن اللاسو يمكن أن يحسن بشكل كبير السرعة الإجمالية لمثبتات SNARK ، مقارنة بأدوات مثل Halo2 toolchain ، يمكن تحسين الأداء عشر مرات ، مما يساعد على تطوير مجموعات ZK أسرع. من المتوقع أن يزداد الأداء بحوالي 40 مرة بعد اكتمال التحسين. لذلك ، يعتقد الفريق أن تقنية Lasso المُثبِّتة سوف تتفوق في الأداء على جميع تقنيات مثبِّت SNARK الحالية التي لا تعرف صفرًا والتي تستخدمها حلول تحجيم Ethereum L2 الرئيسية.
يطبق Jolt "تفرد البحث" - وهي رؤية اقترحها في الأصل Barry Whitehat من مؤسسة Ethereum لتمكين أدوات أبسط ودوائر تتمحور حول البحث وخفيفة الوزن. يتوقع الفريق أن تحقق Jolt أداءً مشابهًا أو أفضل بالنسبة إلى zkVM الحالي ، والأهم من ذلك ، توفير تجربة مطور أكثر بساطة وسهولة.
** تجربة مطور أكثر ملاءمة **
يوفر Lasso مسارًا أكثر ملاءمة للمطورين وقابلية للتدقيق لتنفيذ zkVM من الأساليب الحالية.
قامت الأساليب السابقة لتصميم SNARK بصياغة تعليمات وحدة المعالجة المركزية كدوائر وتحسينها يدويًا — وهي مهمة منخفضة المستوى وعرضة للخطأ تتطلب خبرة لغة خاصة بالمجال. في المقابل ، يجب أن يكون مطورو الأنظمة البيئية المختلفة للغات قادرين على استخدام اللاسو بسهولة نسبية.
هذا لأنه في Lasso يتم تعريف التعليمات من خلال تحليل جدولها الفرعي: يمكن أن يتكون جدول البحث "الكبير" من عدد من "الجداول الفرعية" الأصغر. الأهم من ذلك ، يمكن وصف مثل هذه التحليلات بإيجاز في لغات البرمجة عالية المستوى. على سبيل المثال ، يمكن تنفيذ التعليمات في 50 سطرًا فقط من Rust. بالإضافة إلى ذلك ، فإن العديد من التعليمات في مجموعات التعليمات المختلفة هي نفسها من الناحية المفاهيمية ، ويسمح بتكرار كمية كبيرة من التعليمات البرمجية - على سبيل المثال ، تحدد WASM و EVM و RISC-V نفس العمليات الحسابية الأساسية ، والبت ، والمقارنة.
** أسهل في المراجعة **
الطريقة التي يبسط بها Lasso تجربة المطور تجعل عملية التدقيق أسهل من الطرق السابقة. تعد قابلية تدقيق zkVM ذات قيمة خاصة لأن العديد من SNARKs قد اكتسبت بالفعل قيمة هائلة على blockchain اليوم. نظرًا لأن Lasso يطبق منطق التعليمات في Rust ويشجع تكرار الكود عبر مجموعات التعليمات ، فإنه يركز على المجالات التي سيتم تدقيقها في قاعدة بيانات صغيرة نسبيًا وقابلة للقراءة.
حاليًا ، بالإضافة إلى العمل المطلوب لتنفيذ Jolt بالكامل ، هناك العديد من المهام قيد التنفيذ أو تنتظر إكمالها من قبل مطورين آخرين ، بما في ذلك: