@Dusk بحثت عمّا يحدث فعليًا عندما تفشل عملية التحقق من برهان صِفر-معرفة (Zero-Knowledge) الخاص بـ Phoenix، لأن معظم الشروحات تتوقف عند "يتم التحقق من البرهان" فقط.
تؤكد بنية Dusk أنّ البرهان يجب أن يُظهر خصائص معيّنة معًا — ملكية الملاحظة التي يتم إنفاقها، سلامة الرصيد عبر المدخلات والمخرجات، وعدم وجود إنفاق مزدوج — وكل ذلك مُشفّر داخل البرهان نفسه، وليس مُتحققًا عبر فحوصات جانبية منفصلة. $DUSK
هذه هي النقطة التي تستحق التوقف عندها. إذا لم تتحقق أي واحدة من هذه الخصائص، يفشل البرهان بالكامل كوحدة واحدة. لا توجد مسار "جزئي" حيث تمر فحوصات الرصيد لكن تفشل الملكية بصمت.
تتبعت ما يعنيه ذلك عمليًا: يعني رفض البرهان أن المعاملة لا تُدرج أصلًا. وقت التشغيل لا يحاول إنقاذها أو معالجتها جزئيًا. ببساطة، المعاملة لا تحدث، ولا يتم تسجيل أي شيء عن المحاولة الفاشلة كتغيير في الحالة. #dusk
ما لم أتحقق منه من المواد الخاصة بـ Dusk هو ما إذا كان البرهان الفاشل يترك أي أثر في سجلات الـ mempool يمكن لمشغّل العقدة فحصه لاحقًا، أم أنه يُرفض دون أي سجل تشخيصي على الإطلاق.
الشيء التالي الذي سأتأكد منه: هل تُظهر أدوات محفظة Dusk الحالية سببًا محددًا لفشل البرهان، أم تكتفي برفض عام، لأن هذا الفرق مهم جدًا لأي شخص يحاول فعلًا تصحيح/إصلاح معاملة لم تمر.
#dusk $DUSK @Dusk
تؤكد بنية Dusk أنّ البرهان يجب أن يُظهر خصائص معيّنة معًا — ملكية الملاحظة التي يتم إنفاقها، سلامة الرصيد عبر المدخلات والمخرجات، وعدم وجود إنفاق مزدوج — وكل ذلك مُشفّر داخل البرهان نفسه، وليس مُتحققًا عبر فحوصات جانبية منفصلة. $DUSK
هذه هي النقطة التي تستحق التوقف عندها. إذا لم تتحقق أي واحدة من هذه الخصائص، يفشل البرهان بالكامل كوحدة واحدة. لا توجد مسار "جزئي" حيث تمر فحوصات الرصيد لكن تفشل الملكية بصمت.
تتبعت ما يعنيه ذلك عمليًا: يعني رفض البرهان أن المعاملة لا تُدرج أصلًا. وقت التشغيل لا يحاول إنقاذها أو معالجتها جزئيًا. ببساطة، المعاملة لا تحدث، ولا يتم تسجيل أي شيء عن المحاولة الفاشلة كتغيير في الحالة. #dusk
ما لم أتحقق منه من المواد الخاصة بـ Dusk هو ما إذا كان البرهان الفاشل يترك أي أثر في سجلات الـ mempool يمكن لمشغّل العقدة فحصه لاحقًا، أم أنه يُرفض دون أي سجل تشخيصي على الإطلاق.
الشيء التالي الذي سأتأكد منه: هل تُظهر أدوات محفظة Dusk الحالية سببًا محددًا لفشل البرهان، أم تكتفي برفض عام، لأن هذا الفرق مهم جدًا لأي شخص يحاول فعلًا تصحيح/إصلاح معاملة لم تمر.
#dusk $DUSK @Dusk