زی کش وارد مرحله جدید امنیتی شد!

🔹پروژه Zcash برای جلوگیری از باگ‌های مخفی و غیرقابل شناسایی که می‌توانند باعث ایجاد توکن‌های جعلی شوند، به سمت استفاده از تأیید رسمی (Formal Verification) روی آورده است.

🔹این اقدام با هدف افزایش امنیت پروتکل و جلوگیری از آسیب‌پذیری‌های پیچیده در آینده انجام می‌شود.