Project Tachyon(@TachyonZcash):Thanks to Tachyon's @MariusMargulus, the new zk-SNARK prover in Zakura (and also in @vizorwallet) is the first Zcash prover with a machine-checked Lean proof of statistical honest-verifier zero-knowledge. Read more:

Project Tachyon

@TachyonZcash

Project Tachyon for Zcash — Encrypted Money at Planetary Scale

Joined February 2026

3 Following 2.6K Followers

Project Tachyon@TachyonZcash

2026.09.12 00:31

Thanks to Tachyon's @MariusMargulus, the new zk-SNARK prover in Zakura (and also in @vizorwallet) is the first Zcash prover with a machine-checked Lean proof of statistical honest-verifier zero-knowledge. Read more:

183

Forward to community

Most Popular Users

774K Followers

111.9M Followers

241.7M Followers

1M Followers

6.3M Followers

4.2M Followers

5.4M Followers

3.4M Followers

198.3K Followers

2M Followers

472.4K Followers

1.8M Followers

2.1M Followers

1.8M Followers

569.2K Followers