jakiro
المؤلف: Donovan Choy ، blockworks ؛
كل شيء يبدأ مع Ethereum.L1 بطيئة للغاية.تحتاج كل عقدة إلى إعادة تنفيذ المعاملات في الكتلة بشكل متكرر لضمان الصلاحية ، مما يحد من قابلية التوسع.
بحلول عام 2020 ، سوف يتحد مجتمع Ethereum حول Rollups كحل تحجيم.يشرح منشور مدونة Vitalik التاريخي على Rollups في عام 2021 كيف يتفاؤل و ZK Rollups Scale Ethereum.
تتمتع ZK Rollups بمزايا فنية في التحجيم ، لكن التكنولوجيا لا تزال باهظة الثمن ومتخلفة عن الركب (المزيد عن ذلك لاحقًا).
لذلك ، اقتحم المتفائلون لأول مرة السوق.تفترض Rollups المتفائل أن جميع المعاملات صالحة حتى يتحدى شخص ما مع إثبات الاحتيال خلال فترة تحدي لمدة سبعة أيام.
Rollups المتفائلة صالحة ، ولكن لديها تكاليف خفية.فترة التحدي تعني أن المستخدمين يحتاجون إلى وقت نهاية معاملة أطول قبل سحب الأموال.سد السيولة تعني كفاءة رأس المال وخبرة المستخدمة بشكل عام ، وخاصة من حيث قابلية التشغيل البيني للسلسلة.
وفي الوقت نفسه ، ZK هو اللحاق بالركب.في ETHCC 2022 ، أعلنت Polygon و Zksync و Scroll جميعها عن ZKEVM ، والتي تسمح لمطوري الصلابة بكتابة التعليمات البرمجية وإثبات تنفيذ EVMS-مما يتيح فعليًا لـ Ethereum الاستفادة من تقنية المعرفة الصفرية.
بحلول عام 2023 ، بدأت ZK Rollups تحظى بالاهتمام حقًا.
لماذا ZK دليل أفضل من إثبات الاحتيال المتفائل؟هذا هو ، لأن ZK يثبت أنه أصغر بكثير (حوالي 1-10 كيلو بايت) مقارنة ببيانات المعاملة الأصلية (حجم ميغابايت).
من خلال تدقيق معاملات Ethereum باستخدام تشفير ZK ، فإن هذه الأدلة المضغوطة للغاية تعني تكاليف توفر البيانات المنخفضة وإمكانية التوسع بشكل أفضل.
على الرغم من أن ZK تقلع ، إلا أن تكلفة توليد البراهين لا تزال مرتفعة.وفقًا لـ ZKSTATS.IO ، يبلغ متوسط تكلفة توليد أدلة ZK في ديسمبر 2023 80.21 دولار.
بسرعة إلى الأمام حتى 2025.انخفضت تكاليف الإثبات إلى 1.3 دولار لكل دليل ، بزيادة قدرها حوالي 98.4 ٪.
ما هي التغييرات التي تم إجراؤها؟
الآن،ZK Rollup يتم تقسيم كل جزء أساسي من المكدس.
بادئ ذي بدء ، تم إصدار ZKVM.هذه الأجهزة الافتراضية المخصصة تسرع تجربة تطوير ZK وتوليد دليل على توليد الفعالية أكثر كفاءة.قبل ظهور ZKVM ، يحتاج المطورون إلى كتابة “الدوائر” الرياضية المعقدة لإثبات تنفيذ EVM.
اليوم ، تمكن ZKVMs مثل SP1 و RISC Zero و Nexus و OpenVM بشكل فعال جميع المطورين (C ++ ، Rust) الذين ليس لديهم الخبرة في تشفير ZK لإضفاء الطابع الديمقراطي على تنمية ZK.في الماضي ، مكّن ZKEVM تطوير الصلابة فقط على ZK Rollups.فكر في ZKVM كمفهوم أكثر عمومية من ZKEVM.
ثانياً ، تنخفض تكلفة توليد البراهين بسبب منافسة السوق.اليوم ، تعمل RISC Zero و Cysic و Lagrange و Evginct على العديد من الأسواق التنافسية.لا يزال البعض في شبكة الاختبار ، والبعض الآخر قيد التشغيل بالفعل.
يتحول ZK L2 أيضًا إلى تكنولوجيا التجميع إثبات لإطفاء تكاليف التحقق.إنه يعمل تقريبًا عن طريق دفع أدلة متعددة في دليل واحد ، مما يجعل الدليل النهائي بسرعة أكبر.
لا تتطلب هذه الأسواق أيضًا أي ترخيص ، مما يعني أنه يمكن لأي شخص لديه جهاز GPU التسجيل وإصدار هامش وإنشاء شهادات ZK.في السابق ، استخدمت ZK Rollups “Provers Centerized Provers” ، مما يعني أنها استأجرت أجهزة GPU/FPGA من Google أو Amazon.
كما يتم إطلاق أنظمة إثبات أفضل.تحدد أنظمة الإثبات هذه (مثل Groth16 ، Halo2-KZG ، Stark ، Plonk ، Expander) قواعد كيفية بناء والتحقق من أدلة ZK.إنهم يتحسنون ، مما يعني أن أدلة ZK تصبح أصغر وأسرع وأسرع.وهذا بدوره يعني تحسين أداء ZKVM.
أخيرًا ، هناك معالج ZK الذي تم بناؤه على قمة ZKVM.تتيح هذه الأشياء بشكل أساسي تطبيقات على السلسلة غير الموجودة في بيئة تنفيذ ZK لاستغلال معجزة تقنية ZK.الطريقة التي يحدث بها هذا هي نقل الحساب خارج السلسلة ، وبالتالي تشغيل غير متزامن مع تنفيذ blockchain.يمكّن ذلك التطبيق من حساب الإحصاءات المعقدة خارج السلسلة ، وإثبات ذلك باستخدام ZK ، ثم نشر الدليل على السلسلة.
تستخدم تطبيقات مثل Frax و Azuki و Etherfi وعلبة التروس ZK من Lagrange لتجاوز قيود Ethereum L1.
حتى تحصل عليه.لهذا السبب ZK هو الهدف النهائي.
