Late last year, we decided to use simpler and more conservative cryptography for Tachyon to reduce the chance of bugs. Earlier this year, we hired @zksecurityXYZ to help configure our circuits for formal verification.
Zcash's future shielded pools will all be provably sound.
As we blogged about last month, the new shielded pool we're developing for Zcash will use formal verification, more conservative cryptography, a simple arithmetization, robust APIs, fuzzing, and extensive auditing from humans and AI.
And much more: https://t.co/H3bwCnzuLY
"Vitalik writes an article saying I'm not in charge anymore, don't look at me. And then everyone in Ethereum is like, oh my God, such a great article, I can't wait for him to write something next"
David on why Vitalik can't escape being Ethereum's leader even if he wants to
"It's a trap. Everyone just loves and follows Vitalik and he doesn't even want that. He just wants to be some guy who doesn't want this responsibility"
"It's hard to stop being Jesus, I guess. Jesus is Jesus, dude"
Tachyon redesigns the architecture of shielded payments by separating cryptographic state from payment logic.
One layer focuses purely on SNARKs, encryption, and recursive proofs, the other evolves around addresses, UX, and key exchange.
@MariusMargulus on why that matters.
Zcash Quantum Recoverability ZIP 2005 merged as Proposed.
Our first major buffer against quantum soundness problems is now headed toward wallet integration. As wallets update to support the ZIP, user funds will migrate.
No network upgrade necessary for this step.
Here are the full five minutes from @zooko's talk at @ns, including the private conversation with his friend Hal Finney shortly before Hal passed away.
Our earlier clip missed context. That's on us.
Zcash wouldn't exist without @zooko. He seeded the technical and cultural values of the project that have kept us vigilant in defense of its integrity.
Much of Zcash's recent success has been because Zooko plays a less central role in the project, and it has decentralized and grown to transcend him. I think he would agree! But he is still a major spiritual force of the project, and an ally that wants it to succeed.
Let's be mindful of the signal we send our next generation of risk takers, by how we treat his legacy. Zcash has a long road ahead of it, and no single one of us can carry it across the finish line.
We're all liable to end up in @zooko's shoes one day. You do not want to be on the receiving end of the poetic justice served for the things you said when you were once on the winning team.
Zcash Quantum Recoverability security proofs got agreed upon Wednesday, and now the PR's are in.
Whose going to be first to test out quantum recoverability on mainnet 👀
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.
Our team is very grateful for @zksecurityXYZ’s research and tooling for building secure cryptographic software, including formal verification, fuzzing, and extensive auditing expertise.
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.