تیمهای Tachyon، Valar Group و ZODL دارن پول شیلدد جدید Ironwood رو اثبات فرمال میسازن — نه فقط audit دستی.
این یعنی به زودی ثابت میشه مدار zk-SNARK هیچ باگ counterfeiting غیرقابلکشفی نداره، نه اینکه بگیم «تا الان چیزی پیدا نشده».
اثبات فرمال یعنی بهجای اینکه بیان بگن «کدمون رو چک کردیم و چیزی پیدا نکردیم»، با روشهای ریاضی ثابت بشه که یه سیستم تحت هیچ شرایطی نمیتونه اون رفتار خاص رو داشته باشه!
این دقیقاً همون trade-off تاریخی پول خصوصی بوده: پیچیدگی ریاضی بالا = ریسک باگ پنهان بالا.
خلاصه اون باگی که بخاطرش زیکش ۶۰ درصد ریخته بود به احتمال بالا دیگه وجود نداره ولی قیمت هنوز کل ریزش رو بر نگشته و اینجاست که فرصت شکل میگیره.
البته مخاطبین این کانال از قبل میدونستن که اون ریزش فرصت خرید بود و این خبر صرفا مهر تایید روی خریدشون هست.
https://x.com/tachyonzcash/status/2074453838510379410?s=46&t=GGmQ57XteJyHLT5TZLj8GA
