ماذا يحدث عندما يتم دمج تقنية الإثبات صفر بشكل كامل في الهندسة المعيارية؟

المؤلف: Hannes Huitula المصدر: ترجمة أبحاث التوازن المختبر: OUBA جيد ، عالم البتات

ما هو blockchain وكيف يوسعون نموذج الحساب الحالي؟

blockchain (اسم): آلة التنسيق التي تمكن المشاركين من جميع أنحاء العالم من التعاون على طول مجموعة من القواعد التي وافق عليها بشكل مشترك ، دون أي مساعدة طرف ثالث.

الغرض من تصميم الكمبيوتر هو القيام بثلاثة أشياء: تخزين البيانات والحسابات والتواصل بين بعضها البعض والبشر.يزيد blockchain من البعد الرابع: تحدث الأشياء الثلاثة الإضافية (التخزين والحوسبة والاتصال) بطريقة متفق عليها.هذه الضمانات تجعل التعاون بين الغرباء لا يحتاجون إلى الترويج (اللامركزية) دون الوثوق.

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

على الرغم من أن Web3 يوصف عادةً بأنه “القراءة ، والكتابة ، والكتابة ، والكتابة ، والكتابة ، والكتابة ، والكتابة ، والكتابة ، والكتابة ، والكتابة ، والكتابة ، والكتابة ،يملك“لكننا نعتقد أن المفهوم الأفضل للتكرار الثالث للإنترنت هو” القراءة والكتابةإلى جانبيؤكد“،،نظرًا لأن الفائدة الرئيسية لـ blockchain العامة هي ضمان الحوسبة والتحقق بسهولة من الوفاء بهذه الضمانات.إذا قمنا ببناء قطع عمل رقمية يمكن شراؤها وبيعها والتحكم فيها ، فيمكن أن تصبح الملكية مجموعة فرعية مع حسابات مضمونة.ومع ذلك ، تستفيد العديد من حالات blockchain من حسابات الضمان ، ولكن لا تتضمن ملكية مباشرة.على سبيل المثال ، إذا كانت صحتك في اللعبة 77/100 -فأنت تعاني من الصحة ، أو يتم إجبارها فقط على التنفيذ على السلسلة بناءً على القواعد التي وافق عليها بشكل مشترك؟سوف نقول هذا الأخير ، لكن كريس ديكسون قد يختلف.

Web3 = القراءة والكتابة والتحقق

ZK و modular -two اتجاه التنمية المتسارعة

يوفر blockchain الكثير من الأشياء المثيرة ، لكن النموذج اللامركزي يزيد أيضًا من الكفاءة العامة والكفاءة المنخفضة من خلال وظائف إضافية مثل نقل رسالة P2P والإجماع.بالإضافة إلى ذلك ، لا تزال معظم blockchains تتحقق من تحويل الحالة الصحيح عن طريق إعادة التنفيذ ، مما يعني أن كل عقدة على الشبكة يجب أن تعيد إعادة تنفيذ المعاملات للتحقق من صحة تحويل الحالة.هذه مضيعة ، وهي في تناقض حاد مع نموذج مركزي له تنفيذ كيان واحد فقط.على الرغم من أن النظام اللامركزي يحتوي دائمًا على بعض النفقات والتكرار ، إلا أنه ينبغي أن يقترب الهدف تدريجياً من المعيار المركزي من حيث الكفاءة.

على الرغم من أن البنية التحتية الأساسية قد تم تحسينها بشكل كبير في السنوات العشر الماضية ، قبل أن يتمكن blockchain من التعامل مع مقياس مستوى الإنترنت ، لا يزال هناك العديد من الوظائف التي يجب القيام بها.نرى التجارة على طول المحورين الرئيسيين (التعبير والصلابة) ، ونعتقد أنه يمكن استخدام modularization لتوسيعها في ZK ، وإجراء تجارب أسرع على طول الحافة الأمامية للوزن:

التعبير-ماذا يمكنك أن تضمن؟بما في ذلك قابلية التوسع (التكلفة ، التأخير ، الإنتاجية ، إلخ) ، الخصوصية (أوإدارة تدفق المعلومات) ، برمجية ومجتمعة.
صلابة -ما مدى صعوبة هذه الضمانات؟بما في ذلك الأمان ، اللامركزية ، وأمان المستخدم والرمز.

وحداتإنه يشير إلى مكون النظام الذي يمكن فصله وإعادة تجميعهدرجة.من خلال دورة التغذية المرتدة بشكل أسرع وحواجز الدخول المنخفضة ، والطلب الأقل من رأس المال (الاقتصاد والموارد البشرية) -يمكن أن يحقق التعويض عن تجارب أسرع والكفاءة المهنية.مشكلة النموذج والتكامل ليست ثنائية ، ولكن سلسلة من التجارب لمعرفة الأجزاء المناسبة للفصل وأي أجزاء ليست كذلك.

على الجانب الآخر،دليل المعرفة صفر (ZKP) لصنع طرف واحد(إثبات)قادر على آخر(تَحَقّق)إنه يثبت أنهم يعرفون أن شيئًا ما حقيقيًا ، وليس هناك حاجة للكشف عن أي معلومات إضافية تتجاوز فعاليتها.يمكن إعادة تنفيذ هذا (من كل التنفيذللتحققيتم تحويل نموذج النموذج إلىتنفيذ واحد ، كل التحققنموذج)لتحسين قابلية التوسع والكفاءة ، وتمكين الخصوصية (القيود) لتحسين التعبير.يحسن ZKP أيضًا صلابة الضمان باستخدام اقتصاد تشفير أقوى لاستبدال ضمان الاقتصاد المشفر الضعيف ، والذي يتجلى في دفع الحدود إلى الخارج (راجع الشكل أعلاه).

نحن نعتقد أن المعيار و “كل الأشياء ZK” سوف تستمر في التسارع.على الرغم من أن كلاهما يوفر وجهات نظر مثيرة للاهتمام لاستكشاف المساحة وحدها ، إلا أننا مهتمان بشكل خاص بصليب الاثنين.القضيتين الرئيسيتان اللتين المهتمين بهما:

ما هي أجزاء المكدس المعياري الذي تم تضمينه في ZKP ، وأي أجزاء يجب استكشافها؟
ما هي المشكلات التي يمكن أن يخففها ZKP؟

ومع ذلك ، قبل مناقشة هذه القضايا ، نحتاج إلى فهم أحدث موقف من كومة الوحدة في عام 2024.

كومة الوحدة في عام 2024

مع أربعة مكونات (التنفيذ ، إصدار البيانات ، الإجماع ، التسوية)تعد الصور الشائعة للمداخن المعيارية مفيدة كنماذج نفسية بسيطة ، ولكن بالنظر إلى مقدار المساحة المعيارية التي تطورت ، نعتقد أنها لم تعد تمثيلًا كافيًا.أدت مزيد من الدوران إلى مكون جديد كان يعتبر في السابق جزءًا أكبر ، وفي الوقت نفسه ، قام أيضًا بإنشاء تبعيات جديدة واحتياجات قابلية التشغيل الآمنة بين المكونات المختلفة (سيتم تقديم المقدمة التفصيلية لاحقًا).بالنظر إلى سرعة تطوير هذا المجال ، من الصعب فهم جميع الابتكارات على مستويات مختلفة من المداخن في الوقت المناسب.

