مشكلة المظروف المختوم: التحقق دون كشف تطرح مشكلة العامليين البيزنطيين السؤال التالي: كيف يمكن للأشخاص الذين لا يثقون ببعضهم البعض التوصل إلى اتفاق حول سجل مفتوح؟ كيف نصل إلى توافق دون ثقة؟ إلى جانبه توجد معضلة مجاورة ومستقلة: كيف يمكن لشبكة غير موثوقة فرض قواعد معاملة لا يُسمح لأي من أعضائها برؤيتها؟ هذه هي مشكلة المظروف المختوم—البارادوكس المفاهيمي الذي حله المال ذو الصفر معرفة. بعدان من الثقة الموزعة يتحكم البيتكوين وزكاش في طبقتين منفصلتين من الأنظمة الموزعة: * تتحكم مشكلة العامليين البيزنطيين في الترتيب: كيف توافق العقد غير الموثوقة على أي المعاملات حدثت، وفي أي ترتيب؟ * تتحكم مشكلة المظروف المختوم في الصلاحية: كيف تتحقق هذه العقد من أن المعاملة المخفية قانونية وسلسة وخالية من التضخم دون فحص محتواها؟ حل البيتكوين مشكلة التوافق المفتوح بجعل سجله بالكامل شفافًا. كل عقد تُجري مراجعة مستقلة للسجلات: تتبع المخرجات، وجمع الأرصدة العامة، والتحقق من التوقيعات. يعمل البيتكوين لأن كل مشارك يقرأ نفس الصفحة: * البيتكوين: كيف نتفق على دفتر حسابات مفتوح يمكن للجميع مراجعته؟ $BTC * زكاش: كيف نثبت توازن الدفتر عندما تكون بنوده مخفية؟ يحدد التوافق أي مظروف وصل أولًا؛ أما مشكلة المظروف المختوم فتسأل كيف يمكن لحشد عدائي إثبات أن المظروف ليس مزيفًا. $ZEC سوق سمرقند تخيل تقاطعًا قديمًا على طريق الحرير يختلط التجار من إمبراطوريات متنافسة تحت القباب المقوسة: تجار حرير سغديون، وصرافون فرس، ومسافرون فينيسيون. لا يشتركون في حاكم مشترك، ولا يتحدثون لغات متشابهة، ويشعر كل منهم بالشك تجاه الآخر. يلتقي اثنان من الغرباء المُغطين في وسط الساحة. أمام عيون الحشد وحراس المدينة، يُسلّم أحدهما للآخر مظروفًا مختومًا بالشمع. لا يُسمح لأحد بفتحه. ولا يُسمح لأحد بمعرفة من أرسله، ومن استلمه، أو أي عملة سابقة يمثلها، أو قيمته. لا يوجد وزير عظيم موثوق أو مدقق إمبراطوري يفحص المحتوى سرًا. لكن يجب أن يكون الحشد المشكك قادرًا رياضيًا على رفض المعاملة إذا: * العملة داخل المظروف غير موجودة. * المرسل لا يملك الحق الشرعي في إنفاقها. * تم إنفاق العملة سابقًا في كارفانسراي آخر أمس. * النقل يزيد العرض النقدي عن طريق تزوير عملات جديدة من الهواء. يبقى الشمع سليمًا. ويبقى المحتوى مخفيًا. ومع ذلك، يتحقق كل تاجر في السوق بشكل مستقل من أن قوانين النظام النقدي قد حُرِصَت عليها بدقة. تاريخيًا، جمعت التجارة المادية بين خاصيتين مختلفتين: معرفة المعاملة ومعرفة صحتها. تحصل المراجعة التقليدية على الثانية من خلال الاستيلاء على الأولى: تلعق الذهب، تحصي العملات، تراجع دفتر الحسابات الخاص بالتاجر، أو تثق في دار سكّ إمبراطورية قامت بذلك. تقطع التشفير ذو الصفر معرفة هذا الربط. لا يحتاج المدقق إلى الحقائق الأساسية. بل يحتاج فقط إلى إثبات رياضي موجز يثبت أن هذه الحقائق المخفية تتوافق مع قيود البروتوكول. التوافق والكشف الاسم يصف القيود وليس التكنولوجيا. فالتجزئة العادية تخفي الرسالة فقط، مما يجعلها غير قابلة للتحقق. إن المشكلة النقدية الأصعب هي السماح لمجموعة غير موثوقة وعادية بمراجعة الحالة المخفية. تقف الركيزتان الأساسيتان للعملة اللامركزية جنبًا إلى جنب: * العامليون البيزنطيون: توافق دون ثقة. * المظروف المختوم: تحقق دون كشف. توفر مقاومة الأخطاء البيزنطية خط زمني عام غير قابل للتغيير، بينما تفرض أدلة الصفر معرفة الصلاحية الخاصة. أثبت البيتكوين أنه يمكن للغرباء الحفاظ على تاريخ نقدي دون الثقة في سلطة مركزية. وأثبت زكاش أنه يمكن لهذا التاريخ فرض الحفاظ النقدي دون طلب جعل كل حياة خاصة ملكًا عامًا. علم البيتكوين السوق أن توافق على دفتر مفتوح. وأثبت زكاش أن الدفتر متوازن دون فتح الصفحات.