Project Tachyon
@TachyonZcash
Project Tachyon for Zcash — Encrypted Money at Planetary Scale
3 Following 2.6K Followers
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:
Show more
Tachyon's recursive proofs use the same IPA-based polynomial commitment schemes over the Pasta curves that Ironwood uses in Zcash today.
We've shipped several optimizations to Zakura that will also be useful for Zcash right away, even before Tachyon is live.
Here's another:
Show more
Together with @zodl_co, @ZcashFoundation, @ValarGroup and @ShieldedLabs, we're advocating for a network upgrade that would make ZEC's circulating supply auditable, providing additional reassurance that no counterfeiting occurred in the Orchard pool before this week's bugfix.
Show more
Tal (@MariusMargulus) gave a talk on Project Tachyon and Ragu at zkSummit in Rome.
The presentation explored recursive proving, oblivious synchronization, shielded aggregation, and the architectural primitives designed to scale shielded Zcash toward planetary scale privacy.
Show more
We're using every tool at our disposal to ensure that Zcash's next shielded pool meets the high security expectations of our users. This includes formal verification, extensive fuzzing, detailed documentation, and continuous AI-assisted auditing.
Show more