تشمل المحاولات المبكرة لاستكشاف مكدس Web3 محاولات Kyle Samani (Multicoin)-تم إصدارها لأول مرة في عام 2018 وتم تحديثها في عام 2019.ويغطي كل شيء بدءًا من زيارة الإنترنت اللامركزية على الإنترنت (مثل الهيليوم) إلى إدارة مفتاح المستخدم النهائي.على الرغم من أنه يمكن إعادة استخدام المبادئ وراء ذلك ، إلا أن بعض الأجزاء ، مثل الإثبات والتحقق ، مفقودة تمامًا.

بالنظر إلى هذا ، حاولنا إنشاء تحديث مكدس وحدة 2024 ، والذي وسع المكدس المعياري الأربعة الموجود.يتم تقسيمه وفقًا للمكونات بدلاً من الوظائف ، مما يعني أن شبكات P2P ، وما إلى ذلك يتم تضمينها في الإجماع ، بدلاً من تقسيمها إلى مكونات منفصلة -لأنه من الصعب إنشاء بروتوكولات حولها.

ZK في المكدس المعياري

الآن لدينا طريقة عرض تحديث للمكدس.قبل دراسة كل مكون بشكل منفصل ، ما يلي هو ملخص اكتشافنا.

1 -تجريد عملية المستخدم

يحتاج مستخدمو blockchain الحاليين إلى تصفح سلاسل ومحافظ وواجهات متعددة ، وهو أمر مزعج وسيعوق الاعتماد على نطاق أوسع.يعد عملية تجريد تشغيل المستخدم اسمًا عامًا يشير إلى أي محاولة لتجريد مثل هذا التعقيد ويسمح للمستخدمين بالتفاعل مع واجهة واحدة فقط (مثل تطبيق معين أو محفظة) ، ويحدث كل التعقيد في النهاية الخلفية.تشمل بعض الأمثلة على التجريد السفلي:

يمكّن Account Abstract (AA) من تداول العقود الذكية دون توقيع المستخدم (“حساب التشفير القابل للبرمجة”) دون كل عملية.يمكن استخدامه لتحديد من يمكنه التوقيع (الإدارة الرئيسية) ، وما (تحميل المعاملة) ، وكيفية التوقيع (خوارزمية التوقيع) ، ومتى توقيع (شروط موافقة المعاملة).يتم الجمع بين هذه الوظائف لتحقيق وظائف مثل تسجيل الدخول الاجتماعي وتفاعل DAPP ، 2FA ، استرداد الحساب والأتمتة (التوقيع التلقائي).على الرغم من أن المناقشة عادة ما تدور حول Ethereum (تم تمرير ERC-4337 في ربيع عام 2023) ، إلا أن العديد من السلاسل الأخرى لديها بالفعل تجريد حساب مدمج (APTOS ، SUI ، بالقرب ، ICP ، Starknet ، و Zksync).
يتيح رسم السلسلة للمستخدمين توقيع معاملة على سلاسل مختلفة ، وفي الوقت نفسه يتفاعل مع حساب واحد(واجهة واحدة ، سلاسل متعددة)جوهرتلتزم فرق متعددة بهذا ، بما في ذلك بالقرب من ICP و Dwallet.تستخدم هذه الحلول الأسماء المستعارة الموقعة من MPC وسلسلة ، ويتم تقسيم المفاتيح الخاصة لشبكة أخرى إلى عدة أجزاء صغيرة ، ووقعت مصادقة معاملة عبر السلسلة للمشاركة في سلسلة المصدر.عندما يريد المستخدم التفاعل مع سلسلة أخرى ، يحتاج عدد كاف من التحديات إلى توقيع المعاملة لتلبية تشفير العتبة.هذا يحتفظ بالأمان ، لأن المفتاح الخاص لن يتم مشاركته تمامًا في أي مكان.ومع ذلك ، فإنه يواجه خطر تواطؤ المدقق ، وهذا هو السبب في أن الأمن الاقتصادي المشفر للسلسلة السفلية لا يزال مرتبطًا بشكل كبير بلامركزية اللامركزية.
من المستوى العالي ، يمكن للنية توصيل احتياجات المستخدم بالعمليات التي يمكن أن يؤديها blockchain.هذه الحاجةحل النية— – وكيل السلسلة الخاص ، المهمة هي العثور على أفضل حل لنية المستخدم.استخدمت بعض التطبيقات بالفعل نوايا خاصة ، مثل DEX Polymer(“أفضل سعر”)Polymer hexiaxiaxin (“أرخص/أسرع اتصال جسر”).تهدف القصد العام لشبكات التسوية (Anoma ، Essential ، Suave) إلى تسهيل على المستخدمين التعبير عن نوايا أكثر تعقيدًا وجعل المطورين أسهل في بناء تطبيق تركز على التطبيق.ومع ذلك ، لا يزال هناك العديد من المشكلات المشبوهة ، بما في ذلك كيفية تكوين العملية ، وما هي اللغة التي تتمحور فيها ، وما إذا كان الحل الأمثل موجودًا وما إذا كان يمكن العثور عليه.

تكامل ZK الحالي

استخدم AA X ZK للمصادقة: أحد الأمثلة هو ZKLOGIN من SUI.يستخدم ZKP لمنع أطراف ثالثة من ربط عنوان SUI بشعار OAUTH المقابل.
AA Wallet التحقق من توقيع أكثر كفاءة: تحقق من أن المعاملات في عقود AA قد تكون أغلى بكثير من التداول التي بدأتها الحسابات التقليدية (EOA).يحاول Orbiter حل هذه المشكلة من خلال خدمات الربط.يمكن إثبات منحها تكلفة التحقق من سلسلة التوزيع المتوسطة بين جميع المستخدمين ، والتي يمكن أن توفر التكاليف بشكل كبير.

المشكلة المفتوحة التي يمكن أن يحلها ZKP

أفضل تنفيذ أو دليل مقصود: على الرغم من أن النية و AA يمكن أن تجريان التعقيد من المستخدمين ، إلا أنهما يمكنهم أيضًا أن يكونا كقوة مركزة ويطلب منا الاعتماد على المشاركين المتخصصين (تم حلهم) للعثور على أفضل مسار تنفيذ.يمكن أن يثبت ZKP أنه يتم تحديد أفضل مسار للمستخدم من عينة المسار لجهاز الحل ، بدلاً من الوثوق ببساطة بحسن نية البحث عن جهاز حل.
خصوصية تسوية النية: يهدف اتفاق مثل Taiga إلى تحقيق نوايا محمية بالكامل لحماية خصوصية المستخدمين -وهذا جزء من إضافة الخصوصية (أو على الأقل سرية) إلى شبكة blockchain.يستخدم ZKP (HALO2) لإخفاء المعلومات الحساسة (أنواع التطبيقات ، المستلمين ، إلخ) حول تحويل الحالة.
AA Wallet Password Recovery: تتمثل الفكرة وراء الاقتراح في السماح للمستخدمين باستعادة المحفظة عند فقدان مفاتيحهم الخاصة.من خلال تخزين قيم التجزئة (كلمات المرور ، والأرقام العشوائية) على محفظة العقد ، يمكن للمستخدمين إنشاء ZKP بمساعدة كلمة مرور للتحقق من أن هذا هو حسابهم وطلب تغيير المفتاح الخاص.يمكن أن تمنع فترة التأكيد (3 أيام أو أكثر) المقابلات غير المصرح بها.

