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:
더 보기
