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:
显示更多