2 -التسلسل

قبل إضافة المعاملة إلى الكتلة ، يجب فرزها ، والتي يمكن إكمالها بطرق مختلفة: تم فرزها وفقًا لربحية الاقتراح (دفعت لأول مرة معاملة الدفع) ، وفقًا لتسلسل تقديم معاملات الذاكرة الخاصة حمامات السباحة.

مشكلة أخرى هيمنيمكنك طلب المعاملات.في العالم المعياري ، يمكن لأطراف مختلفة متعددة أداء هذه العملية ، بما في ذلك sorters الملخص (مركزية أو اللامركزية) ، فرز L1 (بناءً على ملخص) وشبكات الفرز المشتركة إلى.كل هذه لها افتراضات وملحقات ثقة مختلفة.في الممارسة العملية ، يمكن أيضًا إكمال الفرز الفعلي للمعاملة وتجميعها في كتلة خارج البروتوكول من قبل المشاركين الخاصين (بناة بلوك).

تكامل ZK الحالي

التحقق من التشفير الصحيح لمجموعة تجمع الذاكرة: RADIUS عبارة عن شبكة فرز مشتركة مع تجمع ذاكرة تشفير عملي مع عملي يمكن تأخيره.يقوم المستخدم بإنشاء ZKP لإثبات أن حل مشكلة قفل الوقت سيؤدي إلى فك التشفير الصحيح للمعاملات الفعالة ، أي أن المعاملة تحتوي على توقيعات فعالة وأرقام عشوائية ، وأن المرسل لديه توازن كاف لدفع رسوم المعاملات.

المشكلة المفتوحة التي يمكن أن يحلها ZKP

التحقق من قواعد الفرز (VSR): تقديم مقترحات/sorters تلتزم بمجموعة من القواعد المتعلقة بأمر التنفيذ ، وضمان إضافي للامتثال لهذه القواعد.يمكن أن يكون التحقق دليلًا على ZKP أو الاحتيال ، ويحتاج الأخير إلى روابط اقتصادية كافية.

3 -تنفيذ (تحجيم الكتابة)

تحتوي طبقة التنفيذ على منطق تحديث الحالة وهي أيضًا المكان الذي تقوم فيه عمليات إعدام العقود الذكية.بالإضافة إلى إرجاع المخرجات المحسوبة ، يمكن لـ ZKVM أيضًا إثبات ما إذا كان تحويل الحالة قد اكتمل بشكل صحيح.يتيح ذلك للمشاركين الآخرين في الشبكة التحقق من التنفيذ الصحيح دون التحقق من دليل دون الحاجة إلى إعادة تنفيذ المعاملات.

بالإضافة إلى تحقيقات أسرع وأكثر كفاءة ، فإن فائدة أخرى تثبت أنه يمكن تنفيذها هي أنه يمكن تحقيق حسابات أكثر تعقيدًا ، لأنك لن تواجه مشاكل في الغاز النموذجية ومشكلات موارد السلسلة المحدودة المحددة خارج السلسلة.هذا يفتح الباب للتطبيق الجديد.

تكامل ZK الحالي

Zkevm Rollups: نوع خاص من ZKVM ، والذي يتوافق مع Ethereum ويثبت بيئة تنفيذ EVM.ومع ذلك ، كلما اقتربت توافق Ethereum ، زادت التجارة.في عام 2023 ، تم إطلاق ZKEVM متعددة ، بما في ذلك Polygon Zkevm و Zksync Era و Scroll و Linea.أصدرت Polygon مؤخرًا Plater ZKEVM من النوع الأول ، والتي يمكن أن تثبت أن الشبكة الرئيسية من Ethereum قد أثبتت بسعر 0.20-0.50 دولار لكل منهما (ليتم تحسينه لخفض التكاليف).لدى Risczero أيضًا حلًا آخر يثبت كتلة Ethereum ، ولكن نظرًا للاختبار القياسي المحدود ، تكون التكلفة مرتفعة.
ZKVM البديل: تأخذ بعض البروتوكولات مسارات بديلة وتحسين صداقة الأداء/المقدمة (Zorp) أو المطورين ، بدلاً من محاولة تعظيم التوافق مع Ethereum.تشمل أمثلة هذا الأخير بروتوكول ZKWASM (Fluent و Delphinus Labs) و ZKMOVE (M2 و ZKMOVE).
ZKVM ، الذي يركز على الخصوصية: في هذه الحالة ، يتم استخدام ZKP لأمرين: تجنب إعادة التنفيذ وتحقيق الخصوصية.على الرغم من أن استخدام ZKP وحده محدود (محدود فقطالدولة الخاصة الشخصية) لكن الاتفاقية القادمة تضيف الكثير من التعبير والبرمجة إلى الحل الحالي.ومن الأمثلة على ذلك aleo’s snarkvm و AVM من Aztec و Midenvm من المضلع.
معالج ZK-Synthetic: تمكين حساب سلسلة البيانات على السلسلة (ولكن لا توجد حالة).يتم استخدام ZKP لإثبات التنفيذ الصحيح ويوفر سرعة تسوية أسرع من معالج الارتباط المحسن ، ولكن يجب أن يكون وزنه في التكلفة.بالنظر إلى تكلفة و/أو صعوبة توليد ZKP ، فقد رأينا بعض الإصدارات الهجينة ، مثل Brevis Cochain ، والتي تتيح للمطورين الاختيار بين ZK أو الوضع المتفائل (الوزن بين التكلفة وضمان صلابة).

المشكلة المفتوحة التي يمكن أن يحلها ZKP

ZKVM المهم: لا تزال معظم الطبقات الأساسية (L1) تستخدم إعادة التنفيذ للتحقق من تحويل الحالة الصحيح.حول ZKVM إلى الطبقة الأساسية لتجنب ذلك ، لأن التحقق يمكن أن يتحقق من الإثبات.هذا سيحسن كفاءة التشغيل.تتركز عيون معظم الناس على ethereum مع ZKEVM ، ولكن العديد من النظم الإيكولوجية الأخرى تعتمد أيضًا على إعادة التنفيذ.
ZKSVM: على الرغم من أن SVM تستخدم حاليًا في Solana L1 ، فإن فرق مثل Eclipse تحاول استخدام SVM لتلخيص Ethereum.تخطط Eclipse أيضًا لاستخدام RISC Zero لـ ZK الاحتيال للتعامل مع التحديات المحتملة لتحويل الحالة في SVM.ومع ذلك ، لم يتم استكشاف ZKSVM الناضج -قد يكون بسبب تعقيد المشكلة وحقيقة أن SVM قد أدى إلى تحسين جوانب أخرى غير قابلية الثرالة.

4 -Data Query (قراءة التحجيم)

