We can formally verify Zcash's shielded protocol so that the concern you're worried about -- the unique class of supply integrity vulnerabilities -- is actually *impossible.* (It mathematically reduces directly to the cryptographic assumptions.)
It's something we can probably do within weeks for our *existing* protocol, because the theorems are very simple and the proofs don't have to be written or checked by humans anymore... I think this more than satisfies the concern.
I've actually been talking about this for Zcash for a long time now! I've been blogging about it for nearly a year, we hired experts 6 months ago to help us formally verify our upcoming Zcash upgrade, it was the main focus of a post of mine last month... It's just that nobody really gives a shit about high assurance cryptography until there's a bug.
https://t.co/cYUPc5QB8T
@paulbrigner Itâs weird to see people speeding fud now because of something that was already in motion since mid 2024.
And yes, youâre 100% right, Iâve been saying the same thing since this « privacy coin ban » was announced.
Anecdotally, I met a zcasher, who looked me dead in the eye with 100% confidence, and told me they were prepared to go down with the ship.
You just donât see that belief anymore.
Weâre adding Zcash coinholder polling in @zodl_app with the first poll targeted for June.
Soon, anyone using Zodl will be able to share their opinion on the direction of the Zcash protocol by voting their coins. The voting protocol will also be available for integration with other shielded ZEC wallets.
The draft questions and timetable for the Zcash Network Upgrade 7 (NU7) poll are available here:
https://t.co/V1IIB4ZXcE
Thanks to @zkDragon and his team for all their work building and helping us integrate the new voting protocol.