Josh Swihart

AI Is Helping Discover Tech Vulnerabilities—And Zcash Is Just the Latest Example

i think "formal verification is not a silver-bullet cuz specs are hard" is a terminal-stage midwit take — theorem statements are ~3 OOM smaller than implementations e.g. zcash bug was something that was obviously breaking the implicit spec

Zcash has broken Bonnie Blue's record of fucking over 1057 men in 24 hours

zcash hype boys have been harping for months about bitcoin being broken because in 5 years, if unfixed, an attacker could steal 5% of the supply from satoshi same zcash hype boys are now yelling “don’t worry about the bug, it’s not infinite inflation, worst case scenario an attacker can steal 25% o

CZ Silence, Strong U.S. Jobs Data, and Zcash Vulnerability Fuel Bitcoin Drop Below $61K

🚨 NEW: Winklevoss twins back Zcash after bug scare. https://t.co/ROxQludiIx

Pacifica ZEC Fee Slash Is Here! 🌊 zcash:native is down 50% from ATH... Here, have a 50% fee discount. - Ends: June 12th at 14:00 UTC Just trade ZEC like you always do and save on fees: https://t.co/QaL2KFrqYx https://t.co/oywTVzj2wr

the only people who aren't serious are those making false equivalences i) quantum IS a risk. zcash having a potential issue doesn't make this untrue. and the risk of quantum isn't just moving satoshi's funds, it's *anyone who has exposed public keys* ii) supply auditability in a privacy protocol I

Zcash dropped 25% on an exploit nobody caught for 4 years. How'd they find it? @graminitha1: a researcher pointed Claude Opus 4.8 at the code and it surfaced the bug instantly — the 4.7 model found nothing. @_dsencil https://t.co/csEtpmlEaz https://t.co/fSPcAto1VT

I looked into ZCash's turnstile "solution" and its fucking nuts to even call this a "solution". The whole point of the turnstile is to cap how many coins can leave a shielded pool so nobody can inflate the supply. But if the attacker manages to withdraw their funds first, hitting the cap before eve