في ربيع هذا العام، التقيت بـ Dr. Yamamoto في طوكيو. هذا العالم السابق في فن الأوريغامي، والذي يشغل حاليًا منصب كبير خبراء التشفير في مشروع سلسلة خصوصية ما، قام في غرفة تقليدية مغطاة بأوراق مسودة، بعرض المنطق الأساسي للـ zk-SNARKs باستخدام ورقة عادية.
طوى طائرة ورقية على شكل طائر الكركي، وقال: "المفتاح ليس في شكل الطائر، بل في العلاقات الهندسية الموجودة في الطيات." في تلك اللحظة، أدركت فجأة - أن حلول الخصوصية الجيدة ليست مجرد تراكم تقني، بل هي أشبه بفن معالجة المعلومات.
**سحر التكرار في الطيات**
اقترحت مجموعة الدكتور ياماموتو في ورقتها لعام 2023 "نظرية إثبات الطي". لقد اكتشفوا أن "طريقة الطي الجبلي" التقليدية في الطي و zk-SNARKs لها تشابه رياضي مذهل - كلاهما يعتمد على الطي المتكرر، مما يضغط الهياكل المعقدة إلى أشكال بسيطة.
بيانات الاختبار مذهلة. على الشبكة التجريبية، تم ضغط 5000 معاملة خصوصية إلى ملف إثبات بحجم 2.7KB. هذا الحجم لا يتجاوز 1/50 من إثباتات zk التقليدية، لكن سرعة التحقق زادت بمقدار 18 مرة.
قال الدكتور ياماموتو: "مثل لوحة من عصر إيدو. عندما تُفرد تظهر آلاف الأشباح والوحوش، وعندما تُلف تصبح مجرد لفة واحدة."
**التمويه القابل للتعديل**
الأكثر إثارة للاهتمام هو نموذج الخصوصية "التلاشي والظهور" الذي تم تحقيقه في المشروع. على عكس الخيار الثنائي الشفاف بالكامل أو المجهول بالكامل، يسمح هذا النظام للمستخدمين بضبط مستوى الكشف عن المعلومات بشكل ديناميكي. مثل ارتداء المعاملات لسترة اختفاء قابلة للبرمجة - يمكنك أن تقرر كم تريد أن تكشف.
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 15
أعجبني
15
7
إعادة النشر
مشاركة
تعليق
0/400
BloodInStreets
· منذ 16 س
يبدو أن هذه قصة أخرى عن "تكنولوجيا ثورية"... نظرية الطي، معالجة فنية، قابلية البرمجة للسترات الخفية، يبدو الكلام جميلاً. السؤال هو: متى يمكن شراء الانخفاض في هذا الشيء؟ هل لا يزال هناك وادي قيمة الآن؟
شاهد النسخة الأصليةرد0
LayoffMiner
· منذ 16 س
هل يمكن لأوريغامي أن يصنع zk-SNARKs؟ هذا الفكر مذهل، ولكن إذا كان يمكن أن يصل إلى 1/50 من الحجم، سأحتاج لرؤية البيانات...
كيف يستخدم البشر الأوريغامي في التشفير، إنه حقًا يبدو كأنه من عالم سايبربانك.
هذا الرداء الخفي القابل للتعديل يبدو جيدًا، لكنني أخشى أنه لا يزال خصوصية زائفة...
الدكتور ياماموتو قدم تشبيهًا دقيقًا، لكن لا أعرف كيف سيكون الاستخدام الفعلي.
هل يمكن لـ 2.7KB أن تفي بـ 5000 معاملة؟ الأمر يعتمد على الفجوة بين Testnet و الشبكة الرئيسية.
الطيات هي دليل، هذا الرجل حقًا لديه أفكار مذهلة.
نموذج التلاشي والتجلي يبدو أنه مفيد في بعض السيناريوهات، مقارنةً بالانكشاف الكامل، إنه حقًا أكثر راحة.
تشبيه لوحة إيدو هو شعور الانجراف مع الموجة، لكن التحدي الحقيقي في ZK هو التطبيق على نطاق واسع، وليس الحجم.
رغم أن مفهوم الرداء الخفي القابل للبرمجة رائع، هل يحتاج المستخدمون حقًا للتحكم بهذه الدقة؟
قصة عالم الأوريغامي الذي تحول إلى عالم التشفير تستحق الاستماع.
شاهد النسخة الأصليةرد0
MelonField
· منذ 16 س
إثبات ZK الناتج عن طي الورق؟ حسناً، يبدو أنه علم غامض
5000 معاملة مضغوطة إلى 2.7KB، هل هذا الرقم حقيقي أم لا؟ هل هناك رمز مصدر مفتوح؟
التحقق أسرع بـ 18 مرة، أليس من غير السار عدم التحدث بذلك؟
يؤلمني رأسي من الحديث عن السترة المخفية، هل هو خصوصية أم فقط يريد التسلل خلسة؟
الدكتور ياماموتو، استخدامه لطائر الكركند لشرح التشفير مذهل، ولكن ماذا عن TPS، أين معدل الإنتاجية المتفق عليه؟
شاهد النسخة الأصليةرد0
BearMarketSage
· منذ 16 س
يبدو أن إثبات طي الورق هذا فخم، لكن ضغط 2.7KB بمعدل 50 مرة؟ يبدو أنه مبالغ فيه قليلاً.
شاهد النسخة الأصليةرد0
MetadataExplorer
· منذ 16 س
دمج فن طي الورق مع التشفير، هذه الزاوية جديدة حقًا، ولكن يجب أن نرى ما إذا كان الرقم 2.7KB يمكن استخدامه في السيناريو الحقيقي.
شاهد النسخة الأصليةرد0
SchrödingersNode
· منذ 16 س
طي الورق لإثبات ZK، هذا الرجل لديه أفكار مثيرة
التشبيه بالغراب الورقي فعلاً رائع... هل نسبة الضغط 1/50 هذه حقيقية؟
بدلة التخفي القابلة للبرمجة تبدو رائعة، لكن هل يمكن استخدامها بالفعل؟
شاهد النسخة الأصليةرد0
BearMarketBarber
· منذ 16 س
هل يمكن استخدام طي الورق لإثبات ZK؟ هذا الرجل مجنون حقًا، 2.7 كيلوبايت يضغط 5000 معاملة بسرعة 18 مرة، يجب التحقق من هذا الرقم.
في ربيع هذا العام، التقيت بـ Dr. Yamamoto في طوكيو. هذا العالم السابق في فن الأوريغامي، والذي يشغل حاليًا منصب كبير خبراء التشفير في مشروع سلسلة خصوصية ما، قام في غرفة تقليدية مغطاة بأوراق مسودة، بعرض المنطق الأساسي للـ zk-SNARKs باستخدام ورقة عادية.
طوى طائرة ورقية على شكل طائر الكركي، وقال: "المفتاح ليس في شكل الطائر، بل في العلاقات الهندسية الموجودة في الطيات." في تلك اللحظة، أدركت فجأة - أن حلول الخصوصية الجيدة ليست مجرد تراكم تقني، بل هي أشبه بفن معالجة المعلومات.
**سحر التكرار في الطيات**
اقترحت مجموعة الدكتور ياماموتو في ورقتها لعام 2023 "نظرية إثبات الطي". لقد اكتشفوا أن "طريقة الطي الجبلي" التقليدية في الطي و zk-SNARKs لها تشابه رياضي مذهل - كلاهما يعتمد على الطي المتكرر، مما يضغط الهياكل المعقدة إلى أشكال بسيطة.
بيانات الاختبار مذهلة. على الشبكة التجريبية، تم ضغط 5000 معاملة خصوصية إلى ملف إثبات بحجم 2.7KB. هذا الحجم لا يتجاوز 1/50 من إثباتات zk التقليدية، لكن سرعة التحقق زادت بمقدار 18 مرة.
قال الدكتور ياماموتو: "مثل لوحة من عصر إيدو. عندما تُفرد تظهر آلاف الأشباح والوحوش، وعندما تُلف تصبح مجرد لفة واحدة."
**التمويه القابل للتعديل**
الأكثر إثارة للاهتمام هو نموذج الخصوصية "التلاشي والظهور" الذي تم تحقيقه في المشروع. على عكس الخيار الثنائي الشفاف بالكامل أو المجهول بالكامل، يسمح هذا النظام للمستخدمين بضبط مستوى الكشف عن المعلومات بشكل ديناميكي. مثل ارتداء المعاملات لسترة اختفاء قابلة للبرمجة - يمكنك أن تقرر كم تريد أن تكشف.