Pinned
str👻d
str👻d
@str4d.xyz
Cryptography, privacy, zero knowledge, Rust, Zcash dev, gaming, hardware hackery, art appreciation. He/him. age18f63qx4gk8x7p4lfuwwglqcan7snvp406q5vmk26g9fmpe9c799qqzzr3w
16.9K followers474 following3K posts
Yes. The code I ship has a significant risk of user-loss-of-funds from a bug in the wrong place. It remains negligent to develop critical consensus or wallet code solely with AI output and review. Even with the model improvements this year, it's insufficient assurance for a strong security posture.
new poll: do you still even look at the code?
This is why in my job area (cryptographic protocols) I'm trying to apply LLMs in ways that are self-reinforcing: Lean proofs, review pipelines, forcing precise specifications... If attacking is ~free, attack the spec or code as it is being written.
i think the assumption that LLMs are going to make software more stable and secure are basically for the foreseeable future outright false. LLMs are not producing more secure and stable code unless significant attention is paid to what they ship, which it generally is not. and attacking is ~free.
str👻d reposted
The macOS built-in curl, git, pip, python3, perl, ruby, and openssl all read /etc/ssl/cert.pem, which still has the emSign root, but they don't check revocation like Apple's Secure Transport libraries. This is, uh, a problem. git and pip especially. I added a short-term workaround to this page.
🚨 Six WebPKI Intermediate CAs are compromised. This is bigger than Heartbleed, but a client-side issue. Anything that verifies certificates against public roots, like most TLS clients, is/was affected. Details, live test, patched versions and workarounds at emudhra.we-have-a-problem.com Act now.
I would be very cautious about using non-browser tools over Tor right now, before confirming they are updated or rebuilt. For very good privacy reasons, DNS resolution is done at the exit node. But that means a malicious exit node can now trivially swap in malicious IPs for any TLS-secured service.
After the firefighting is done (and a nap) we'll need to have a long, serious conversation about the state of non-browser non-platform X.509 verifiers. The Linux status quo is "a pile of PEM files behind a dumpster" and that's not an acceptable excuse for a root store in 2026.
str👻d reposted
🚨 Six WebPKI Intermediate CAs are compromised. This is bigger than Heartbleed, but a client-side issue. Anything that verifies certificates against public roots, like most TLS clients, is/was affected. Details, live test, patched versions and workarounds at emudhra.we-have-a-problem.com Act now.
str👻d reposted
Publishing “Cryptographic Right Answers” for developers is a tradition by now. Colin Percival started in 2009, Thomas Ptacek followed up in 2015, and then Latacora carried on in 2018 and 2024. I put together a list updated for the renewed urgency of migrating to post-quantum algorithms.
The main reason I'd want Polytoken to be open-source at this stage is to figure out why certain things don't work. Fortunately, it has a /feedback command and a very responsive developer, so I can just keep throwing my observations in there instead and forget about them.
Yup, and I mean this (mostly) gently—people don't ask you to open-source stuff that isn't good. I don't think that a pile of no-effort PRs makes it better, and I don't think that forks because I don't take no-effort PRs benefit me. Source and continuance rights are available via commercial support.
str👻d reposted
str👻d reposted
Are you at DEF CON? Do you have a spare TV or monitor? Please let @dwangoac.tas.bot know. He needs one for the Game Hacking Village.
Excellent article, and very interesting to read. I find it amusing that this paragraph of Chatrie is "head-scratching" from a legal perspective, when to me (both as a regular user and a professional privacy engineer) this is a pretty straightforward way to map physical privacy onto digital privacy.
NEW: Here, finally, is my new draft article on the Supreme Court's Chatrie decision. I think the ruling is tremendously important to Fourth Amendment law—and here's why. papers.ssrn.com/sol3/papers....
str👻d reposted
If a technology *can* be abused, it *will* be abused. This goes doubly for those in positions of power. Technology policy can be difficult, but we should never lose sight of this fact.
New: We found 50 cops who misused Flock cameras and other license-plate readers for personal purposes, often to spy on their girlfriends or ex-wives. He "watched every single move I made. ... Who do you turn the chief of police in to?" wapo.st/3S6rTuo
str👻d reposted
Bob DyLean: A Framework for the Symbolic Analysis of Cryptographic Protocols in Lean (Théophile Wallez, Cas Cremers) ia.cr/2026/1493
str👻d reposted
The outcomes from this Rust rewrite that interest me: - Introduced 19 regressions, all now fixed. - Fixed 128 bugs that were present in the Zig version. - Cost $165,000 of API tokens, took 1 engineer 11 days. Not feasible for any open-source codebases, but *way* cheaper than 3 engineers for 1 year.
the "claude ported bun to #rustlang" post is finally up bun.com/blog/bun-in-...
str👻d reposted
Did anyone set up an image/video post labeller trained on Mango Mussolini's face (and his associated cabinet)? @aendra.com maybe you have leads (or know of XBlock derivatives)?
Interesting artifact of the way @bsky.app does embeds: because they are stored in the post itself (via an app.bsky.embed.external record), they don't change when the article itself changes (e.g. this article has been retracted).
SAM ALITO IS RETIRING: www.npr.org/2026/06/30/n...
I was *certain* the images in the quoted post were GIFs of an old CRT recording until I tapped them. @bsky.app you got a stylesheet bug somewhere, your gallery is vibing a bit too hard.
cigarettes were bad
str👻d reposted
Your periodic reminder that people are *more* abusive online when they're using their "real names" than when they're using a persistent pseudonym and this effect has been replicated in literally every study that has ever been done
I remain of the view that regulation of social media is better than a ban for young people. But I also pretty much agree with all these proposals.
It's 5:30am in the UK and I am still watching. This is my World Cup.
i hope media executives are taking note of the tens of thousands of people who for several hours on a friday night have stayed glued to livestreams of scaffolding being built just so they could witness his name getting knocked off a building
The privacy risks (very nicely outlined herein) are one of the core motivations for the personal assistant system I'm currently building for myself. That and I really want the hackability I get from a system I fully control (Per-task encrypted secrets? Seamless local models? Cyberdeck integration?)
I wrote a new post about the privacy risks of on-phone agents like Apple’s new Siri, and how private inference isn’t any sort of silver bullet. blog.cryptographyengineering.com/2026/06/09/a...
str👻d reposted
Replying to @sophieehill.bsky.social
"nudity today, political speech tomorrow" In five words, @signal.org has given a more trenchant critique of government surveillance tech than 99% of UK legislators, pundits, and NGOs.
Fun quirk: the app.bsky.embed.images Lexicon allows at most 4 images, so this post uses a new app.bsky.embed.gallery Lexicon without that restriction. The old app doesn't know about the new Lexicon, so it doesn't show any images. Would be nice to instead see "update your app to view this content".
v1.123 is live! You can now attach up to 10 photos in posts. We listened to your feedback and redesigned the photo carousel. It only appears for posts with at least 5 photos. Swipe through to learn more.
Been a while since I had a post escape containment. Normally when I wake up to the 30+ notifications icon, it's because @eprint.ing.bot is posting 😄
My main takeaway: I need to remember that LLMs are not typical computer tools. Normally when I encounter a failure mode, I can configure the tool or env to prevent it going forward. That simply doesn't work here, because everything you tell it in-band is just suggestions that it can and will ignore.
Ooh, another bad Claude Code permissions failure mode from @anthropic.com: requests are a stack (LIFO) instead of a queue (FIFO). You can be in the act of pressing Enter after reviewing a request, when another request takes over the permissions UI (frequent with ultracode), and steals the approval.