Project Tachyon(@TachyonZcash):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:

Project Tachyon

@TachyonZcash

Project Tachyon for Zcash — Encrypted Money at Planetary Scale

Joined February 2026

4 Following 3.1K Followers

Project Tachyon@TachyonZcash

2026.10.05 17:54

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:

115

Forward to community

Most Popular Users

998.1K Followers

957.1K Followers

6.3M Followers

346.7K Followers

1.2M Followers

578K Followers

The Wall Street Journal

22.3M Followers

1.1M Followers

504.5K Followers

2.8M Followers

672.9K Followers

2.7M Followers

241.4M Followers

3.4M Followers

5.5M Followers