يعد الاستعلام عن البيانات ، أو قراءة البيانات من blockchain جزءًا مهمًا من معظم التطبيقات.على الرغم من أن معظم المناقشات والجهود المبذولة في السنوات الأخيرة تتركز على التمديد (التنفيذ) ، إلا أنه من المهم توسيع القراءة بسبب الخلل بين الاثنين (خاصة في بيئة لا مركزية).تختلف نسبة القراءة/ الكتابة بين blockchain ، ولكن نقطة البيانات المقدرة من قبل SIG هي أن 96 ٪ من جميع مكالمات العقد على سولانا هي قراءات (استنادًا إلى بيانات تجربة 2 سنة) -القراءة/ نسبة الكتابة هي 24: 1. 1.

تتضمن القراءة الموسعة أداءً أعلى (مثل SIG على Solana) من خلال عميل جهاز التحقق المخصص (مثل SIG على Solana) (المزيد من القراءة في الثانية) وتمكين استعلامات أكثر تعقيدًا (الجمع بين القراءة والحساب) بمساعدة المعالج.

زاوية أخرى هي اللامركزية لطريقة استعلام البيانات.اليوم ، يتم الترويج لمعظم طلبات استعلام البيانات في blockchain من قبل أطراف ثالثة موثوق بها (بناءً على السمعة) ، مثل عقدة RPC (Intura) والفهارس (DUNE).تتضمن أمثلة المزيد من الخيارات اللامركزية مكونات تخزين الرسم البياني وتخزين الذاكرة (تم التحقق منها أيضًا).هناك أيضًا بعض المحاولات لإنشاء شبكات RPC اللامركزية ، مثل شبكة Din Din أو Lava (باستثناء RPC اللامركزية ، فإن هدف Lava هو توفير خدمات إضافية للوصول إلى البيانات لاحقًا).

تكامل ZK الحالي

شهادة التخزين: يمكنك الاستفسار عن السجل والبيانات الحالية من blockchain دون استخدام طرف ثالث موثوق به.يتم استخدام ZKP لضغط وإثبات البيانات الصحيحة.تشمل أمثلة المشروع التي تم إنشاؤها في هذا المجال Axiom و Brevis و Herodotus و Lagrange.

المشكلة المفتوحة التي يمكن أن يحلها ZKP

الاستعلام الفعال في حالة الخصوصية: عادة ما تستخدم عناصر الخصوصية متغيرات نموذج UTXO.قد يتسبب نموذج UTXO الخاص أيضًا في حدوث مشكلات في المزامنة -خلال 2022 ، تعمل ZCASH بجد لحل هذه المشكلة بعد تجربة زيادة كبيرة في حجم المعاملات.يجب مزامنة المحافظ مع السلسلة قبل استخدام الأموال ، لذلك يعد هذا تحديًا أساسيًا إلى حد ما لتشغيل الشبكة.بالنظر إلى هذه المشكلة ، أصدرت Aztec مؤخرًا طلب تقديم العروض حول أساس الأوراق النقدية ، لكنها لم تجد حلاً واضحًا.

5 -proof

نظرًا لأن المزيد والمزيد من التطبيقات مدرجة في ZKP ، فإن الإثبات والتحقق يصبحان جزءًا مهمًا من المكدس المعياري.ومع ذلك ، لا يزال معظم دليل البنية التحتية مسموحًا به وتركيزه ، ويعتمد العديد من التطبيقات على دليل واحد.

على الرغم من أن الحلول المركزية ليست معقدة ، إلا أن بنية الإثبات اللامركزية وتقسيمها إلى مكون وحدات بشكل منفصل ستجلب مجموعة متنوعة من الفوائد.أحد المفاتيح هو شكل ضمان النشاط ، وهو أمر ضروري للتطبيقات التي تم إنشاؤها بواسطة البراهين المتكررة.يستفيد المستخدمون أيضًا من ارتفاع مقاومة الرقابة وخفض التكلفة التي تحركها المنافسة والمثلون المتعددين.

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

لقد لخص رأس مال النسخة الوضع الحالي لسلسلة التوريد ، والتي تشمل التوليد المبتكر وتجميع الإثبات(ثبت أنه يتم إنشاؤه ، ولكن يتم استخدام دليلان فقط كمدخلات بدلاً من تنفيذ التتبع).

تكامل ZK الحالي

Stark مع مربع Snark: دليل Stark سريع ولا يتطلب إعدادات موثوقة ، ولكن العيب هو أنها ستولد عددًا كبيرًا من البراهين ، وتكلفة التحقق من هذه البراهين على Ethereum L1 مرتفعة للغاية.يتم تغليف الخطوة الأخيرة في Snark ، مما يقلل بشكل كبير من تكلفة التحقق من Ethereum.الجانب غير المواتي هو أن هذا قد زاد من التعقيد ، ولم تتم دراسة أمن هذه “أنظمة الإثبات المركبة” هذه تمامًا.تشمل الأمثلة الموجودة الحالية Boojum و Risc Zero في Polygon Zkevm ، Zksync Era.
شبكة شهادة اللامركزية في جنرال موتورز: دمج المزيد من التطبيقات في شبكة الشهادات اللامركزية لجعل المصلحة أكثر كفاءة (استخدام الأجهزة الأعلى) ، وهو أرخص للمستخدمين (لا حاجة لدفع تكبير الأجهزة).تشمل المشاريع في هذا المجال جيفولوت والمستخفة.

المشكلة المفتوحة التي يمكن أن يحلها ZKP

شهادة الاحتيال ZK: في حل متفائل ، يمكن لأي شخص تحدي تحويل الحالة وإنشاء شهادة احتيال أثناء التحدي.ومع ذلك ، يثبت التحقق من التحقق من أنه لا يزال مرهقًا تمامًا لأنه يكتمل عن طريق إعادة التنفيذ.تهدف شهادة الاحتيال ZK إلى حل هذه المشكلة من خلال إنشاء شهادة تحويل الدولة الصعبة ، وبالتالي تحقيق التحقق الأكثر فعالية (لا حاجة لإعادة التنفيذ) وقد تكون أسرع.على الأقل التفاؤل (التعاون مع O1 Labs و Risczero) و Altlayer X Risczero ملتزمون بهذا.
تجميع إثبات أكثر كفاءة: ميزة مهمة لـ ZKP هي أنه يمكنك تجميع أدلة متعددة كدليل دون زيادة تكاليف التحقق بشكل كبير.يتيح ذلك تكاليف التحقق من أدلة أو تطبيقات متعددة.يعد التجميع المثبت أيضًا دليلًا ، لكن الإدخال هو دليلان بدلاً من تنفيذ التتبع.تشمل أمثلة المشروع في هذا المجال Nebra و Gevulot.

6 -Data إصدار (متاح)

إصدار البيانات (DP)تأكد من أن البيانات يمكن أن تكون متاحة في وقت قصير (1-2 أسابيع).هذا مخصص للأمان (يتطلب الملخص المتفائل بيانات الإدخال للتحقق من التنفيذ الصحيح عن طريق إعادة التنفيذ خلال فترة التحدي (1-2 أسابيع)) ونشط (حتى لو كان النظام يستخدم إثبات الصلاحية ، فقد يثبت البيانات لملكية الأصول) إلى تكون ذات صلة) مهم.الهروب المقصورة أو المعاملة الإلزامية).يواجه المستخدمون (مثل جسور ZK و Rollups) الدفع لمرة واحدة ، والذي يغطي تكلفة تخزين المعاملات والحالة في غضون فترة زمنية قصيرة قبل قطعها.شبكة إصدار البيانات غير مصممة لتخزين البيانات الطويل المدى(على العكس من ذلك ، يرجى الرجوع إلى القسم التالي لفهم الحلول الممكنة)جوهر

