بقلم دونوفان تشوي ، Blockworks. تجميع: خمسة باهت، التمويل الذهبي
بدأ كل شيء مع Ethereum. L1 بطيء جدا. تحتاج كل عقدة إلى إعادة تنفيذ المعاملات في الكتلة بشكل متكرر لضمان الصلاحية، مما يحد من قابلية التوسع.
بحلول عام 2020 ، كان مجتمع Ethereum يتجول حول المجموعات الإجمالية كحل للتوسع. يشرح منشور مدونة Vitalik التاريخي حول التجميع في عام 2021 كيف يتوسع التفاؤل و zk في نطاق Ethereum.
تتمتع مجموعات Zk بميزة تقنية عندما يتعلق الأمر بالتوسع ، لكن التكنولوجيا لا تزال باهظة الثمن ومتأخرة جدا (المزيد عن ذلك لاحقا).
نتيجة لذلك ، تخترق القوائم المتفائلة السوق أولا. تفترض المجموعات المتفائلة أن جميع المعاملات صالحة حتى يتحداها شخص ما بدليل على الاحتيال خلال فترة التحدي التي تبلغ سبعة أيام.
تعمل القوائم المتفائلة ، لكن لها تكاليف خفية. تعني فترة التحدي أن المستخدمين يحتاجون إلى وقت انتهاء أطول للمعاملة قبل سحب أموالهم. يعني حبس السيولة كفاءة رأس المال وتجربة مستخدم سيئة بشكل عام ، خاصة عندما يتعلق الأمر بقابلية التشغيل البيني للسلسلة.
في الوقت نفسه ، ZK تلحق بالركب. في ETHCC 2022 ، أعلنت كل من Polygon و zkSync و Scroll عن zkEVM ، مما يمكن مطوري Solidity من كتابة التعليمات البرمجية وإثبات تنفيذ EVM - مما يسمح بشكل فعال ل Ethereum بالاستفادة من تقنية المعرفة الصفرية.
** في عام 2023 ، بدأت ZK Rollups في اكتساب قوة دفع حقا. **
لماذا يعتبر إثبات ZK أفضل من إثبات الاحتيال المتفائل؟ هذا هو ، لأن دليل zk أصغر بكثير (~ 1-10 كيلوبايت) مقارنة ببيانات المعاملة الأصلية (حجم الميجابايت). **
** باستخدام تشفير ZK لإثبات معاملات Ethereum ، تعني هذه الإثباتات المضغوطة للغاية تكاليف توفر بيانات أقل وقابلية توسع أفضل. **
على الرغم من أن ZK تنطلق ، إلا أن تكلفة إنشاء البراهين لا تزال مرتفعة. وفقا ل zkstats.io ، فإن متوسط تكلفة إنشاء دليل zk في ديسمبر 2023 هو 80.21 دولارا.
تقدم سريعا إلى عام 2025. تم تخفيض تكلفة الإثبات إلى 1.3 دولار لكل شهادة ، بزيادة قدرها حوالي 98.4٪.
ما الذي تغير؟
اليوم ، تم تقسيم كل جزء أساسي من مكدس التجميع zk. **
بادئ ذي بدء ، zkVM متاح بالفعل. تعمل هذه الأجهزة الافتراضية المصممة لهذا الغرض على تسريع تجربة تطوير ZK وجعل إنشاء إثبات الصلاحية أكثر كفاءة. قبل ظهور zkVM ، احتاج المطورون إلى كتابة "دوائر" رياضية معقدة لإثبات كيفية أداء EVM.
اليوم ، تعمل ZkVMs مثل SP1 و RISC Zero و Nexus و OpenVM على إضفاء الطابع الديمقراطي على تطوير zk بشكل فعال لجميع المطورين الذين ليس لديهم خبرة في تشفير zk (C ++ ، Rust). في الماضي ، قام zkEVM فقط بتمكين تطوير Solidity على مجموعات zk. فكر في zkVM كمفهوم أكثر عمومية من zkEVM.
ثانيا ، تتناقص تكلفة إنشاء البراهين بسبب المنافسة في السوق. ** اليوم ، تدير Risc Zero و Cysic و Lagrange و Succinct عددا من الأسواق التنافسية. بعضها لا يزال في شبكة الاختبار ، والبعض الآخر يعمل.
ينتقل Zk L2 أيضا إلى تقنيات تجميع الإثبات لإطفاء تكاليف التحقق. إنه يعمل تقريبا عن طريق تجميع براهين متعددة في دليل واحد ، مما يجعل التحقق من الإثبات النهائي أسرع.
هذه الأسواق أيضا غير مصرح بها ، مما يعني أنه يمكن لأي شخص لديه جهاز GPU التسجيل ونشر سند وإنشاء براهين zk. في السابق ، استخدمت مجموعات zk "تصديقات مركزية" ، مما يعني أنها استأجرت أجهزة GPU / FPGA من Google أو Amazon.
يتم تقديم أنظمة إثبات أفضل طوال الوقت. تحدد أنظمة الإثبات هذه (على سبيل المثال ، Groth16 و Halo2-KZG و STARK و Plonk و Expander) خوارزميا القواعد الخاصة بكيفية إنشاء براهين zk والتحقق منها. إنهم يتحسنون أكثر فأكثر ، مما يعني أن براهين zk أصبحت أصغر وأسرع في التحقق. وهذا بدوره يعني تحسينات أداء zkVM.
أخيرا ، هناك معالج zk المساعد المبني فوق zkVM. تسمح هذه الأشياء بشكل أساسي للتطبيقات على السلسلة غير الموجودة في بيئة تنفيذ ZK بالاستفادة من عجائب تقنية ZK. الطريقة التي تفعل بها ذلك هي عن طريق نقل الحساب خارج السلسلة وبالتالي تشغيله بشكل غير متزامن مع تنفيذ blockchain. يتيح ذلك للتطبيق حساب الإحصائيات المعقدة خارج السلسلة ، وإثباتها في zk ، ثم نشر هذا الدليل على السلسلة.
تستخدم تطبيقات مثل Frax و Azuki و Etherfi و Gearbox معالجات zk المساعدة من Lagrange لتجاوز قيود Ethereum's L1.
حتى تحصل على الفكرة. هذا هو السبب في أن ZK هو الهدف النهائي.
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
تاريخ موجز لعلاقة Ethereum مع ZK
بقلم دونوفان تشوي ، Blockworks. تجميع: خمسة باهت، التمويل الذهبي
بدأ كل شيء مع Ethereum. L1 بطيء جدا. تحتاج كل عقدة إلى إعادة تنفيذ المعاملات في الكتلة بشكل متكرر لضمان الصلاحية، مما يحد من قابلية التوسع.
بحلول عام 2020 ، كان مجتمع Ethereum يتجول حول المجموعات الإجمالية كحل للتوسع. يشرح منشور مدونة Vitalik التاريخي حول التجميع في عام 2021 كيف يتوسع التفاؤل و zk في نطاق Ethereum.
تتمتع مجموعات Zk بميزة تقنية عندما يتعلق الأمر بالتوسع ، لكن التكنولوجيا لا تزال باهظة الثمن ومتأخرة جدا (المزيد عن ذلك لاحقا).
نتيجة لذلك ، تخترق القوائم المتفائلة السوق أولا. تفترض المجموعات المتفائلة أن جميع المعاملات صالحة حتى يتحداها شخص ما بدليل على الاحتيال خلال فترة التحدي التي تبلغ سبعة أيام.
تعمل القوائم المتفائلة ، لكن لها تكاليف خفية. تعني فترة التحدي أن المستخدمين يحتاجون إلى وقت انتهاء أطول للمعاملة قبل سحب أموالهم. يعني حبس السيولة كفاءة رأس المال وتجربة مستخدم سيئة بشكل عام ، خاصة عندما يتعلق الأمر بقابلية التشغيل البيني للسلسلة.
في الوقت نفسه ، ZK تلحق بالركب. في ETHCC 2022 ، أعلنت كل من Polygon و zkSync و Scroll عن zkEVM ، مما يمكن مطوري Solidity من كتابة التعليمات البرمجية وإثبات تنفيذ EVM - مما يسمح بشكل فعال ل Ethereum بالاستفادة من تقنية المعرفة الصفرية.
** في عام 2023 ، بدأت ZK Rollups في اكتساب قوة دفع حقا. **
لماذا يعتبر إثبات ZK أفضل من إثبات الاحتيال المتفائل؟ هذا هو ، لأن دليل zk أصغر بكثير (~ 1-10 كيلوبايت) مقارنة ببيانات المعاملة الأصلية (حجم الميجابايت). **
** باستخدام تشفير ZK لإثبات معاملات Ethereum ، تعني هذه الإثباتات المضغوطة للغاية تكاليف توفر بيانات أقل وقابلية توسع أفضل. **
على الرغم من أن ZK تنطلق ، إلا أن تكلفة إنشاء البراهين لا تزال مرتفعة. وفقا ل zkstats.io ، فإن متوسط تكلفة إنشاء دليل zk في ديسمبر 2023 هو 80.21 دولارا.
تقدم سريعا إلى عام 2025. تم تخفيض تكلفة الإثبات إلى 1.3 دولار لكل شهادة ، بزيادة قدرها حوالي 98.4٪.
ما الذي تغير؟
اليوم ، تم تقسيم كل جزء أساسي من مكدس التجميع zk. **
بادئ ذي بدء ، zkVM متاح بالفعل. تعمل هذه الأجهزة الافتراضية المصممة لهذا الغرض على تسريع تجربة تطوير ZK وجعل إنشاء إثبات الصلاحية أكثر كفاءة. قبل ظهور zkVM ، احتاج المطورون إلى كتابة "دوائر" رياضية معقدة لإثبات كيفية أداء EVM.
! d75tm5LkPQ2Tv2srtxARtS6OxxU0Be742iWrl6tg.jpeg
اليوم ، تعمل ZkVMs مثل SP1 و RISC Zero و Nexus و OpenVM على إضفاء الطابع الديمقراطي على تطوير zk بشكل فعال لجميع المطورين الذين ليس لديهم خبرة في تشفير zk (C ++ ، Rust). في الماضي ، قام zkEVM فقط بتمكين تطوير Solidity على مجموعات zk. فكر في zkVM كمفهوم أكثر عمومية من zkEVM.
ثانيا ، تتناقص تكلفة إنشاء البراهين بسبب المنافسة في السوق. ** اليوم ، تدير Risc Zero و Cysic و Lagrange و Succinct عددا من الأسواق التنافسية. بعضها لا يزال في شبكة الاختبار ، والبعض الآخر يعمل.
ينتقل Zk L2 أيضا إلى تقنيات تجميع الإثبات لإطفاء تكاليف التحقق. إنه يعمل تقريبا عن طريق تجميع براهين متعددة في دليل واحد ، مما يجعل التحقق من الإثبات النهائي أسرع.
هذه الأسواق أيضا غير مصرح بها ، مما يعني أنه يمكن لأي شخص لديه جهاز GPU التسجيل ونشر سند وإنشاء براهين zk. في السابق ، استخدمت مجموعات zk "تصديقات مركزية" ، مما يعني أنها استأجرت أجهزة GPU / FPGA من Google أو Amazon.
يتم تقديم أنظمة إثبات أفضل طوال الوقت. تحدد أنظمة الإثبات هذه (على سبيل المثال ، Groth16 و Halo2-KZG و STARK و Plonk و Expander) خوارزميا القواعد الخاصة بكيفية إنشاء براهين zk والتحقق منها. إنهم يتحسنون أكثر فأكثر ، مما يعني أن براهين zk أصبحت أصغر وأسرع في التحقق. وهذا بدوره يعني تحسينات أداء zkVM.
أخيرا ، هناك معالج zk المساعد المبني فوق zkVM. تسمح هذه الأشياء بشكل أساسي للتطبيقات على السلسلة غير الموجودة في بيئة تنفيذ ZK بالاستفادة من عجائب تقنية ZK. الطريقة التي تفعل بها ذلك هي عن طريق نقل الحساب خارج السلسلة وبالتالي تشغيله بشكل غير متزامن مع تنفيذ blockchain. يتيح ذلك للتطبيق حساب الإحصائيات المعقدة خارج السلسلة ، وإثباتها في zk ، ثم نشر هذا الدليل على السلسلة.
تستخدم تطبيقات مثل Frax و Azuki و Etherfi و Gearbox معالجات zk المساعدة من Lagrange لتجاوز قيود Ethereum's L1.
حتى تحصل على الفكرة. هذا هو السبب في أن ZK هو الهدف النهائي.