ZecHub
الأبحاث
استكشاف المعرفة الصفرية · الخصوصية · التشفير
🔎
سلسلة التحقق الرسمي من Zcash
سلسلة من ثلاثة أجزاء تشرح التحقق الرسمي من المبادئ الأولى، وتستعرض خلل سلامة Orchard لعام 2026، وتبيّن كيف عالجه Ironwood ببرهان رياضي تم التحقق منه آليًا.
Formal VerificationOrchardIronwoodProtocol Security
Research
ما هو التحقق الشكلي؟
Introduction to proving software correct instead of only testing it.
Research
خطأ Orchard: عندما يحتوي نظام إثبات على ثغرة
Case study of the 2026 under-constrained Orchard circuit.
Research
Ironwood: إثبات أن المال لا يمكن تزويره
How Zcash answered the Orchard bug with a machine-checked proof.