Zcash تُنجز إثبات التحقق من Ironwood لمواجهة أخطاء التزييف التي يرتكبها المقلدون

أكمل باحثو Zcash، يوم الثلاثاء، التحقق الرسمي من Ironwood، ونشروا برهانًا يتم التحقق منه آليًا يثبت أن تجمع الإخفاء الجديد في الشبكة لا يحتوي أخطاء تزوير غير قابلة للكشف في ظل افتراضاتها التشفيرية المعلنة. وقالت Project Tachyon إن البرهان يضمن ألا يقوم تجمع الإخفاء بدفع قيمة أكبر مما تم إدخاله فيه علنًا. تم تقديم Ironwood عبر ترقية NU6.3 في Zcash، ردًا على ثغرة اكتُشفت في تجمع الإخفاء Orchard الخاص بها، كانت قد تُمكّن نظريًا من تزوير ZEC غير قابل للكشف.

Project Tachyon Publishes Lean-Based Proof With 2,700+ Theorems

قالت Project Tachyon، يوم الثلاثاء، إن البرهان المكتوب بلغة البرمجة Lean يتألف من أكثر من 2,700 نظرية، وقد استغرق تنفيذه أكثر من شهر لإتمامه بواسطة ثلاث فرق من الباحثين وخبراء التشفير. يرسّخ هذا العمل خاصية أمنية تُعرف باسم سلامة الرصيد، ومصممة لضمان ألا يقوم تجمع الإخفاء بدفع قيمة أكبر مما تم إدخاله علنًا فيه.

Verification Covers Zero-Knowledge Proof System and Circuit Rules

قال الباحثون إن البرهان يغطي المكونات اللازمة لتحقيق تلك الخاصية، بما في ذلك نظام الإثباتات عديمة المعرفة لدى Ironwood وقواعد الدارات والمحاسبة على مستوى دفتر الأستاذ. ولا يغطي البرهان ضمانات الخصوصية المنفصلة لدى Ironwood.

Ironwood Responds to Orchard Shielded Pool Vulnerability

تم تقديم Ironwood عبر ترقية NU6.3 في Zcash، ردًا على ثغرة اكتُشفت في تجمع الإخفاء Orchard الخاص بها، كانت قد تُمكّن نظريًا من تزوير ZEC غير قابل للكشف. قال مطورو Zcash إنهم لم يجدوا أي دليل على استغلال هذه الثغرة. وقد صُمم التجمع الجديد لاستعادة الثقة في سلامة إمدادات Zcash.

Turnstile Mechanism Blocks Hypothetical Excess Coins From Ironwood

يجب أن تمر الأموال التي تنتقل من Orchard عبر نقطة تدقيق محاسبية عامة تُعرف باسم turnstile، وهي مصممة لمنع أي عملات فائضة افتراضية من الدخول إلى Ironwood. ومع خروج الأموال من Orchard، يمكن أن تتيح العملية أيضًا أدلة متزايدة حول ما إذا كان التجمع القديم قد تم استغلاله.

FAQ

What did Zcash researchers complete on Tuesday? أكمل باحثو Zcash، يوم الثلاثاء، التحقق الرسمي من Ironwood، ونشروا برهانًا يتم التحقق منه آليًا يثبت أن تجمع الإخفاء الجديد في الشبكة لا يحتوي أخطاء تزوير غير قابلة للكشف في ظل افتراضاتها التشفيرية المعلنة.

Why was Ironwood introduced through Zcash's NU6.3 upgrade? تم تقديم Ironwood عبر ترقية NU6.3 في Zcash، ردًا على ثغرة اكتُشفت في تجمع الإخفاء Orchard الخاص بها، كانت قد تُمكّن نظريًا من تزوير ZEC غير قابل للكشف. وقد صُمم التجمع الجديد لاستعادة الثقة في سلامة إمدادات Zcash.

What is the turnstile mechanism in Ironwood? turnstile هي نقطة تدقيق محاسبية عامة يجب أن تمر عبرها الأموال التي تنتقل من Orchard. وهي مصممة لمنع أي عملات فائضة افتراضية من الدخول إلى Ironwood.