Project Tachyon
@TachyonZcash
Project Tachyon for Zcash — Encrypted Money at Planetary Scale
参加 February 2026
3 フォロー中 2.6K ファン
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:
もっと見る
