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

saved by

• Information Flow