هوسكينسون يطلق كتابًا من 337 صفحة عن إثباتات المعرفة الصفرية

أصدر تشارلز هوسكينسون دليلًا مجانيًا من 337 صفحة حول إثباتات المعرفة الصفرية على GitHub، مستهدفًا مطوري تقنية الخصوصية في Midnight والبناة في مجال ZK.

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

شارك مؤسس كاردانو وIOG الإصدار على X كـ @IOHK_Charles، مؤكدًا أن الكتاب بعنوان “خدعة السبع طبقات السحرية: دليل كامل لأنظمة إثبات المعرفة الصفرية.” نشر هوسكينسون ذلك قبل يومين. يحتوي المستودع بالفعل على ملف PDF الكامل، ومصدر Markdown، وخط أنابيب البناء في مكان واحد.

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

ما هو موجود بالفعل في 337 صفحة

أربعة عشر فصلًا. ثلاثة أجزاء. حوالي 5,280 سطر من Markdown قبل أن يصبح PDF.

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

تلك القسم حول لغات البرمجة ليس قراءة عادية. يشير هوسكينسون إلى ما يسميه مشكلة الدائرة غير المقيدة - المسؤولة عن 67% من ثغرات ZK في العالم الحقيقي. هذه النسبة وحدها تجعل الجزء الثاني يستحق الوقت لأي مطور يعمل بالقرب من أنظمة ZK.

يتناول الجزء الثالث الصورة الأكبر. تحليل كامل للثقة مع سبع سيناريوهات فشل، مقارنة مشهد zkVM، تحليل السوق عبر ستة قطاعات، وسبع أسئلة بحث مفتوحة. لا حلول نظيفة. فقط الأسئلة الصعبة التي لم يرد عليها المجال.

توجد دراسة حالة حول Midnight داخل الجزء الثالث. ليست مجرد هامش - إنها فصل كامل.

الحجة المركزية للكتاب

إثباتات ZK لا تلغي الثقة. إنها تكسرها إلى سبع قطع أضعف.

كل قطعة قابلة للاختبار بشكل مستقل. كل واحدة قابلة للاستبدال بشكل مستقل. كل واحدة يمكن أن تفشل بشكل مستقل. تلك التحليل، كما يجادل هوسكينسون من خلال README المستودع على GitHub، هو الخدعة الفعلية التي تؤديها التكنولوجيا - ليست سحرًا، بل تقليل منظم للمخاطر إلى أجزاء يمكن إدارتها.

الفصلان 2 و10 هما ما يسميه الجدران الحاملة. يتعامل الفصل 2 مع الإعداد. يعمل الفصل 10 على تحليل الثقة بالكامل. تخطي هذين الفصلين يجعل بقية الكتاب تفقد أساسها.

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

Midnight هو السياق الحقيقي هنا

لقد وضع هوسكينسون Midnight كطبقة خصوصية عبر السلاسل مبنية على كاردانو، باستخدام تشفير المعرفة الصفرية كعمود فقري عبر Bitcoin وXRP وغيرها من الشبكات. قاعدة المطورين التي لا تفهم أساسيات ZK لا يمكنها البناء بثقة على تلك البنية التحتية.

يجعل هذا السياق من هذا الكتاب استثمارًا تقنيًا مباشرًا في مستقبل Midnight. ليس تسويقًا. أساس تقني من 337 صفحة لمن يظهر لبناء.

يمر الكتاب من خلال مثال واحد لتثبيت النظرية. إثبات Sudoku بحجم 4×4 يمتد من البرنامج إلى الشاهد إلى القيود إلى شهادة مختومة عبر كل طبقة. تم تتبع حساب واحد طوال الطريق. إنه من النوع الذي يفصل بين الكتب المكتوبة للإعجاب والكتب المكتوبة للتعليم الفعلي.

تزداد النقاشات حول ثقة ZK وموثوقية المؤسسات في الفضاء. دفع مؤسس zkSync مؤخرًا بقوة ضد النقد العام لـ Canton حول أمان إثبات ZK في التمويل المؤسسي - مجادلًا بأن الهياكل الطبقية تكتشف الفشل قبل أن تنتشر. تتناول إطار تحليل الثقة لهوسكينسون في الفصل 10 نفس الفئة من الأسئلة من زاوية مختلفة.

مجاني، مرخص، وجاهز للبناء عليه

الملف PDF الكامل متاح على github.com/CharlesHoskinson/sevenlayer. مرخص بموجب Creative Commons Attribution 4.0 International. الاستخدام التجاري مسموح. الشرط الوحيد هو الائتمان.

تم بناء PDF للشاشات. وضع مظلم، عناوين Outfit، تمييز بناءً على بنية مخصصة، تدرجات اللون الأزرق إلى الأرجواني. غير مُحسّن للطباعة. تم تضمين الشيفرة المصدرية لبنائه بنفسك - Python، Pandoc، XeLaTeX - في نفس المستودع.