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
- Post-Quantum Zcash with Daira-Emma Hopwood - ZconVI #zcashyoutube.com
- Explaining Halo 2 - Electric Coin Companyelectriccoin.co
- Counterfeit Bug in Zcash found via Opus 4.8chamath.substack.com
- Should Ethereum be okay with enshrining more things in the protocol?vitalik.eth.limo
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineeringblog.cryptographyengineering.com
- Technical explainer: Halo on Zcash - Electric Coin Companyelectriccoin.co
- A shallow dive into formal verificationvitalik.eth.limo
- Assessing Claude Mythos Preview’s cybersecurity capabilities \ Anthropicred.anthropic.com
- Escaping the Dark Forestsamczsun.com
- placeholder-bitcoin.pdfallocin.it
- ZK-proof Total Value Locked oracle - Proposals - Lido Governanceresearch.lido.fi