Project Tachyon
@TachyonZcash
Project Tachyon for Zcash — Encrypted Money at Planetary Scale
参加 February 2026
4 フォロー中 3.1K ファン
We hired @zksecurityXYZ to audit Ironwood's formal verification. Rather than looking for security bugs, they tried to *add* bugs to see if the formal verification could catch them!
Here's our summary, along with the report:
もっと見る
