Zerodartz🛡

born in volatility as 0
encrypted finance + privacy vibe researcher
💻 @ZcashCommGrants

[Zerodartz🛡 @Zerodartz]

suddnly hoomans start carin bout privacy

[Aikido Security @AikidoSecurity]

⚠️ New "IronWorm" supply-chain attack: 30+ npm packages from @ asteroiddao shipped a malicious Rust binary firing on preinstall.

It sweeps 86 env vars + 20 credential files (AWS, GCP, Vault, npm, plus AI keys like Anthropic & OpenAI), hits Exodus wallets, hides behind an eBPF rootkit, and beacons over Tor. Self-propagates via npm Trusted Publishing OIDC, with backdated commits faked as claude/dependabot/renovate.

[Zerodartz🛡 @Zerodartz]

@lonelysloth_sec there wasnt a Zcash bounty during that time mostly i guess cause price was low and there wouldnt have been enough funding to pay multiple that big bounties.

[path.eth 🛡️ @Cryptopathic]

manifesting

[Zerodartz🛡 @Zerodartz]

@Cryptopathic damn dats art

[Zerodartz🛡 @Zerodartz]

mark ur calendars

[All day Astronomy @forallcurious]

GET READY🚨: Six planets will align and put on a show of our lifetime. Mercury, Venus, Jupiter and Saturn will be visible to the naked eye from almost anywhere, on July 17th.

[Zerodartz🛡 @Zerodartz]

wen u realize ct slowly turned into zt

[Zero-knowledge Audiovisual Club @ZkAv_Club]

Zcash Playlist Challenge Prize Pool = Minimum 3 ZEC

Highest scores will each get 1 ZEC. Prizes will be awarded until at least 3 ZEC has been distributed.

Ties are not broken, so more than 3 ZEC may be awarded if multiple participants share a winning score.

Details 🧵👇 @Zcash

[Zerodartz🛡 @Zerodartz]

likely more profitable than proof of work farms?

[botchedalism @botchedalism]

For anyone wondering what a mushroom farm looks like

[AccuWeather @accuweather]

A beekeeper went viral after calmly allowing a honey bee to remain on his arm as it worked its stinger free and flew away. 🐝

[binji @binji_x]

> be zcash
> one of the most carefully built privacy systems in crypto
> cryptographers, auditors, the actual best people in the field
> then, a bug surfaces
> it was sitting in two lines of code the whole time
> “looks obvious in retrospect”
> it always does
> this is not a zcash problem but a problem for every piece of software ever written
> smart people write code, smart people review it, but bugs ship anyway
> enter the doom take
> ai is now insanely good at finding bugs
> faster than humans, at scale
> “if machines find every bug then nothing is safe and trustless anything is dead”
> mfw the thing everyone is scared of is the thing that saves us
> enter formal verification
> instead of writing code and testing it
> you write down exactly what it should do, in math
> then you PROVE it, with a proof a computer checks
> been around since the 1950s
> not new
> testing only checks the cases you thought of
> the bug lives in the case you didnt
> a proof covers every possible input at once
> all of them
> if any input misbehaves the proof just fails
> you cant ship broken and not know
> the zcash bug under formal verification is not a subtle thing someone has to spot but a hole in the proof
> proof doesnt complete
> you find out BEFORE anything ships
> not 4 hours into a thread on a saturday
> “ok so why doesnt everyone do this”
> used to be slow and brutally hard
> lived in aerospace + chip design + nuclear
> writing proofs by hand = serious expertise + serious time
> then ai showed up
> plot twist
> the exact skill that makes ai scary on offense
> reasoning through huge amounts of low level detail fast
> is the skill that makes formal verification finally cheap
> ai writes the code AND the proof
> humans keep the one job that matters: deciding what “correct” means
> crypto cares more than anyone
> normal software patches the bug and moves on
> crypto code holds the money
> crypto code IS the rules
> being wrong is public and usually permanent
> highest stakes, worst margin for error, perfect fit for proving
> SO
> while the timeline argues about whether ai killed security forever
> some people are building for the other outcome via ai enhanced formal verification
> ai-assisted formal verification proven onchain can securely house ALL public software, this is the S in CROPS !!

[Zerodartz🛡 @Zerodartz]

@unibros @BitPaine 🫡😐

[Zerodartz🛡 @Zerodartz]

fr feels like dat

[Zpartan🛡 @Zpartanll7]

@Zerodartz

[Zerodartz🛡 @Zerodartz]

just so happens dis lil cash coin started tradfi bear market?

[Zoë @ZoeCatherineF]

Rule 1 of guerilla marketing: don't mention Web3.

Make it normal.

Working with @gnosis_ on a special event celebrating music, culture & creators.

June 18, Love Block at The Blockspäti.

[Zerodartz🛡 @Zerodartz]

@shieldedmark most likely

[Zerodartz🛡 @Zerodartz]

@NullFUD did he otc and who even bought 21m?

[Zerodartz🛡 @Zerodartz]

worst day might turn into
best day wen devs dev like madmen

[Sean Bowe @ebfull]

Really excited to audit the Orchard pool's supply with a very elegant and wonderful approach @ShieldedLabs suggested. More about that later today.

But it's funny that the whole time we're fixing it I'm going be paying bills etc. with my Orchard funds! I love it. 😆

[™³k @_tm3k]

financial markets dont work like how you think they do

[Zerodartz🛡 @Zerodartz]

well ofc the public defi chains are safe

just in a different way and
unsafe in other ways

[mk4 @mk4_lul]

if zcash can get exploited, what makes you think your copypasta defi protocol is safe?