Josh Swihart 🛡 on X: "Never Again." / X
To view keyboard shortcuts, press question mark View keyboard shortcuts Home Explore Notifications Chat SuperGrok Premium+ Bookmarks Creator Studio Articles Profile More Post Nick Matthew @nickjmatt Article See new posts Conversation Josh Swihart @jswihart Never Again. 54 127 672 176K Today, @ShieldedLabs suggested that the community explore a second Zcash Orchard pool, in light of the recent fix to a counterfeiting vulnerability in the existing Orchard implementation. A second Orchard pool could, in principle, be targeted for NU7 at the end of July. I am not taking a fixed position on whether we should build a second Orchard pool. The more interesting question is how we ensure that vulnerabilities never happen again. The best answer is formal verification, as Sean posted earlier. For the layperson, here is what that means. A shielded Zcash transaction includes a proof that it followed the protocol's rules, as defined in the rulebook (the circuit) that defines what constitutes a valid
Today, @ShieldedLabs suggested that the community explore a second Zcash Orchard pool, in light of the recent fix to a counterfeiting vulnerability in the existing Orchard implementation. A second Orchard pool could, in principle, be targeted for NU7 at the end of July. I am not taking a fixed position on whether we should build a second Orchard pool. The more interesting question is how we ensure that vulnerabilities never happen again. The best answer is formal verification, as Sean posted earlier. For the layperson, here is what that means. A shielded Zcash transaction includes a proof…
saved by
related reading
- Nockchain: Hard Money Secured by the Protocol for Compute Networksyoutube.com
- Understanding Jolt: Clarifications and reflections - a16z cryptoa16zcrypto.com
- Explaining Halo 2 - Electric Coin Companyelectriccoin.co
- Possible futures of the Ethereum protocol, part 2: The Surgevitalik.eth.limo
- Counterfeit Bug in Zcash found via Opus 4.8chamath.substack.com
- A shallow dive into formal verificationvitalik.eth.limo
- 0xPARC0xparc.org
- Intern Breakdown #4: Zero-Knowledge Proofsinternbreakdowns.substack.com
- GitHub - stealthdrop/stealthdrop: Anonymous Airdrops using ZK-SNARKsgithub.com
- Thinking in Zero Knowledge — yush_gmirror.xyz
- Technical explainer: Halo on Zcash - Electric Coin Companyelectriccoin.co
- ZK Email + ZK JWTs - #2 by vivboop - General - zk researchzkresear.ch