Celestia هي أول طبقة بديلة DP لإطلاق الشبكة الرئيسية (31 أكتوبر) ، ولكن سيكون هناك العديد من البدائل للاختيار من بينها قريبًا ، لأنه من المتوقع أن يتم إطلاق Avail ، Eigenda ، وبالقرب من DA خلال عام 2024.بالإضافة إلى ذلك ، توسعت ترقية EIP 4844 من Ethereum لنشر البيانات على Ethereum (باستثناء إنشاء سوق مصروفات منفصل لتخزين Blob) ، ووضع الأساس لظواهر الكاملة.تتوسع موانئ دبي أيضًا إلى النظم الإيكولوجية الأخرى -هو مثال على ذلك ، يهدف إلى بناء موانئ دبي أصلي على البيتكوين.

توفر العديد من حلول DP أيضًا خدمات أخرى غير إصدار البيانات الخالصة ، بما في ذلك مشاركة الأمان (مثل Celestia و Avail) ، أو أكثر إمكانية التشغيل المتداخل السلس (مثل Nexus’s Alving).هناك أيضًا بعض المشاريع (Domicon و Zero Gravity) توفر كلاهما إصدار بيانات وتخزين طويل المدى ، وهو اقتراح مذهل.هذا أيضًا مثال على مكونين في المكدس المعياري.

تكامل ZK الحالي

إثبات صحة الرمز الافتراضي: يجلب رمز الحذف درجة معينة من التكرار.هذا أيضًا شرط أساسي لـ DAS.إذا كان للاقتراح الضار وجود خطأ في ترميز البيانات ، حتى لو كانت عقدة الضوء تقوم بتأسيس قطعة واحدة فقط ، فقد لا يتم استرداد البيانات الأصلية.يمكن أن يثبت رمز الحذف الصحيح لاستخدام إثبات فعال (ZKP) أو الاحتيال -سيتأثر الأخير بالتأخير المتعلق بفترة التحدي.جميع الحلول الأخرى باستثناء سيليستيا ملتزمة باستخدام إثبات الصلاحية.
يدعم عميل Light ZK جسر البيانات: لا يزال يتعين إصدار Rollups باستخدام طبقات إصدار البيانات الخارجية بشكل صحيح مع بيانات اتصال طبقة التسوية.هذا هو الغرض من الجسر الذي ثبت البيانات.يمكن أن يؤدي استخدام ZKP إلى التحقق من توقيع سلسلة Ethereum Shangyuan على توقيع أكثر كفاءة.إن جسور إثبات البيانات (Vectorx) و Celestia (BlobStreamx) مدعومة من قبل عميل Light ZK الذي تم تصميمه بمستجيب.

المشكلة المفتوحة التي يمكن أن يحلها ZKP

يجمع Celestia بين إثبات صلاحية الترميز الصحيح للمحو: Celestia حاليًا غير متجانسة في شبكة إصدار البيانات ، لأنه يستخدم دليل الاحتيال لتحقيق رمز المحو الصحيح.إذا كان اقتراح الكتلة الضارة يحتوي على خطأ في ترميز البيانات ، فيمكن لأي عقدة أخرى إنشاء دليل على عملية الاحتيال واستجوابها.على الرغم من أن هذه الطريقة بسيطة نسبيًا للتنفيذ ، فإنها تقدم أيضًا تأخيرات (هذه الكتلة هي النهائي بعد شهادة الاحتيال) ، ومن الضروري الوثوق بعقدة صادقة لإنشاء شهادة احتيال (غير قادر على التحقق منها).ومع ذلك ، تستكشف Celestia مزيجًا من ترميزها الحالي القصب مع ZKP لإثبات أن الترميز صحيح ، مما سيقلل بشكل كبير من النهاية.يمكنك العثور على أحدث مناقشة حول هذا الموضوع.
يثبت ZK أن DAS: تم استكشاف توفر ZK Proof.سيؤدي ذلك إلى تقليل متطلبات العقد الخفيفة ، ولكن يبدو أن التطوير قد راكد.

7 -lock -inter (الحالة) التخزين

يعد تخزين البيانات التاريخية أمرًا مهمًا ، وذلك أساسًا لطلبات البيانات المتزامنة وطلبات بيانات الخدمة.ومع ذلك ، فإن جميع البيانات غير ممكنة لكل عقدة كاملة ، وسوف تقطع معظم العقدة بأكملها البيانات القديمة للحفاظ على طلب الأجهزة معقولًا.على العكس من ذلك ، نعتمد على الوكالات المتخصصة (العقد والفهارس الأرشيف) لتخزين جميع البيانات التاريخية وتوفير هذه البيانات وفقًا لطلبات المستخدم.

هناك أيضًا موفري التخزين اللامركزي ، مثل FileCoin أو Arweave ، والذي يوفر حلول تخزين لا مركزية على المدى الطويل بأسعار معقولة.على الرغم من أن معظم blockchains لا تحتوي على إجراء تخزين أرشيف رسمي (يعتمد فقط علىشخص ماالتخزين) ، ولكن بروتوكول التخزين اللامركزي هو مرشح جيد يخزن البيانات التاريخية المخزنة المدمجة وإضافة بعض زائدة عن الحاجة (على الأقل X -Node Storage Data).في الحوافز.

تكامل ZK الحالي

شهادة التخزين: يحتاج مقدمو التخزين على المدى الطويل إلى إنشاء ZKP بانتظام لإثبات أنهم قاموا بتخزين جميع البيانات التي يدعونها.مثال على هذا الجانب هو شهادة FileCoin للوقت والفضاء (Post) ، حيث أجاب مزود التخزين بنجاح على تحدي المنشور في كل مرة سيحصل على مكافآت الحظر.

المشكلة المفتوحة التي يمكن أن يحلها ZKP

إثبات مصدر مصادر البيانات وعرض البيانات الحساسة: بالنسبة إلى وصفتين لا يصدقان يرغبون في تبادل البيانات الحساسة ، يمكن استخدام ZKP لإثبات أن طرفًا واحدًا لديه بيانات اعتماد مطلوبة لعرض البيانات دون تحميل المستندات الفعلية أو تسرب كلمات المرور والسجلات.تفاصيل.

8 -Consensus

بالنظر إلى أن blockchain هو نظام P2P الموزع ، لا يوجد أطراف ثالثة موثوقة مع حقيقة الحقيقة العالمية.بدلاً من ذلك ، توصلت عقدة الشبكة إلى اتفاق على الحقيقة الحالية (التي يتمتع بها الكتلة) من خلال آلية تسمى الإجماع.يمكن تقسيم أساليب الإجماع القائمة على نقاط البيع إلى BFT على أساس BFT (حيث تحدد التحقق من البيزنطية الحالة النهائية) أو السلسلة المستندة إلى السلسلة (يتم تحديد الحالة النهائية من خلال قواعد اختيار القسم).على الرغم من أن معظم إجماع POS الحالي يعتمد على BFT ، فإن Cardano هو مثال على أطول تنفيذ سلسلة.أصبح الناس أكثر اهتمامًا بآليات الإجماع المستندة إلى DAG ، مثل Narwhal-Bullshark ، والتي يتم تنفيذها مع بعض المتغيرات في Aleo و Aptos و Sui.

