أوضح فيتاليك بوتيرين ، المؤسس المشارك ل ETH Workshop ، أن ورشة ETH ستفشل دون تحول تكنولوجي في انتقال الخصوصية. نظرا لأن جميع المعاملات مرئية للجمهور ، فإن تضحيات الخصوصية كبيرة جدا بالنسبة للعديد من المستخدمين ، ويتجه الجميع إلى حلول مركزية تخفي البيانات إلى حد ما على الأقل.
في عام 2023 ، أجرى فيتاليك سلسلة من الدراسات حول حماية الخصوصية وتطوير تقنيات إثباتات المعرفة الصفرية (ZK). في النصف الأول من العام ، نشر فيتاليك ثلاث مقالات على موقعه على الإنترنت مخصصة ل ZK وحماية الخصوصية. في أبريل ، قدم أيضا دراسة على Reddit حول خصوصية الأوصياء على المحفظة. في سبتمبر ، شارك في تأليف ورقة مع محترفين آخرين يقترحون حلا لتحقيق التوازن بين الخصوصية والامتثال.
بالإضافة إلى ذلك ، تعمل ETH Fang Ecology بنشاط على تعزيز مناقشة هذا الموضوع وتعميمه. في حدث ETHDenver في مارس ، تم عقد حدث خاص يركز على الخصوصية. في مؤتمر EDCON السنوي (مؤتمر مجتمع Ethereum) في مايو ، أكد فيتاليك أن “ZK-SNARKs ستكون بنفس أهمية blockchain في السنوات ال 10 القادمة”.
تتعقب هذه المقالة آخر التطورات في نظام ETH Fang البيئي في عام 2023 من حيث استخدام تقنية ZK لتعزيز حماية الخصوصية. إذا كنت ترغب في الوصول إلى دائرة ETH ZK ، فإن هذه المقالة توفر التفسير والتوجيه اللازمين.
2. ETH ZK Circuit: بناء مستقبل يحافظ على الخصوصية
قد تعرض ETH الشفافية المعلومات الشخصية للمستخدمين لخطر الاختراق. لا توجد أسرار على سلاسل الكتل مثل ETH ، وجميع المعلومات عامة ، والتي تشمل الأنشطة الأخرى على السلسلة مثل المعاملات والتصويت وما إلى ذلك. قد يؤدي هذا الانفتاح إلى تتبع معاملات وعناوين محددة وربطها بهويات المستخدمين الحقيقية. لذلك ، من المهم تنفيذ حماية الخصوصية على ETH. يمكن إخفاء المعلومات على السلسلة من خلال التشفير ، ولكن التحدي يكمن في ضمان التحقق من صحة هذه المعاملات مع حماية الخصوصية. توفر تقنية ZK حلا لإثبات صحة المعاملة دون الكشف عن معلومات إضافية ، مع مراعاة الخصوصية وإمكانية التحقق.
ETH تضع قيمة عالية على ZK-SNARKs ، خاصة في بعض حالات الاستخدام الرئيسية التي تحافظ على الخصوصية. هذا واضح في أبحاث ومقترحات فيتاليك ، حيث يجمع سالوس السيناريوهات النموذجية التي يقترحها فيتاليك في بحثه ، وهي المعاملات الخاصة والانتعاش الاجتماعي.
2.1 المعاملات الخاصة
عندما يتعلق الأمر بالمعاملات الخاصة ، يقترح فيتاليك مفهومين: عناوين التخفي ومجمعات الخصوصية.
يسمح نظام عنوان الخصوصية بإجراء المعاملات دون إخفاء هوية مستلم المعاملة. يوفر هذا النهج حماية الخصوصية مع ضمان الشفافية وقابلية التدقيق في المعاملات.
استنادا إلى بروتوكول تجمع الخصوصية ، يمكن للمستخدمين إثبات أن أموال التداول الخاصة بهم تنتمي إلى مصدر متوافق معروف دون الكشف عن المعاملات التاريخية. يسمح هذا المخطط للمستخدمين بإجراء معاملات خاصة مع الامتثال للوائح.
كلا السيناريوهين لا ينفصلان عن ZK. في كلا السيناريوهين ، يسمح للمستخدمين بإنشاء إثباتات المعرفة الصفرية لإثبات صحة معاملاتهم.
2.1.1 عنوان الخصوصية
لنفترض أن أليس تنوي نقل نوع من الأصول إلى بوب ، وعندما يتلقى بوب الأصل ، لا يريد أن يعرف الجمهور العالمي أنه هو المستلم. على الرغم من صعوبة إخفاء حقيقة نقل الأصول ، فمن الممكن إخفاء هوية المستلم. في هذا السياق ، ظهر مخطط العنوان الصديق للخصوصية ، ومشكلته الرئيسية هي كيفية إخفاء هوية مستلم المعاملة بشكل فعال.
إذن ، ما هو الفرق بين عنوان الخصوصية وعنوان ETH العادي ، وكيفية استخدام عنوان الخصوصية المستند إلى ZK للمعاملات الخاصة؟ سوف يقدمهم Salus لك واحدا تلو الآخر.
(1) ما هو الفرق بين العنوان الخاص وعنوان ETH العادي؟
عنوان الخصوصية هو عنوان يسمح بإنشاء مرسل المعاملة بشكل غير تفاعلي ولا يمكن الوصول إليه إلا من قبل مستلمه. دعنا نوضح الفرق بين عنوان الخصوصية وعنوان ETH العادي من بعدين: من ينشئه ومن يمكنه الوصول إليه.
تم إنشاؤها بواسطة من؟
يتم إنشاء عناوين ETH العادية من قبل المستخدم نفسه بناء على خوارزميات التشفير والتجزئة. يمكن إنشاء عنوان خاص من قبل الشخص أو من قبل الطرف الآخر في المعاملة. على سبيل المثال ، عندما ترسل Alice تحويلا إلى Bob ، يمكن إنشاء العنوان الذي يستخدمه Bob لقبول النقل بواسطة Bob أو Alice ، ولكن يتم التحكم فيه بواسطة Bob فقط.
من يمكنه الوصول؟
يكون نوع ومبلغ ومصدر الأموال في إطار حساب ETH عادي مرئيا للجمهور. حيث أنه في المعاملات التي تتم باستخدام عنوان محمي ، يمكن للمستلم فقط الوصول إلى الأموال المخزنة في عنوانه الخفي. لا يمكن للمراقب ربط عنوان خصوصية المستلم بهويته ، مما يحمي خصوصية المستلم.
(2) كيفية استخدام عناوين الخصوصية المستندة إلى ZK للمعاملات الخاصة؟
إذا أرادت أليس إرسال الأصول إلى عنوان خصوصية بوب لإخفاء مستلم المعاملة. فيما يلي وصف تفصيلي لعملية التداول:
إنشاء عنوان خصوصية
يقوم بوب بإنشاء مفتاح إنفاق وحفظه ، وهو مفتاح خاص يمكن استخدامه لإنفاق الأموال المرسلة إلى عنوان خصوصية بوب.
يستخدم بوب مفتاح الاستهلاك لإنشاء عنوان تعريف خفي ، والذي يمكن استخدامه لحساب عنوان خصوصية لمستلم معين وتمرير عنوان تعريف الخصوصية إلى أليس. تحسب أليس عنوان تعريف الخصوصية لإنشاء عنوان خصوصية ينتمي إلى بوب.
إرسال الأصول إلى عنوان الخصوصية
ترسل أليس الأصول إلى عنوان خصوصية بوب.
نظرا لأن بوب لا يعرف أن عنوان الخصوصية خاص به ، تحتاج أليس أيضا إلى نشر بعض البيانات المشفرة الإضافية (مفتاح عام مؤقت ، مفتاح عانة ephmeral) على السلسلة لمساعدة بوب على اكتشاف أن عنوان الخصوصية يخصه.
يمكن أيضا إنشاء عنوان الخصوصية في العملية المذكورة أعلاه باستخدام إثباتات المعرفة الصفرية التي تم إنشاؤها من التجزئة وتشفير المفتاح العام. يمكن دمج رمز العقد الذكي في عنوان الخصوصية مع ZK. من خلال تضمين منطق التحقق من إثبات المعرفة الصفرية ، يمكن للعقود الذكية التحقق تلقائيا من صحة المعاملات. هذا المخطط لإنشاء عنوان خاص أبسط من المخططات الأخرى ، بما في ذلك تشفير المنحنى الإهليلجي ، وإيزوجينيات المنحنى الإهليلجي ، والشبكات ، وأوليات الصندوق الأسود العامة.
2.1.2 تجمع الخصوصية
سواء تم تحقيق المعاملات الخاصة عن طريق إخفاء هوية مستلم المعاملة أو معلومات أخرى حول المعاملة ، فهناك مشكلة كبيرة: كيف يمكن للمستخدمين إثبات أن أموال معاملاتهم تنتمي إلى مصدر متوافق معروف دون الحاجة إلى الكشف عن سجل معاملاتهم بالكامل. يجب أن تتجنب ETH Place ، كمنصة blockchain عامة ، أن تصبح وسيلة لغسل الأموال والأنشطة غير القانونية الأخرى.
اقترح فيتاليك حلا يسمى “Privacy Pool” يهدف إلى تحقيق التوازن بين حماية الخصوصية واحتياجات الامتثال لسلاسل الكتل. ومع ذلك ، ما هي تحديات حماية الخصوصية والامتثال ، وكيف توازن بين الخصوصية والامتثال؟ يقدم Salus مناقشة متعمقة ومفيدة حول كلتا القضيتين.
(1) تحديات حماية الخصوصية والامتثال
يمثل ضمان الامتثال للمعاملات مع تحقيق حماية الخصوصية تحديا ، ويمكن إثبات ذلك بوضوح من خلال تحليل حالة Tornado Cash.
Tornado Cash هو خلاط للعملات المشفرة يمزج بين عدد كبير من عمليات الإيداع والسحب. بعد إيداع الرموز المميزة في عنوان واحد ، يمكن للمستخدمين تقديم ZK Proof لإثبات أنهم قاموا بالإيداع ، ثم سحب الأموال من عنوان جديد. هاتان العمليتان عامتان على السلسلة ، لكن المراسلات بينهما ليست علنية ، لذا فهي مجهولة. في حين أنه يمكن أن يعزز خصوصية المستخدمين ، إلا أنه غالبا ما يستخدم من قبل الجهات الفاعلة غير القانونية لغسل الأموال. ونتيجة لذلك، أضافت وزارة الخزانة الأمريكية أخيرا عنوان العقد الذكي لشركة تورنادو كاش إلى قائمة العقوبات. يعتقد المنظمون أن الاتفاقية تسهل غسل الأموال ولا تفضي إلى مكافحة الجريمة المالية.
تتمثل أوجه القصور في Tornado Cash في حماية الخصوصية في أنه لا توجد طريقة للتحقق من أن أصل الرمز المميز للمستخدم متوافق. استجابة لهذه المشكلة ، يوفر Tornado Cash خادما مركزيا لمساعدة المستخدم على إثبات أن الرمز المميز الخاص به متوافق. ومع ذلك ، يجب على الخادم الحصول على تفاصيل السحب المقدمة من المستخدم وتحديد الإيداع الذي يتوافق معه السحب ، من أجل إنشاء الإثبات. هذه الآلية المركزية ليس لها تكلفة افتراضات الثقة فحسب ، بل تنتج أيضا عدم تناسق المعلومات. في النهاية ، بالكاد يتم استخدام الآلية من قبل المستخدمين. بينما تنفذ Tornado Cash ميزات الخصوصية ، إلا أنها لا توفر آلية فعالة للتحقق من أن مصدر الرمز المميز للمستخدم متوافق ، وهو ما يمكن للمجرمين استغلاله.
(2) كيف توازن بين الخصوصية والامتثال؟
بناء على هذه التحديات ، توصل فيتاليك إلى مفهوم مجمعات الخصوصية ، والذي يسمح للمستخدمين بإثبات أن مصادر تمويلهم متوافقة دون الكشف عن معلومات المعاملات التاريخية. هذا يحقق توازنا بين الخصوصية والامتثال.
تعتمد مجمعات الخصوصية على ZK ومجموعات الجمعيات ، مما يسمح للمستخدمين بإنشاء وإصدار إثباتات ZK-SNARK التي تثبت أن أموالهم تأتي من مصدر معروف ومتوافق. هذا يعني أن الأموال تنتمي إلى مجموعة جمعيات متوافقة ، أو أنها لا تنتمي إلى مجموعة جمعيات غير متوافقة.
يتم إنشاء مجموعات الارتباط بواسطة موفري مجموعات الارتباطات استنادا إلى سياسات محددة:
إثبات العضوية: ضع الودائع من جميع منصات التداول الموثوقة في مجموعة ارتباط ، علاوة على ذلك ، هناك دليل قاطع على أنها منخفضة المخاطر.
إثبات الاستبعاد: تحديد مجموعة من الودائع التي تم وضع علامة عليها على أنها محفوفة بالمخاطر ، أو التي يوجد دليل قاطع على أنها أموال غير متوافقة. إنشاء مجموعة مرتبطة تحتوي على جميع الودائع باستثناء هذه الودائع.
عند إجراء إيداع ، يقوم المستخدمون بإنشاء سر من خلال ZK وتجزئة معرف عملة عام للاحتفال بارتباطهم بالأموال. عند السحب ، يقدم المستخدم مبطلا يتوافق مع السر (المبطل هو معرف فريد مشتق من السر) ، مما يثبت أن الأموال ملكهم. بالإضافة إلى ذلك ، يمكن للمستخدمين إثبات أن أموالهم تنتمي إلى مصدر معروف ومتوافق من خلال إثبات فرعين ميركل من خلال ZK:
ينتمي معرف العملة الخاص به إلى شجرة معرف العملة ، وهي عبارة عن مجموعة من جميع المعاملات التي تتم حاليا ؛
ينتمي معرف العملة الخاص به إلى شجرة مجموعة ارتباط ، وهي عبارة عن مجموعة من المعاملات التي يعتبرها المستخدم متوافقة.
(3) ما هي سيناريوهات تطبيق ZK في تجمعات الخصوصية؟
المرونة في المعاملات الخاصة: من أجل معالجة التحويلات من أي فئة في المعاملات الخاصة ، يتم إرفاق إثباتات إضافية صفر المعرفة لكل معاملة. يضمن هذا الإثبات أن الفئة الإجمالية للرمز المميز الذي تم إنشاؤه لا تتجاوز الفئة الإجمالية للرمز المميز الذي يتم استهلاكه ، وبالتالي ضمان صحة المعاملة. ثانيا ، تحافظ ZK على استمرارية المعاملة وخصوصيتها من خلال التحقق من التزام كل معاملة بمعرف رمز الإيداع الأصلي ، مما يجعل من الممكن ضمان ارتباط كل عملية سحب بإيداعها الأصلي المقابل ، حتى في حالة عمليات السحب الجزئية.
هجمات جمع الرصيد: يمكن مقاومة هجمات جمع الرصيد عن طريق دمج الرموز المميزة والالتزام بمجموعة من معرفات الرمز المميز ، بالإضافة إلى التزام الاتحاد للمعاملات الأصلية بمعاملات إدخال متعددة. يعتمد هذا النهج على ZK للتأكد من أن جميع معرفات الرمز المميز الملتزم بها موجودة في المجموعات المرتبطة بها ، مما يعزز خصوصية المعاملات.
2.2 الانتعاش الاجتماعي
في الحياة الواقعية ، قد يكون لدينا أكثر من حساب بطاقة مصرفية واحدة. يعني فقدان رقم التعريف الشخصي لبطاقتك أنه لا يمكننا استخدام الأموال الموجودة على بطاقتنا. في هذه الحالة ، نذهب عادة إلى البنك للمساعدة في استرداد كلمة المرور.
وبالمثل ، في سلاسل الكتل مثل ETH ، قد يكون لدينا عناوين متعددة (حسابات). المفتاح الخاص ، مثل كلمة مرور البطاقة المصرفية ، هو الأداة الوحيدة التي لديك للتحكم في أموال حسابك. بمجرد أن تفقد مفتاحك الخاص ، تفقد السيطرة على حسابك ولم يعد بإمكانك الوصول إلى الأموال الموجودة في حسابك. على غرار استعادة كلمة المرور في العالم الحقيقي ، توفر محافظ blockchain آلية استرداد اجتماعية لمساعدة المستخدمين على استعادة مفاتيحهم الخاصة المفقودة. تسمح هذه الآلية للمستخدمين بتحديد مجموعة من الأفراد الموثوق بهم للعمل كأوصياء عند إنشاء محفظة. يمكن لهؤلاء الأوصياء مساعدة المستخدمين على استعادة السيطرة على حساباتهم من خلال الموافقة على إعادة تعيين مفاتيحهم الخاصة في حالة فقدان مفاتيحهم الخاصة.
بموجب آلية التعافي الاجتماعي والوصاية هذه ، يقترح فيتاليك نقطتين لحماية الخصوصية يجب الانتباه إليهما:
إخفاء الارتباط بين عناوين متعددة: لحماية خصوصية المستخدم ، نحتاج إلى منع الكشف عن إسناد عناوين متعددة عند استرداد عناوين متعددة بعبارة استرداد واحدة.
حماية خصوصية ممتلكات المستخدم من الوصي: يجب أن نتأكد من أن الوصي لا يمكنه الحصول على معلومات أصول المستخدم أو مراقبة سلوك معاملة المستخدم أثناء عملية الموافقة على تشغيل المستخدم ، وذلك لمنع انتهاك خصوصية ملكية المستخدم.
التكنولوجيا الرئيسية لتحقيق كلا النوعين من حماية الخصوصية هي براهين المعرفة الصفرية.
2.2.1 إخفاء الارتباط بين عناوين متعددة للمستخدم
(1) قضايا الخصوصية في التعافي الاجتماعي: يتم الكشف عن العلاقة بين العناوين
في سلاسل الكتل مثل ETH ، يقوم المستخدمون عادة بإنشاء عناوين متعددة للمعاملات المختلفة من أجل حماية خصوصيتهم. باستخدام عناوين مختلفة لكل معاملة ، يمكنك منع المراقبين الخارجيين من ربط هذه المعاملات بسهولة مع نفس المستخدم.
ومع ذلك ، في حالة فقد المفتاح الخاص للمستخدم ، لن يتم استرداد الأموال التي تم إنشاؤها بواسطة المفتاح الخاص ضمن عناوين متعددة. في هذه الحالة ، مطلوب الانتعاش الاجتماعي. طريقة سهلة للاسترداد هي استرداد عناوين متعددة بنقرة واحدة ، حيث يستخدم المستخدم نفس عبارة الاسترداد لاستعادة عناوين متعددة تم إنشاؤها بواسطة مفتاح خاص واحد. ومع ذلك ، فإن هذا النهج ليس مثاليا ، حيث يقوم المستخدمون بإنشاء عناوين متعددة لمنعهم من الارتباط ببعضهم البعض. إذا اختار المستخدم استعادة جميع العناوين في نفس الوقت أو في وقت مماثل ، فإن هذا يكشف بشكل فعال أن العناوين مملوكة لنفس المستخدم. يتعارض هذا مع نية المستخدم الأصلية المتمثلة في إنشاء عناوين متعددة لحماية خصوصيته. وهذا يشكل قضية حماية الخصوصية في عملية الانتعاش الاجتماعي.
(2) حل ZK: كيف تتجنب الكشف عن ارتباط عناوين متعددة؟
يمكن استخدام تقنية ZK لإخفاء الارتباط بين العناوين المتعددة للمستخدم على blockchain ، وحل مشكلة الخصوصية للتعافي الاجتماعي من خلال بنية تفصل بين منطق التحقق وحيازات الأصول.
منطق التحقق: لدى المستخدمين عناوين متعددة على blockchain ، ولكن منطق التحقق لهم جميعا مرتبط بعقد مصادقة رئيسي (عقد تخزين المفاتيح).
حيازة الأصول وتداولها: عندما يعمل المستخدمون من أي عنوان ، فإنهم يستفيدون من تقنية ZK للتحقق من إذن العمل دون الكشف عن عنوانه.
بهذه الطريقة ، حتى إذا كانت جميع العناوين متصلة بنفس عقد تخزين المفاتيح ، لا يمكن للمراقب الخارجي تحديد ما إذا كانت العناوين تنتمي إلى نفس المستخدم ، وبالتالي تحقيق الخصوصية بين العناوين.
من المهم تصميم مخطط استرداد اجتماعي خاص يمكنه استرداد عناوين مستخدمين متعددة في نفس الوقت دون الكشف عن العلاقة بينهما.
**2.2.2 حماية خصوصية ممتلكات المستخدم من تعدي الأوصياء **
(1) قضية الخصوصية: امتياز الوصي
في سلاسل الكتل مثل ETH ، يمكن للمستخدمين تعيين أوصياء متعددين عند إنشاء محفظة. خاصة بالنسبة لمحافظ multisig ومحافظ التعافي الاجتماعي ، فإن دور الوصي أمر بالغ الأهمية. عادة ما يكون الوصي عبارة عن مجموعة من عناوين N يحتفظ بها شخص آخر ، حيث يمكن لأي عناوين M الموافقة على إجراء ما.
ما هي امتيازات الوصاية ، مثل:
بالنسبة لمحافظ multisig ، يجب توقيع كل معاملة من قبل M من الأوصياء N قبل أن تتم معالجتها.
بالنسبة لمحفظة الاسترداد الاجتماعي ، في حالة فقد المفتاح الخاص للمستخدم ، يجب على M من الأوصياء N التوقيع على رسالة لإعادة تعيين المفتاح الخاص.
يمكن للأوصياء الموافقة على أفعالك. في multisig ، سيكون هذا أي معاملة. في محفظة الاسترداد الاجتماعي ، ستكون هذه إعادة تعيين للمفتاح الخاص لحسابك. أحد التحديات التي تواجه آلية الوصاية اليوم هو كيفية حماية الخصوصية المالية للمستخدم من غزو ولي الأمر.
(2) حل ZK: حماية خصوصية ممتلكات المستخدمين من انتهاك الأوصياء
في هذه المقالة ، يتصور فيتاليك أن الوصي لا يحمي حسابك ، بل هو عقد “صندوق تأمين” ، ويتم إخفاء الرابط بين حسابك وهذه الخزنة. هذا يعني أن الأوصياء ليس لديهم وصول مباشر إلى حساب المستخدم ولا يمكنهم القيام بذلك إلا من خلال عقد صندوق تأمين مخفي.
يتمثل الدور الرئيسي ل ZK في توفير نظام تصديق يسمح للأوصياء بإثبات صحة البيان دون الكشف عن تفاصيل البيان. في هذه الحالة ، يمكن للوصي استخدام ZK-SNARK لإثبات أن لديه السلطة لتنفيذ إجراء دون الكشف عن أي تفاصيل تتعلق ب “الرابط بين الحساب وصندوق الأمان”.
2.3 الاستكشاف: فصل جديد من ZK والخصوصية في نظام فانغ البيئي ETH
في حين أن مسار ZK ETH لا يزال في مرحلة التطوير ، ولا تزال العديد من الأفكار والمفاهيم المبتكرة قيد التصور والدراسة ، فقد أطلق النظام البيئي ETH بالفعل مجموعة واسعة من أنشطة الاستكشاف العملية.
(1) تمويل من مؤسسة ETH
في سبتمبر ، مولت مؤسسة ETH Ethereum مشروعين للحفاظ على الخصوصية ، IoTeX و ZK-Team. IoTex هي محفظة مجردة للحسابات القائمة على إثباتات المعرفة الصفرية ، و ZK-Team مكرس لتمكين المؤسسات من إدارة أعضاء الفريق مع الحفاظ على الخصوصية الشخصية.
(2) الاستثمار
في أكتوبر ، استثمر فيتاليك ، المؤسس المشارك لشركة ETH Place ، في Nocturne Labs بهدف جلب الحسابات الخاصة إلى ETH Place. سيكون لدى المستخدمين حسابات “داخلية” في Nocturne وستكون طريقة تلقي / إنفاق الأموال من هذه الحسابات مجهولة. باستخدام تقنية ZK ، يمكن للمستخدمين إثبات أن لديهم أموالا كافية للمعاملات ، مثل المدفوعات والتخزين وما إلى ذلك.
(3) الاجتماعات والمناسبات
تعتبر ETHDenver واحدة من أهم الأحداث المتعلقة بتكنولوجيا ETH و blockchain في العالم. في مارس من هذا العام ، استضافت ETHDenver حدثا خاصا يركز على الخصوصية. لا يظهر هذا الحدث قلق المجتمع ETH بشأن قضايا الخصوصية فحسب ، بل يعكس أيضا الأهمية التي يوليها مجتمع blockchain العالمي لحماية الخصوصية. في هذا الحدث الخاص ، تم عقد تسع جلسات متعلقة بالخصوصية ، بما في ذلك الخصوصية حسب التصميم والخصوصية مقابل الأمان.
EDCON (مؤتمر مجتمع Ethereum) هو مؤتمر سنوي عالمي يستضيفه مجتمع ETH ، ويهدف إلى تعزيز تطوير وابتكار ETH ، وتعزيز اتصال وتعاون المجتمع ETH. في مؤتمر EDCON في مايو من هذا العام ، أدلى فيتاليك ببيان مهم ، مشيرا إلى أنه “في السنوات ال 10 المقبلة ، ستكون ZK-SNARKs بنفس أهمية blockchain”. يسلط هذا البيان الضوء على أهمية ZK-SNARKs في اتجاه تطوير تقنية blockchain.
(4) المشاريع
في الوقت الحاضر ، بدأت بعض مشاريع طبقة التطبيق في استخدام تقنية ZK لتوفير خدمات حماية الخصوصية للمستخدمين والمعاملات. تسمى مشاريع طبقة التطبيق هذه تطبيقات ZK. على سبيل المثال ، تطبيق ZK ، unyfy ، تبادل أصول الخصوصية الذي تم نشره على ETH. هنا يتم إخفاء أسعار أوامر التداول ، ويتم التحقق من سلامة هذه الأوامر ذات الأسعار المخفية بواسطة تقنية ZK. بالإضافة إلى unyfy ، هناك عدد من تطبيقات ZK الأخرى على L2s ، مثل ZigZag و Loopring ، من بين أمور أخرى. في حين أن تطبيقات ZK هذه تحافظ على الخصوصية بناء على ZK ، إلا أنه لا يمكن نشرها على ETH لأن EVM لا يمكنها تشغيل تطبيقات ZK هذه مباشرة.
(5) البحث
بالإضافة إلى ذلك ، أجرى الباحثون مناقشة ساخنة حول تقنية ZK وتطبيقاتها على منصة Ethereum Research ، بما في ذلك مقال بحثي من Salus مخصص لاستخدام ZK لتعزيز تنفيذ حماية الخصوصية في طبقة تطبيق ETH. تختبر هذه المقالة أداء العديد من لغات ZK المختلفة ، Circom و Noir و Halo 2 ، وتظهر النتائج أن Circom تتمتع بأداء أفضل. تقترح المقالة أيضا حلا عاما لدمج Circom في Solidity لتنفيذ مشروع طبقة تطبيق ETH قائم على ZK. هذا له أهمية كبيرة بالنسبة ل ETH Fang لتحقيق انتقال الخصوصية. اكتسبت هذه الدراسة اهتماما كبيرا في عام 2023 ، حيث احتلت المرتبة الأولى في القائمة.
هذه المقالة البحثية هي الدراسة الأكثر قراءة لعام 2023 حول أبحاث Ethereum — المؤلف Salus
3. التحدي
على الرغم من أن العديد من مشاريع طبقة تطبيق ETH الحالية تحتاج بشكل عاجل إلى إدخال آلية للحفاظ على الخصوصية تعتمد على ZK ، إلا أن هذه العملية تواجه سلسلة من التحديات.
نقص موارد المواهب في ZK: تتطلب دراسة تقنية ZK أساسا نظريا متينا ، خاصة في مجالات التشفير والرياضيات. نظرا لأن تنفيذ تقنية ZK يتضمن صيغا معقدة ، يحتاج المتعلمون أيضا إلى امتلاك مهارات قوية في تفسير الصيغة. لكن المشكلة هي أن هناك عددا قليلا نسبيا من الأشخاص الذين يركزون على تعلم تقنية ZK.
قيود لغات تطوير ZK: تستخدم لغات مثل Rust و Cairo و Halo 2 لتطوير دوائر إثبات ZK ، ولكنها عادة ما تكون مناسبة فقط لسيناريوهات محددة وليست مناسبة لمشاريع طبقة التطبيق. بعض هذه اللغات ، مثل القاهرة ، لا تزال تجريبية ، وقد تكون هناك مشكلات في التوافق بين الإصدارات المختلفة ، مما يجعل من الصعب والمعقد اعتمادها في تطبيقات العالم الحقيقي.
صعوبة في تنفيذ تقنية ZK: قد يواجه حل Vitalik لتطبيق تقنية ZK لحماية الخصوصية في ETH مجموعة متنوعة من المشكلات المعقدة في التنفيذ الفعلي ، مثل كيفية تجنب هجمات جمع الرصيد وهجمات الإنفاق المزدوج على المعاملات الخاصة. هناك صعوبة فنية معينة في حل هذه المشاكل.
الخصوصية مقابل الامتثال: بينما تحمي المعاملات الخاصة هويات المستخدمين وتفاصيل المعاملات ، يمكنها أيضا إخفاء الأنشطة غير القانونية ، مثل غسيل الأموال. في المستقبل ، يبقى التحقق مما إذا كانت تطبيقات ZK على ETH ستكون متوافقة في عملية تنفيذ حماية الخصوصية.
على الرغم من التحديات ، فإن انتقال ETH Place إلى الخصوصية - وهو شرط أساسي لتأمين تحويل الأموال التي توفر حماية الخصوصية ، وضمان أن جميع الأدوات الأخرى التي يتم تطويرها (التعافي الاجتماعي والهوية والسمعة) تحمي الخصوصية - هو نشر تطبيقات ZK على نطاق واسع. كما ذكر أعلاه ، يعتمد البحث الذي نشرته Salus على تقنية ZK لتعزيز ميزات مثل حماية الخصوصية في طبقة التطبيق ETH. علاوة على ذلك ، اقترح Salus لأول مرة حلا عالميا يدمج Circom و Solidity ويطبقه على مشاريع طبقة التطبيق ETH ، وتنفيذ نظام إثبات ZK خارج السلسلة على أساس Circom ، وتنفيذ العقود الذكية ومنطق التحقق من ZK على ETH على أساس Solidity. إذا كنت بحاجة إلى دعم أو لديك أي أسئلة ، فلا تتردد في الاتصال ب Salus.
4. الموجز والتوقعات
في عام 2023 ، استكشف مجتمع ETH ، بقيادة فيتاليك بوتيرين ، إمكانات تقنية إثبات المعرفة الصفرية بهدف تعزيز ميزات الحفاظ على الخصوصية في النظام الأساسي. في حين أن هذه المقترحات لا تزال في مرحلة البحث ، فإن أبحاث وأوراق فيتاليك ، لا سيما فيما يتعلق بموازنة الخصوصية والامتثال ، توفر أساسا نظريا لتقنيات المعرفة الصفرية لحماية خصوصية المستخدم.
على الرغم من وجود تحديات في دمج تقنية إثبات المعرفة الصفرية في ETH ، فمن المتوقع أن تلعب براهين المعرفة الصفرية دورا أكثر أهمية في النظام البيئي لورشة العمل ETH في المستقبل القريب مع نضوج التكنولوجيا واستمرار المجتمع في العمل الجاد. لذلك ، فإن المشاركة في الوقت المناسب والاستكشاف النشط في هذا المجال ، والاستفادة من الفرص المبكرة ، ستساعد على احتلال مكانة قوية في هذا المجال الناشئ.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
اقرأ الاتجاهات الجديدة ل ETH Fang في عام 2023: ZK والخصوصية
1. الخلفيه
أوضح فيتاليك بوتيرين ، المؤسس المشارك ل ETH Workshop ، أن ورشة ETH ستفشل دون تحول تكنولوجي في انتقال الخصوصية. نظرا لأن جميع المعاملات مرئية للجمهور ، فإن تضحيات الخصوصية كبيرة جدا بالنسبة للعديد من المستخدمين ، ويتجه الجميع إلى حلول مركزية تخفي البيانات إلى حد ما على الأقل.
في عام 2023 ، أجرى فيتاليك سلسلة من الدراسات حول حماية الخصوصية وتطوير تقنيات إثباتات المعرفة الصفرية (ZK). في النصف الأول من العام ، نشر فيتاليك ثلاث مقالات على موقعه على الإنترنت مخصصة ل ZK وحماية الخصوصية. في أبريل ، قدم أيضا دراسة على Reddit حول خصوصية الأوصياء على المحفظة. في سبتمبر ، شارك في تأليف ورقة مع محترفين آخرين يقترحون حلا لتحقيق التوازن بين الخصوصية والامتثال.
بالإضافة إلى ذلك ، تعمل ETH Fang Ecology بنشاط على تعزيز مناقشة هذا الموضوع وتعميمه. في حدث ETHDenver في مارس ، تم عقد حدث خاص يركز على الخصوصية. في مؤتمر EDCON السنوي (مؤتمر مجتمع Ethereum) في مايو ، أكد فيتاليك أن “ZK-SNARKs ستكون بنفس أهمية blockchain في السنوات ال 10 القادمة”.
تتعقب هذه المقالة آخر التطورات في نظام ETH Fang البيئي في عام 2023 من حيث استخدام تقنية ZK لتعزيز حماية الخصوصية. إذا كنت ترغب في الوصول إلى دائرة ETH ZK ، فإن هذه المقالة توفر التفسير والتوجيه اللازمين.
2. ETH ZK Circuit: بناء مستقبل يحافظ على الخصوصية
قد تعرض ETH الشفافية المعلومات الشخصية للمستخدمين لخطر الاختراق. لا توجد أسرار على سلاسل الكتل مثل ETH ، وجميع المعلومات عامة ، والتي تشمل الأنشطة الأخرى على السلسلة مثل المعاملات والتصويت وما إلى ذلك. قد يؤدي هذا الانفتاح إلى تتبع معاملات وعناوين محددة وربطها بهويات المستخدمين الحقيقية. لذلك ، من المهم تنفيذ حماية الخصوصية على ETH. يمكن إخفاء المعلومات على السلسلة من خلال التشفير ، ولكن التحدي يكمن في ضمان التحقق من صحة هذه المعاملات مع حماية الخصوصية. توفر تقنية ZK حلا لإثبات صحة المعاملة دون الكشف عن معلومات إضافية ، مع مراعاة الخصوصية وإمكانية التحقق.
ETH تضع قيمة عالية على ZK-SNARKs ، خاصة في بعض حالات الاستخدام الرئيسية التي تحافظ على الخصوصية. هذا واضح في أبحاث ومقترحات فيتاليك ، حيث يجمع سالوس السيناريوهات النموذجية التي يقترحها فيتاليك في بحثه ، وهي المعاملات الخاصة والانتعاش الاجتماعي.
2.1 المعاملات الخاصة
عندما يتعلق الأمر بالمعاملات الخاصة ، يقترح فيتاليك مفهومين: عناوين التخفي ومجمعات الخصوصية.
يسمح نظام عنوان الخصوصية بإجراء المعاملات دون إخفاء هوية مستلم المعاملة. يوفر هذا النهج حماية الخصوصية مع ضمان الشفافية وقابلية التدقيق في المعاملات.
استنادا إلى بروتوكول تجمع الخصوصية ، يمكن للمستخدمين إثبات أن أموال التداول الخاصة بهم تنتمي إلى مصدر متوافق معروف دون الكشف عن المعاملات التاريخية. يسمح هذا المخطط للمستخدمين بإجراء معاملات خاصة مع الامتثال للوائح.
كلا السيناريوهين لا ينفصلان عن ZK. في كلا السيناريوهين ، يسمح للمستخدمين بإنشاء إثباتات المعرفة الصفرية لإثبات صحة معاملاتهم.
2.1.1 عنوان الخصوصية
لنفترض أن أليس تنوي نقل نوع من الأصول إلى بوب ، وعندما يتلقى بوب الأصل ، لا يريد أن يعرف الجمهور العالمي أنه هو المستلم. على الرغم من صعوبة إخفاء حقيقة نقل الأصول ، فمن الممكن إخفاء هوية المستلم. في هذا السياق ، ظهر مخطط العنوان الصديق للخصوصية ، ومشكلته الرئيسية هي كيفية إخفاء هوية مستلم المعاملة بشكل فعال.
إذن ، ما هو الفرق بين عنوان الخصوصية وعنوان ETH العادي ، وكيفية استخدام عنوان الخصوصية المستند إلى ZK للمعاملات الخاصة؟ سوف يقدمهم Salus لك واحدا تلو الآخر.
(1) ما هو الفرق بين العنوان الخاص وعنوان ETH العادي؟
عنوان الخصوصية هو عنوان يسمح بإنشاء مرسل المعاملة بشكل غير تفاعلي ولا يمكن الوصول إليه إلا من قبل مستلمه. دعنا نوضح الفرق بين عنوان الخصوصية وعنوان ETH العادي من بعدين: من ينشئه ومن يمكنه الوصول إليه.
تم إنشاؤها بواسطة من؟
يتم إنشاء عناوين ETH العادية من قبل المستخدم نفسه بناء على خوارزميات التشفير والتجزئة. يمكن إنشاء عنوان خاص من قبل الشخص أو من قبل الطرف الآخر في المعاملة. على سبيل المثال ، عندما ترسل Alice تحويلا إلى Bob ، يمكن إنشاء العنوان الذي يستخدمه Bob لقبول النقل بواسطة Bob أو Alice ، ولكن يتم التحكم فيه بواسطة Bob فقط.
من يمكنه الوصول؟
يكون نوع ومبلغ ومصدر الأموال في إطار حساب ETH عادي مرئيا للجمهور. حيث أنه في المعاملات التي تتم باستخدام عنوان محمي ، يمكن للمستلم فقط الوصول إلى الأموال المخزنة في عنوانه الخفي. لا يمكن للمراقب ربط عنوان خصوصية المستلم بهويته ، مما يحمي خصوصية المستلم.
(2) كيفية استخدام عناوين الخصوصية المستندة إلى ZK للمعاملات الخاصة؟
إذا أرادت أليس إرسال الأصول إلى عنوان خصوصية بوب لإخفاء مستلم المعاملة. فيما يلي وصف تفصيلي لعملية التداول:
يمكن أيضا إنشاء عنوان الخصوصية في العملية المذكورة أعلاه باستخدام إثباتات المعرفة الصفرية التي تم إنشاؤها من التجزئة وتشفير المفتاح العام. يمكن دمج رمز العقد الذكي في عنوان الخصوصية مع ZK. من خلال تضمين منطق التحقق من إثبات المعرفة الصفرية ، يمكن للعقود الذكية التحقق تلقائيا من صحة المعاملات. هذا المخطط لإنشاء عنوان خاص أبسط من المخططات الأخرى ، بما في ذلك تشفير المنحنى الإهليلجي ، وإيزوجينيات المنحنى الإهليلجي ، والشبكات ، وأوليات الصندوق الأسود العامة.
2.1.2 تجمع الخصوصية
سواء تم تحقيق المعاملات الخاصة عن طريق إخفاء هوية مستلم المعاملة أو معلومات أخرى حول المعاملة ، فهناك مشكلة كبيرة: كيف يمكن للمستخدمين إثبات أن أموال معاملاتهم تنتمي إلى مصدر متوافق معروف دون الحاجة إلى الكشف عن سجل معاملاتهم بالكامل. يجب أن تتجنب ETH Place ، كمنصة blockchain عامة ، أن تصبح وسيلة لغسل الأموال والأنشطة غير القانونية الأخرى.
اقترح فيتاليك حلا يسمى “Privacy Pool” يهدف إلى تحقيق التوازن بين حماية الخصوصية واحتياجات الامتثال لسلاسل الكتل. ومع ذلك ، ما هي تحديات حماية الخصوصية والامتثال ، وكيف توازن بين الخصوصية والامتثال؟ يقدم Salus مناقشة متعمقة ومفيدة حول كلتا القضيتين.
(1) تحديات حماية الخصوصية والامتثال
يمثل ضمان الامتثال للمعاملات مع تحقيق حماية الخصوصية تحديا ، ويمكن إثبات ذلك بوضوح من خلال تحليل حالة Tornado Cash.
Tornado Cash هو خلاط للعملات المشفرة يمزج بين عدد كبير من عمليات الإيداع والسحب. بعد إيداع الرموز المميزة في عنوان واحد ، يمكن للمستخدمين تقديم ZK Proof لإثبات أنهم قاموا بالإيداع ، ثم سحب الأموال من عنوان جديد. هاتان العمليتان عامتان على السلسلة ، لكن المراسلات بينهما ليست علنية ، لذا فهي مجهولة. في حين أنه يمكن أن يعزز خصوصية المستخدمين ، إلا أنه غالبا ما يستخدم من قبل الجهات الفاعلة غير القانونية لغسل الأموال. ونتيجة لذلك، أضافت وزارة الخزانة الأمريكية أخيرا عنوان العقد الذكي لشركة تورنادو كاش إلى قائمة العقوبات. يعتقد المنظمون أن الاتفاقية تسهل غسل الأموال ولا تفضي إلى مكافحة الجريمة المالية.
تتمثل أوجه القصور في Tornado Cash في حماية الخصوصية في أنه لا توجد طريقة للتحقق من أن أصل الرمز المميز للمستخدم متوافق. استجابة لهذه المشكلة ، يوفر Tornado Cash خادما مركزيا لمساعدة المستخدم على إثبات أن الرمز المميز الخاص به متوافق. ومع ذلك ، يجب على الخادم الحصول على تفاصيل السحب المقدمة من المستخدم وتحديد الإيداع الذي يتوافق معه السحب ، من أجل إنشاء الإثبات. هذه الآلية المركزية ليس لها تكلفة افتراضات الثقة فحسب ، بل تنتج أيضا عدم تناسق المعلومات. في النهاية ، بالكاد يتم استخدام الآلية من قبل المستخدمين. بينما تنفذ Tornado Cash ميزات الخصوصية ، إلا أنها لا توفر آلية فعالة للتحقق من أن مصدر الرمز المميز للمستخدم متوافق ، وهو ما يمكن للمجرمين استغلاله.
(2) كيف توازن بين الخصوصية والامتثال؟
بناء على هذه التحديات ، توصل فيتاليك إلى مفهوم مجمعات الخصوصية ، والذي يسمح للمستخدمين بإثبات أن مصادر تمويلهم متوافقة دون الكشف عن معلومات المعاملات التاريخية. هذا يحقق توازنا بين الخصوصية والامتثال.
تعتمد مجمعات الخصوصية على ZK ومجموعات الجمعيات ، مما يسمح للمستخدمين بإنشاء وإصدار إثباتات ZK-SNARK التي تثبت أن أموالهم تأتي من مصدر معروف ومتوافق. هذا يعني أن الأموال تنتمي إلى مجموعة جمعيات متوافقة ، أو أنها لا تنتمي إلى مجموعة جمعيات غير متوافقة.
يتم إنشاء مجموعات الارتباط بواسطة موفري مجموعات الارتباطات استنادا إلى سياسات محددة:
إثبات العضوية: ضع الودائع من جميع منصات التداول الموثوقة في مجموعة ارتباط ، علاوة على ذلك ، هناك دليل قاطع على أنها منخفضة المخاطر.
إثبات الاستبعاد: تحديد مجموعة من الودائع التي تم وضع علامة عليها على أنها محفوفة بالمخاطر ، أو التي يوجد دليل قاطع على أنها أموال غير متوافقة. إنشاء مجموعة مرتبطة تحتوي على جميع الودائع باستثناء هذه الودائع.
عند إجراء إيداع ، يقوم المستخدمون بإنشاء سر من خلال ZK وتجزئة معرف عملة عام للاحتفال بارتباطهم بالأموال. عند السحب ، يقدم المستخدم مبطلا يتوافق مع السر (المبطل هو معرف فريد مشتق من السر) ، مما يثبت أن الأموال ملكهم. بالإضافة إلى ذلك ، يمكن للمستخدمين إثبات أن أموالهم تنتمي إلى مصدر معروف ومتوافق من خلال إثبات فرعين ميركل من خلال ZK:
ينتمي معرف العملة الخاص به إلى شجرة معرف العملة ، وهي عبارة عن مجموعة من جميع المعاملات التي تتم حاليا ؛
ينتمي معرف العملة الخاص به إلى شجرة مجموعة ارتباط ، وهي عبارة عن مجموعة من المعاملات التي يعتبرها المستخدم متوافقة.
(3) ما هي سيناريوهات تطبيق ZK في تجمعات الخصوصية؟
المرونة في المعاملات الخاصة: من أجل معالجة التحويلات من أي فئة في المعاملات الخاصة ، يتم إرفاق إثباتات إضافية صفر المعرفة لكل معاملة. يضمن هذا الإثبات أن الفئة الإجمالية للرمز المميز الذي تم إنشاؤه لا تتجاوز الفئة الإجمالية للرمز المميز الذي يتم استهلاكه ، وبالتالي ضمان صحة المعاملة. ثانيا ، تحافظ ZK على استمرارية المعاملة وخصوصيتها من خلال التحقق من التزام كل معاملة بمعرف رمز الإيداع الأصلي ، مما يجعل من الممكن ضمان ارتباط كل عملية سحب بإيداعها الأصلي المقابل ، حتى في حالة عمليات السحب الجزئية.
هجمات جمع الرصيد: يمكن مقاومة هجمات جمع الرصيد عن طريق دمج الرموز المميزة والالتزام بمجموعة من معرفات الرمز المميز ، بالإضافة إلى التزام الاتحاد للمعاملات الأصلية بمعاملات إدخال متعددة. يعتمد هذا النهج على ZK للتأكد من أن جميع معرفات الرمز المميز الملتزم بها موجودة في المجموعات المرتبطة بها ، مما يعزز خصوصية المعاملات.
2.2 الانتعاش الاجتماعي
في الحياة الواقعية ، قد يكون لدينا أكثر من حساب بطاقة مصرفية واحدة. يعني فقدان رقم التعريف الشخصي لبطاقتك أنه لا يمكننا استخدام الأموال الموجودة على بطاقتنا. في هذه الحالة ، نذهب عادة إلى البنك للمساعدة في استرداد كلمة المرور.
وبالمثل ، في سلاسل الكتل مثل ETH ، قد يكون لدينا عناوين متعددة (حسابات). المفتاح الخاص ، مثل كلمة مرور البطاقة المصرفية ، هو الأداة الوحيدة التي لديك للتحكم في أموال حسابك. بمجرد أن تفقد مفتاحك الخاص ، تفقد السيطرة على حسابك ولم يعد بإمكانك الوصول إلى الأموال الموجودة في حسابك. على غرار استعادة كلمة المرور في العالم الحقيقي ، توفر محافظ blockchain آلية استرداد اجتماعية لمساعدة المستخدمين على استعادة مفاتيحهم الخاصة المفقودة. تسمح هذه الآلية للمستخدمين بتحديد مجموعة من الأفراد الموثوق بهم للعمل كأوصياء عند إنشاء محفظة. يمكن لهؤلاء الأوصياء مساعدة المستخدمين على استعادة السيطرة على حساباتهم من خلال الموافقة على إعادة تعيين مفاتيحهم الخاصة في حالة فقدان مفاتيحهم الخاصة.
بموجب آلية التعافي الاجتماعي والوصاية هذه ، يقترح فيتاليك نقطتين لحماية الخصوصية يجب الانتباه إليهما:
إخفاء الارتباط بين عناوين متعددة: لحماية خصوصية المستخدم ، نحتاج إلى منع الكشف عن إسناد عناوين متعددة عند استرداد عناوين متعددة بعبارة استرداد واحدة.
حماية خصوصية ممتلكات المستخدم من الوصي: يجب أن نتأكد من أن الوصي لا يمكنه الحصول على معلومات أصول المستخدم أو مراقبة سلوك معاملة المستخدم أثناء عملية الموافقة على تشغيل المستخدم ، وذلك لمنع انتهاك خصوصية ملكية المستخدم.
التكنولوجيا الرئيسية لتحقيق كلا النوعين من حماية الخصوصية هي براهين المعرفة الصفرية.
2.2.1 إخفاء الارتباط بين عناوين متعددة للمستخدم
(1) قضايا الخصوصية في التعافي الاجتماعي: يتم الكشف عن العلاقة بين العناوين
في سلاسل الكتل مثل ETH ، يقوم المستخدمون عادة بإنشاء عناوين متعددة للمعاملات المختلفة من أجل حماية خصوصيتهم. باستخدام عناوين مختلفة لكل معاملة ، يمكنك منع المراقبين الخارجيين من ربط هذه المعاملات بسهولة مع نفس المستخدم.
ومع ذلك ، في حالة فقد المفتاح الخاص للمستخدم ، لن يتم استرداد الأموال التي تم إنشاؤها بواسطة المفتاح الخاص ضمن عناوين متعددة. في هذه الحالة ، مطلوب الانتعاش الاجتماعي. طريقة سهلة للاسترداد هي استرداد عناوين متعددة بنقرة واحدة ، حيث يستخدم المستخدم نفس عبارة الاسترداد لاستعادة عناوين متعددة تم إنشاؤها بواسطة مفتاح خاص واحد. ومع ذلك ، فإن هذا النهج ليس مثاليا ، حيث يقوم المستخدمون بإنشاء عناوين متعددة لمنعهم من الارتباط ببعضهم البعض. إذا اختار المستخدم استعادة جميع العناوين في نفس الوقت أو في وقت مماثل ، فإن هذا يكشف بشكل فعال أن العناوين مملوكة لنفس المستخدم. يتعارض هذا مع نية المستخدم الأصلية المتمثلة في إنشاء عناوين متعددة لحماية خصوصيته. وهذا يشكل قضية حماية الخصوصية في عملية الانتعاش الاجتماعي.
(2) حل ZK: كيف تتجنب الكشف عن ارتباط عناوين متعددة؟
يمكن استخدام تقنية ZK لإخفاء الارتباط بين العناوين المتعددة للمستخدم على blockchain ، وحل مشكلة الخصوصية للتعافي الاجتماعي من خلال بنية تفصل بين منطق التحقق وحيازات الأصول.
منطق التحقق: لدى المستخدمين عناوين متعددة على blockchain ، ولكن منطق التحقق لهم جميعا مرتبط بعقد مصادقة رئيسي (عقد تخزين المفاتيح).
حيازة الأصول وتداولها: عندما يعمل المستخدمون من أي عنوان ، فإنهم يستفيدون من تقنية ZK للتحقق من إذن العمل دون الكشف عن عنوانه.
بهذه الطريقة ، حتى إذا كانت جميع العناوين متصلة بنفس عقد تخزين المفاتيح ، لا يمكن للمراقب الخارجي تحديد ما إذا كانت العناوين تنتمي إلى نفس المستخدم ، وبالتالي تحقيق الخصوصية بين العناوين.
من المهم تصميم مخطط استرداد اجتماعي خاص يمكنه استرداد عناوين مستخدمين متعددة في نفس الوقت دون الكشف عن العلاقة بينهما.
**2.2.2 حماية خصوصية ممتلكات المستخدم من تعدي الأوصياء **
(1) قضية الخصوصية: امتياز الوصي
في سلاسل الكتل مثل ETH ، يمكن للمستخدمين تعيين أوصياء متعددين عند إنشاء محفظة. خاصة بالنسبة لمحافظ multisig ومحافظ التعافي الاجتماعي ، فإن دور الوصي أمر بالغ الأهمية. عادة ما يكون الوصي عبارة عن مجموعة من عناوين N يحتفظ بها شخص آخر ، حيث يمكن لأي عناوين M الموافقة على إجراء ما.
ما هي امتيازات الوصاية ، مثل:
بالنسبة لمحافظ multisig ، يجب توقيع كل معاملة من قبل M من الأوصياء N قبل أن تتم معالجتها.
بالنسبة لمحفظة الاسترداد الاجتماعي ، في حالة فقد المفتاح الخاص للمستخدم ، يجب على M من الأوصياء N التوقيع على رسالة لإعادة تعيين المفتاح الخاص.
يمكن للأوصياء الموافقة على أفعالك. في multisig ، سيكون هذا أي معاملة. في محفظة الاسترداد الاجتماعي ، ستكون هذه إعادة تعيين للمفتاح الخاص لحسابك. أحد التحديات التي تواجه آلية الوصاية اليوم هو كيفية حماية الخصوصية المالية للمستخدم من غزو ولي الأمر.
(2) حل ZK: حماية خصوصية ممتلكات المستخدمين من انتهاك الأوصياء
في هذه المقالة ، يتصور فيتاليك أن الوصي لا يحمي حسابك ، بل هو عقد “صندوق تأمين” ، ويتم إخفاء الرابط بين حسابك وهذه الخزنة. هذا يعني أن الأوصياء ليس لديهم وصول مباشر إلى حساب المستخدم ولا يمكنهم القيام بذلك إلا من خلال عقد صندوق تأمين مخفي.
يتمثل الدور الرئيسي ل ZK في توفير نظام تصديق يسمح للأوصياء بإثبات صحة البيان دون الكشف عن تفاصيل البيان. في هذه الحالة ، يمكن للوصي استخدام ZK-SNARK لإثبات أن لديه السلطة لتنفيذ إجراء دون الكشف عن أي تفاصيل تتعلق ب “الرابط بين الحساب وصندوق الأمان”.
2.3 الاستكشاف: فصل جديد من ZK والخصوصية في نظام فانغ البيئي ETH
في حين أن مسار ZK ETH لا يزال في مرحلة التطوير ، ولا تزال العديد من الأفكار والمفاهيم المبتكرة قيد التصور والدراسة ، فقد أطلق النظام البيئي ETH بالفعل مجموعة واسعة من أنشطة الاستكشاف العملية.
(1) تمويل من مؤسسة ETH
في سبتمبر ، مولت مؤسسة ETH Ethereum مشروعين للحفاظ على الخصوصية ، IoTeX و ZK-Team. IoTex هي محفظة مجردة للحسابات القائمة على إثباتات المعرفة الصفرية ، و ZK-Team مكرس لتمكين المؤسسات من إدارة أعضاء الفريق مع الحفاظ على الخصوصية الشخصية.
(2) الاستثمار
في أكتوبر ، استثمر فيتاليك ، المؤسس المشارك لشركة ETH Place ، في Nocturne Labs بهدف جلب الحسابات الخاصة إلى ETH Place. سيكون لدى المستخدمين حسابات “داخلية” في Nocturne وستكون طريقة تلقي / إنفاق الأموال من هذه الحسابات مجهولة. باستخدام تقنية ZK ، يمكن للمستخدمين إثبات أن لديهم أموالا كافية للمعاملات ، مثل المدفوعات والتخزين وما إلى ذلك.
(3) الاجتماعات والمناسبات
تعتبر ETHDenver واحدة من أهم الأحداث المتعلقة بتكنولوجيا ETH و blockchain في العالم. في مارس من هذا العام ، استضافت ETHDenver حدثا خاصا يركز على الخصوصية. لا يظهر هذا الحدث قلق المجتمع ETH بشأن قضايا الخصوصية فحسب ، بل يعكس أيضا الأهمية التي يوليها مجتمع blockchain العالمي لحماية الخصوصية. في هذا الحدث الخاص ، تم عقد تسع جلسات متعلقة بالخصوصية ، بما في ذلك الخصوصية حسب التصميم والخصوصية مقابل الأمان.
EDCON (مؤتمر مجتمع Ethereum) هو مؤتمر سنوي عالمي يستضيفه مجتمع ETH ، ويهدف إلى تعزيز تطوير وابتكار ETH ، وتعزيز اتصال وتعاون المجتمع ETH. في مؤتمر EDCON في مايو من هذا العام ، أدلى فيتاليك ببيان مهم ، مشيرا إلى أنه “في السنوات ال 10 المقبلة ، ستكون ZK-SNARKs بنفس أهمية blockchain”. يسلط هذا البيان الضوء على أهمية ZK-SNARKs في اتجاه تطوير تقنية blockchain.
(4) المشاريع
في الوقت الحاضر ، بدأت بعض مشاريع طبقة التطبيق في استخدام تقنية ZK لتوفير خدمات حماية الخصوصية للمستخدمين والمعاملات. تسمى مشاريع طبقة التطبيق هذه تطبيقات ZK. على سبيل المثال ، تطبيق ZK ، unyfy ، تبادل أصول الخصوصية الذي تم نشره على ETH. هنا يتم إخفاء أسعار أوامر التداول ، ويتم التحقق من سلامة هذه الأوامر ذات الأسعار المخفية بواسطة تقنية ZK. بالإضافة إلى unyfy ، هناك عدد من تطبيقات ZK الأخرى على L2s ، مثل ZigZag و Loopring ، من بين أمور أخرى. في حين أن تطبيقات ZK هذه تحافظ على الخصوصية بناء على ZK ، إلا أنه لا يمكن نشرها على ETH لأن EVM لا يمكنها تشغيل تطبيقات ZK هذه مباشرة.
(5) البحث
بالإضافة إلى ذلك ، أجرى الباحثون مناقشة ساخنة حول تقنية ZK وتطبيقاتها على منصة Ethereum Research ، بما في ذلك مقال بحثي من Salus مخصص لاستخدام ZK لتعزيز تنفيذ حماية الخصوصية في طبقة تطبيق ETH. تختبر هذه المقالة أداء العديد من لغات ZK المختلفة ، Circom و Noir و Halo 2 ، وتظهر النتائج أن Circom تتمتع بأداء أفضل. تقترح المقالة أيضا حلا عاما لدمج Circom في Solidity لتنفيذ مشروع طبقة تطبيق ETH قائم على ZK. هذا له أهمية كبيرة بالنسبة ل ETH Fang لتحقيق انتقال الخصوصية. اكتسبت هذه الدراسة اهتماما كبيرا في عام 2023 ، حيث احتلت المرتبة الأولى في القائمة.
هذه المقالة البحثية هي الدراسة الأكثر قراءة لعام 2023 حول أبحاث Ethereum — المؤلف Salus
3. التحدي
على الرغم من أن العديد من مشاريع طبقة تطبيق ETH الحالية تحتاج بشكل عاجل إلى إدخال آلية للحفاظ على الخصوصية تعتمد على ZK ، إلا أن هذه العملية تواجه سلسلة من التحديات.
نقص موارد المواهب في ZK: تتطلب دراسة تقنية ZK أساسا نظريا متينا ، خاصة في مجالات التشفير والرياضيات. نظرا لأن تنفيذ تقنية ZK يتضمن صيغا معقدة ، يحتاج المتعلمون أيضا إلى امتلاك مهارات قوية في تفسير الصيغة. لكن المشكلة هي أن هناك عددا قليلا نسبيا من الأشخاص الذين يركزون على تعلم تقنية ZK.
قيود لغات تطوير ZK: تستخدم لغات مثل Rust و Cairo و Halo 2 لتطوير دوائر إثبات ZK ، ولكنها عادة ما تكون مناسبة فقط لسيناريوهات محددة وليست مناسبة لمشاريع طبقة التطبيق. بعض هذه اللغات ، مثل القاهرة ، لا تزال تجريبية ، وقد تكون هناك مشكلات في التوافق بين الإصدارات المختلفة ، مما يجعل من الصعب والمعقد اعتمادها في تطبيقات العالم الحقيقي.
صعوبة في تنفيذ تقنية ZK: قد يواجه حل Vitalik لتطبيق تقنية ZK لحماية الخصوصية في ETH مجموعة متنوعة من المشكلات المعقدة في التنفيذ الفعلي ، مثل كيفية تجنب هجمات جمع الرصيد وهجمات الإنفاق المزدوج على المعاملات الخاصة. هناك صعوبة فنية معينة في حل هذه المشاكل.
الخصوصية مقابل الامتثال: بينما تحمي المعاملات الخاصة هويات المستخدمين وتفاصيل المعاملات ، يمكنها أيضا إخفاء الأنشطة غير القانونية ، مثل غسيل الأموال. في المستقبل ، يبقى التحقق مما إذا كانت تطبيقات ZK على ETH ستكون متوافقة في عملية تنفيذ حماية الخصوصية.
على الرغم من التحديات ، فإن انتقال ETH Place إلى الخصوصية - وهو شرط أساسي لتأمين تحويل الأموال التي توفر حماية الخصوصية ، وضمان أن جميع الأدوات الأخرى التي يتم تطويرها (التعافي الاجتماعي والهوية والسمعة) تحمي الخصوصية - هو نشر تطبيقات ZK على نطاق واسع. كما ذكر أعلاه ، يعتمد البحث الذي نشرته Salus على تقنية ZK لتعزيز ميزات مثل حماية الخصوصية في طبقة التطبيق ETH. علاوة على ذلك ، اقترح Salus لأول مرة حلا عالميا يدمج Circom و Solidity ويطبقه على مشاريع طبقة التطبيق ETH ، وتنفيذ نظام إثبات ZK خارج السلسلة على أساس Circom ، وتنفيذ العقود الذكية ومنطق التحقق من ZK على ETH على أساس Solidity. إذا كنت بحاجة إلى دعم أو لديك أي أسئلة ، فلا تتردد في الاتصال ب Salus.
4. الموجز والتوقعات
في عام 2023 ، استكشف مجتمع ETH ، بقيادة فيتاليك بوتيرين ، إمكانات تقنية إثبات المعرفة الصفرية بهدف تعزيز ميزات الحفاظ على الخصوصية في النظام الأساسي. في حين أن هذه المقترحات لا تزال في مرحلة البحث ، فإن أبحاث وأوراق فيتاليك ، لا سيما فيما يتعلق بموازنة الخصوصية والامتثال ، توفر أساسا نظريا لتقنيات المعرفة الصفرية لحماية خصوصية المستخدم.
على الرغم من وجود تحديات في دمج تقنية إثبات المعرفة الصفرية في ETH ، فمن المتوقع أن تلعب براهين المعرفة الصفرية دورا أكثر أهمية في النظام البيئي لورشة العمل ETH في المستقبل القريب مع نضوج التكنولوجيا واستمرار المجتمع في العمل الجاد. لذلك ، فإن المشاركة في الوقت المناسب والاستكشاف النشط في هذا المجال ، والاستفادة من الفرص المبكرة ، ستساعد على احتلال مكانة قوية في هذا المجال الناشئ.