يعد الإجماع جزءًا مهمًا من العديد من المكونات المختلفة للمكدس المعياري ، بما في ذلك sorters المشتركة ، والشهادات اللامركزية ، وشبكات إصدار البيانات القائمة على blockchain (لا تستند إلى لجان ، مثل eigenda).

تكامل ZK الحالي

تعهد في شبكات الخصوصية المستندة إلى ZK: لقد تحدى شبكات الخصوصية القائمة على POS ، لأن حاملي الرمز المميز المعهد يجب أن يتخذوا خيارات بين الخصوصية والمشاركة في الإجماع (والحصول على مكافآت التعهد).يهدف Penumbra إلى حل هذه المشكلة عن طريق القضاء على مكافآت التعهد.تحافظ هذه الطريقة على خصوصية كل عمولة ، ولا يزال المبلغ الإجمالي المرتبط بكل التحقق عامًا.
الحوكمة الخاصة: كان تحقيق التصويت المجهول لفترة طويلة يمثل تحديًا في مجال التشفير.هذا ينطبق أيضًا على الحوكمة ، على الأقل يقوم Penumbra بإجراء التصويت المجهول على الاقتراح.في هذه الحالة ، يمكن استخدام ZKP لإثبات أن الشخص له الحق في التصويت (مثل عن طريق ملكية الرمز المميز) وتلبية بعض معايير التصويت (مثل عدم التصويت).

المشكلة المفتوحة التي يمكن أن يحلها ZKP

انتخابات القادة من القطاع الخاص: تم انتخاب Ethereum حاليًا 32 مقترحًا في بداية كل فترة ، ونتائج هذه الانتخابات عامة.سيؤدي ذلك إلى إحضار حفلة ضارة لإطلاق هجوم DOS على كل اقتراح من أجل محاولة تعطيل خطر Taifang.لحل هذه المشكلة ، اقترح خفقت اقتراحًا لاتفاقية حماية الخصوصية لاقتراح الانتخابات بشأن Ethereum.تم التحقق من ZKP لإثبات أن خلط ورق اللعب العشوائي صادقون.هناك طرق أخرى يمكنها تحقيق أهداف نهائية مماثلة.
تجميع التوقيع: يمكن أن يقلل توقيع تجميع ZKP بشكل كبير من الاتصال والحساب العام للتحقق من التوقيع (تحقق من دليل البلمرة بدلاً من كل توقيع منفصل).تم استخدام هذا في عميل ZK Light ، ولكن قد يتوسع أيضًا إلى إجماع.

9 -setlement

تشبه Lise صحة المحكمة العليا -تحديد صحة تحويل الدولة ومصدر الحقيقة النهائي للنزاع.عندما تكون المعاملة لا رجعة فيها (أو عندما يكون الاحتمال النهائي -عندما يصعب عكس ذلك) ، تعتبر المعاملة النهائية.يعتمد الوقت النهائي المحدد على طبقة التسوية الأساسية المستخدمة ، وهذا يعتمد على قواعد التحديد النهائية المحددة ووقت الحظر.

إن الإنذار البطيء يمثل مشكلة بشكل خاص في التواصل بينها.هذا يؤدي إلى ضعف تجربة المستخدم.هناك العديد من الطرق لاستخدام تأكيد مسبق لمستوى أمان معين لحل هذه المشكلة.ومن الأمثلة على ذلك الحلول الخاصة بالحلول (Polygon Agglayer أو Zksync Hyperbridge) والحلول الشاملة (على سبيل المثال ، طبقة نهائية سريعة)يمكنك أيضًا اختيار استخدام جسر ملخص لـ eigenlayer للتأكيد الناعم لتجنب انتظار تحديده بالكامل.

تكامل ZK الحالي

تسريع التسوية من خلال ملخص الفعالية: بالمقارنة مع ملخص التفاؤل ، فإن فعالية الفعالية لا تتطلب فترة تحد ، لأنها تعتمد على ZKP لإثبات تحويل الحالة الصحيح ، سواء كان أي شخص يتحدى (سواء كان أي شخص يتحدىها (ما إذا كان أي شخص يتحدىها (ملخص متشائمل.هذا يجعل إعداد الطبقة الأساسية أسرع (وقت التسوية على Ethereum هو 12 دقيقة ، ووقت التسوية على Ethereum هو 7 أيام) ، وتجنب إعادة التنفيذ.

10 -الأمن

ترتبط السلامة بصلابة الضمان ، وهي أيضًا جزء مهم من مطالبة قيمة blockchain.ومع ذلك ، من الصعب توجيه أمان الأمن الاقتصادي المشفرة -تمييز احتكاك الابتكار للتطبيقات (مختلف البرامج الوسيطة والبديل L1) الذي يتطلب ذلك.

تتمثل فكرة مشاركة الأمن في استخدام الأمن الاقتصادي الحالي لشبكة POS وتحمل التخفيض الإضافي للمخاطر (ظروف العقوبة) ، بدلاً من محاولة توجيه أمنهم.في الأيام الأولى ، بعض المحاولات لفعل الشيء نفسه على شبكة POW (التعدين المدمج) ، ولكن الحوافز غير المتسقة تجعل من السهل على عمال المناجم التواطؤ واستخدام الاتفاقية (لأن العمل يحدث في العالم المادي ، من الصعب معاقبته السلوكيات السيئة ، حتى لو كنت تستخدمها ، حتى لو كنت تستخدمه ، حتى لو كنت تستخدمه ، حتى لو كنت تستخدمه ، حتى لو كنت تستخدمه ، حتى لو كنت تستخدمه ، حتى لو كنت تستخدمه.POS أكثر مرونة ويمكن استخدامها بواسطة بروتوكولات أخرى لأنها لها حوافز إيجابية (دخل) وسلبية (مخفضة).

يشمل الاتفاق المبني حول المتطلبات الأمامية المشتركة:

هدف eigenlayer هو استخدام أمان Ethereum الحالي لحماية التطبيقات المكثفة.تم إصدار الورقة البيضاء في أوائل عام 2023. من المتوقع أن يتم إطلاق الشبكة الرئيسية الكاملة في وقت لاحق من هذا العام.
أطلقت Cosmos أمن السلسلة (ICS) في مايو 2023 ، والتي تمكن Cosmos Hub (واحدة من أكبر السلاسل على الكون ، بدعم من حوالي 2.4 مليار دولار من الذرة المهددة) من استئجار سلامتها لسلسلة المستهلك.باستخدام نفس مجموعة المصادقة المقدمة لـ Cosmos Hub للتحقق من الكتلة على سلسلة المستهلك ، فإن الغرض منه هو تقليل العقبات التي تحول دون إطلاق السلسلة الجديدة في الجزء العلوي من كومة Cosmos.ومع ذلك ، هناك سلسلتان مستهلكتان فقط في الأنشطة.
يحاول بابل أيضًا استخدام BTCs لتبادل الأمن.من أجل حل المشكلات المتعلقة بدمج التعدين (يصعب معاقبة السلوكيات السيئة) ، فإنه يقوم ببناء طبقة افتراضية ، ويمكن للمستخدمين قفل BTC لعقد تعهد Bitcoin (بدون اتصال جسر).نظرًا لأن Bitcoin ليس لديه طبقة عقد ذكية ، يتم التعبير عن تخفيض عقد التعهد في معاملات UTXO المكتوبة في البرنامج النصي Bitcoin.
يشمل RE -Mortgage على شبكات أخرى Octopus على القرب وبيكاسو على سولانا.تستخدم سلسلة Polkadot الموازية أيضًا مفهوم الأمن المشترك.

تكامل ZK الحالي

مزيج من ZK والأمن الاقتصادي: على الرغم من أن الضمان الأمني القائم على ZK قد يكون أقوى ، بالنسبة لبعض التطبيقات ، لا تزال تكلفة الإثبات مرتفعة للغاية ، وتستغرق وقتًا طويلاً لتوليد دليل.Brevis Cochain هو مثال.يمكن لـ DAPP اختيار وضع ZK النقي أو Cochain وفقًا لاحتياجاته المحددة من حيث الأمان وتجارة التكلفة.

11 -العملية المقلدة

لا تزال قابلية التشغيل البيني الآمنة والفعالة مشكلة كبيرة في عالم السلسلة المتعددة.في النظام المعياري ، تصبح قابلية التشغيل البيني أكثر أهمية -ليس فقط التواصل بين السلاسل الأخرى ، وأيضًا يتطلب blockchain المعيار أيضًا مكونات مختلفة للتواصل مع بعضها البعض (مثل طبقات DA وطبقات التسوية).لذلك ، لم يعد من الممكن تشغيل عقدة كاملة أو التحقق من شهادة إجماع واحدة على أنها blockchain متكاملة.هذا يضيف المزيد من عوامل الهاتف المحمول إلى المعادلة.

تشمل قابلية التشغيل البيني جسور الرمز المميز ونقل الرسائل العادية عبر blockchain.هناك العديد من الخيارات المختلفة التي وضعوها علامات مختلفة من حيث الأمان والتأخير والتكلفة.من الصعب للغاية تحسين هؤلاء الثلاثة ، وعادة ما يحتاج إلى التضحية واحدة على الأقل.بالإضافة إلى ذلك ، فإن المعايير المختلفة للتقاطع المتقاطع تجعل تنفيذ السلسلة الجديدة أكثر صعوبة.

على الرغم من أننا ما زلنا نفتقر إلى التعريف الواضح لأنواع مختلفة من عملاء الضوء (أو العقد) ، إلا أن هذه المقالة من قبل Dino (Fluent & amp ؛ Modular Media Co -Founder) تقدم مقدمة جيدة.اليوم ، يتحقق معظم عملاء الضوء فقط من الإجماع ، ولكن المثالي ، يجب أن يكون لدينا عملاء خفيفون يمكنهم التحقق من وتنفيذ و DA لتقليل افتراضات الثقة.هذا سيسمح لأمن العقدة بأكملها دون متطلبات الأجهزة العالية.

تكامل ZK الحالي

عميل ZK Light Client (التحقق من الإجماع): في الوقت الحالي ، يمكن لمعظم العملاء الضوء التحقق من إجماع السلاسل الأخرى-إما مجموعة مصادقة كاملة (إذا كانت صغيرة بما يكفي) ، أو المجموعة الفرعية لجميع جهاز التحقق (مثل مزامنة Ethereum ، تزامن لجنة Ethereum.يتم استخدام ZKP لجعل التحقق أسرع وأرخص ، لأن مخطط التوقيع المستخدم في سلسلة المصدر قد لا يتم دعمه بواسطة السلسلة المستهدفة.على الرغم من أنه من المتوقع أن تزداد أهمية عميل ZK Light في الجسر ، فإن الاحتكاك الحالي المستخدم على نطاق واسع يشمل تكلفة الإثبات والتحقق وتكلفة عميل Light ZK الذي تنفذه كل سلسلة جديدة.تشمل الأمثلة في هذا المجال جسور إثبات البيانات من polyhedra ، و Avail ، و Celestia ، وكذلك ZKIBC.
شهادة التخزين: كما ذكرنا سابقًا ، يمكن لشهادة التخزين الاستفسار عن السجل والبيانات الحالية من blockchain دون استخدام طرف ثالث موثوق به.ويرتبط هذا أيضًا بإمكانية التشغيل المتداخل لأنه يمكن استخدامه للاتصال عبر السلع.على سبيل المثال ، يمكن للمستخدمين إثبات أن لديهم رموز على سلسلة واحدة واستخدامها للحوكمة على سلسلة أخرى (بدون جسر).هناك أيضًا تجارب لاستخدام شهادة التخزين للجسر ، مثل الحل الذي طورته Lambdaclass.
ZK Oracles: Oracles تعمل كوسيط وتوصيل بيانات العالم الحقيقي إلى blockchain.قامت آلة نبوءة ZK بتحسين نموذج النبي الحالي القائم على السمعة من خلال مصدر البيانات وسلامة البيانات وأي حساب للبيانات.

المشكلة المفتوحة التي يمكن أن يحلها ZKP

Complete Light Client: يتحقق عميل الضوء الكامل أيضًا من التنفيذ الصحيح و DA بدلاً من الوثوق بشكل أعمى بمجموعة المصادقة للسلاسل الأخرى.هذا يقلل من افتراضات الثقة وهو أقرب إلى العقد الكاملة ، مع الحفاظ على متطلبات الأجهزة المنخفضة (السماح لمزيد من الأشخاص بتشغيل عملاء الضوء).ومع ذلك ، في معظم السلاسل ، وخاصة على Ethereum ، لا يزال أي محتوى آخر باستثناء الإجماع باهظ الثمن.بالإضافة إلى ذلك ، يتيح عميل الضوء فقط التحقق من المعلومات (نصف المشكلة) ، أي أنه يمكنهم التعرف على المعلومات المزيفة ، ولكن لا يزال يتطلب آليات إضافية لهم لتتخذ التدابير.
طبقة البوليمر: يهدف Polygon’s Agglayer إلى تحقيق قابلية للتشغيل البيني السلس بين L2 بين L2 في النظام الإيكولوجي باستخدام دليل الجسر البلمري وعقود الجسر الموحدة.يمكن أن يحقق إثبات التجميع أكثر فعالية للتحقق والأمان -حالة سلسلة التبعيات المسببة للاتفاقية وأكياس الحزمة متسقة ، وتأكد من أنه إذا كانت حالة الملخص تعتمد على الحالة غير الصالحة لسلسلة أخرى ، فلا يمكن حلها في Ethereum.اعتمدت Zksync’s Hyperclains و Divel Nexus أيضًا طريقة مماثلة.

متى أكل ZK المكدس المعياري؟

لنفترض أنه يمكننا الوصول إلى مثل هذه الحالة: يصبح توليد ZKP سريعًا جدًا (بسرعة الضوء) ورخيصة جدا(مجاني تقريبًا)إذن كيف سيبدو الوضع النهائي؟وبعبارة أخرى -ZKمتىأكل المكدس المعياريالتقاطع

بمعنى واسع ، نعتقد أن هناك شيئين في هذه الحالة صحيحة:

يتم القضاء على جميع عمليات إعادة التنظيم غير الضرورية: من خلال التحول إلى نموذج تنفيذ 1/N (بدلاً من إعادة تنفيذ N/N) ، فإننا نقلي بشكل كبير التكرار الكلي للشبكة ويمكننا استخدام الأجهزة الأساسية بشكل أكثر فعالية.على الرغم من أنه لا يزال هناك بعض النفقات ، فإن هذا سيساعد blockchain على الاقتراب تدريجياً من النظام المركزي من حيث كفاءة الحوسبة.
تعتمد معظم التطبيقات على ضمان التشفير الذي يدعمه ZK ، وليس الأمن الاقتصادي: عندما لم تعد تكلفة وتوليد إثبات العوامل ذات الصلة ، نعتقد أن معظم التطبيقات ستعتمد على ZKP للحصول على ضمانات أقوى.يتطلب هذا أيضًا بعض التحسينات في توافر موظفي التنمية لبناء تطبيقات ZK ، ولكن هذه قضايا تعملها العديد من الفرق بجد لحلها.

الشرط الثالث هو الخصوصية (أو أوإدارة تدفق المعلومات) ، لكنها أكثر تعقيدًا.يمكن استخدام ZKP لبعض تطبيقات الخصوصية مع إثبات العميل. مقالات المدونة المستقبلية موضوع محتمل.

خطر ورقتنا

إذا كنا مخطئين ، فما الذي يجب أن نفعله إذا لم يكن وحدات أو ZK في المستقبل؟بعض المخاطر المحتملة لأوراقنا تشمل:

Modularization يزيد من التعقيد

يواجه كل من المستخدمين والمطورين نمو عدد السلاسل.يحتاج المستخدمون إلى إدارة الأموال عبر سلاسل متعددة (ومحافظ متعددة).من ناحية أخرى ، بالنظر إلى أن المساحة لا تزال تتطور ، فإن الاستقرار والقدرة على التنبؤ بمطوري التطبيقات ضعيفون ، مما يجعل من الصعب تحديد السلسلة التي يجب بناءها.كما يحتاجون إلى النظر في تجزئة الحالة والسيولة.هذا صحيح بشكل خاص ، لأن المكونات التي لا تزال منفصلة عن المكونات ذات مغزى والتي سيتم اختبار المكونات على حدود الاقتران.نعتقد أن المستخدمين يديرون حلول قابلية التشغيل البيني المجردة والآمنة والفعالة هي الجزء الرئيسي من هذه المشكلة.

هل أداء ZK جيد بما فيه الكفاية؟

الحقيقة التي لا مفر منها هي أن إثبات التوليد طويل جدًا ، وأن تكلفة الإثبات والتحقق لا تزال مرتفعة للغاية اليوم.بالنسبة للعديد من التطبيقات اليوم ، لا تزال الحلول التنافسية مثل بيئة التنفيذ الموثوق بها/TEE أو حلول الأمن الاقتصادية المتفائلة/المشفرة (التكلفة) أكثر أهمية.

ومع ذلك ، فإننا نقوم بالكثير من العمل على تحسين البرامج وتسريع الأجهزة من ZKP.أثبت أن التجميع سيساعد على زيادة تكلفة التحقق عن طريق تقسيم التكاليف إلى أطراف مختلفة متعددة (تكاليف أقل/المستخدم).يمكنك أيضًا ضبط الطبقة الأساسية لتحسين التحقق من ZKP.يتمثل التحدي الذي يواجه تسريع أجهزة ZKP في إثبات التطور السريع للنظام.هذا يجعل من الصعب إنشاء أجهزة خاصة (ASIC) ، لأنه عندما يتم تطوير معايير نظام الإثبات الأساسي ، قد تكون قديمة قريبًا.

يحاول Ingonyama إنشاء بعض المعايير كدليل على المصدر من خلال مؤشرات مماثلة تسمى درجات ZK.يعتمد على تكلفة تشغيل الحوسبة وتتبع MMOPS/Watt ، حيث يمثل MMOPS الحساب في الثانية.لقراءة الموضوع بشكل أكبر ، نوصي بمدونات Cysic و Ingonyama ، وكذلك خطابات Wei Dai.

هل ZKP الاستخدام الخاص الخفي المحدود؟

لا يمكن استخدام ZKP إلا لإدراك خصوصية الحالة الشخصية ، ولا يمكن استخدامها لمشاركة الحالة التي تحتاج إلى حسابها من قبل أجهزة متعددة (مثل UnisWAP الخاصة).يجب أيضًا أن تكون FHE و MPCs خصوصية تمامًا ، ولكن قبل استخدامها على نطاق أوسع ، يحتاجون إلى زيادة العديد من أوامر الحجم من حيث التكلفة والأداء.بمعنى آخر ، لا يزال ZKP مفيدًا لبعض حالات الاستخدام التي لا تحتاج إلى مشاركة خاصة ، مثل حلول الهوية أو الدفع.لا تحتاج كل المشكلات إلى حلها بنفس الأداة.

ملخص

إذن ما هو تأثير هذا لنا؟على الرغم من أننا نتقدم كل يوم ، إلا أنه لا يزال هناك الكثير من العمل.الحاجة الأكثر إلحاحًا إلى حلها هي كيف تتدفق القيم والمعلومات بأمان بين المكونات المعيارية المختلفة دون التضحية بالسرعة أو التكلفة ، وتجريدها جميعًا من المستهلكين النهائيين حتى لا يحتاجوا إلى الاهتمام بالرعاية ، حتى لا يفعلون ذلك بحاجة إلى الاهتمام بالرعاية ، لا يحتاجون إلى الاهتمام بالرعاية ، لذلك لا يحتاجون إلى الاهتمام بالرعاية.

على الرغم من أننا ما زلنا في المرحلة التجريبية ، مع مرور الوقت ، عندما نكتشف أفضل عمليات تجارية لكل حالة استخدام ، يجب أن يكون الموقف مستقرًا.بدوره ، سيوفر مساحة للمعايير (غير رسمية أو رسمية) ، وتوفير المزيد من الاستقرار للبنائين فوق هذه السلاسل.

اليوم ، نظرًا لتكلفة ZKP وتعقيدها ، لا يزال هناك العديد من حالات الاستخدام التي تستخدم الأمن الاقتصادي المشفر افتراضيًا ، وتتطلب بعض حالات الاستخدام مزيجًا من الاثنين.ومع ذلك ، بينما نقوم بتصميم أنظمة إثبات أكثر كفاءة وأجهزة خاصة لتقليل تكلفة وتأخير الإثبات والتحقق ، يجب تقليل هذه الحصة مع مرور الوقت.مع كل مستوى من مستوى التكلفة والسرعة ، سيتم إلغاء قفل حالات الاستخدام الجديدة.

على الرغم من أن هذه المقالة تولي اهتمامًا خاصًا لـ ZKP ، إلا أننا مهتمون أيضًا بشكل متزايد بكيفية لعب حل التشفير الحديث (ZKP و MPC و FHE و TEE) دورًا -لقد شاهدنا هذا.