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

Pinned

I am a professional cryptographic engineer. I regularly open my Calculator app to check that 32 * 8 still equals 256.

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.

hailey@hailey.at

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.

hailey@hailey.at

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.

emudhra.we-have-a-problem.comeMudhra Intermediate CA CompromiseeMudhra Intermediate CA Compromise
Filippo Valsorda@filippo.abyssdomain.expert

🚨 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.

Filippo Valsorda@filippo.abyssdomain.expert

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.

Me at 1am: "Wow, the twins have slept for 5 hours straight, this is great! Time for their mid-night feed." Next three hours: if I'm not bouncing them, they are wide awake.

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.

words.filippo.io(Post-Quantum) Cryptographic Right AnswersIn the tradition started by Colin Percival and Thomas Ptacek, a set of “Cryptographic Right Answers” updated for the accelerated post-quantum transition timeline.

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.

Ed@ed3d.net

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.

Optimist: The cup is half full Pessimist: The cup is half empty Cryptographic engineer: Your RNG is broken, that's not a uniform distribution.

This post is unavailable.

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.

Orin Kerr@orinkerr.bsky.social

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.

Drew Harwell@drewharwell.com

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

Film you've watched more than six times with a gif. Hard mode: no Star Trek, Star Wars, LOTR, Marvel, Disney, or Ghibli.

🎃FEAR-nando ~ Spooky Story Artist@botsandmagic.bsky.social

Film you've watched more than six times with a gif. Hard mode: no Star Trek, Star Wars, LOTR, Marvel, Disney, or Ghibli.

luv 2 think I'll make a quick release of a project with a new feature, and instead end up having to cut multiple bugfix releases as I find things I missed several years ago 🫠

My Raspberry Pi Tailscale exit node is not routing. I can't SSH in because I don't remember its password, and I don't remember which laptop I set it up from (for pubkey access). I can't change the password in the CLI because I can't find my micro HDMI adapter. Guess I'm reflashing it yet again! 🫠

I eventually found my micro HDMI cable, so I went the route of flashing a new SD card, booting to that, mounting the NVMe drive I normally use, and modifying its password. And then I looked at /etc/passwd and realised I'd been trying the correct password but typo-ing the username 🙃

That was fun! I've played similar games before but not that allowed using letters multiple times; that took a bit for my brain to route through.

Hank Green@hankgreen.bsky.social

OK everybody...still working out some kinks but... A new daily game, with boards written and edited by John Green. hankgreen.com/smush

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.

Steve Klabnik@steveklabnik.com

the "claude ported bun to #rustlang" post is finally up bun.com/blog/bun-in-...

It also depended *heavily* on Bun's existing large and comprehensive test suite, *in a different language* (Typescript, not Zig). The rewrite didn't need to touch the test suite (or its harness presumably), meaning there was no chance of AI-generated semantic drift in what the tests were enforcing.

What other codebases are likely to have: - Languages that would benefit from replacement. - Comprehensive test suites pinning down precise behaviour. - Commercial entities that can spend half-an-engineer yearly salary on a line item. Maybe the COBOL that still exists throughout the banking system?

Every time I think I'm getting a handle on the bounds of what an AI model can handle on its own, it makes a fuckup significant enough to force me to stop what it's doing and continue hand-holding it. And I have no idea whether or not this is due to the provider making their model dumber on the fly.

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).

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.

Ed@ed3d.net

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

Duncan Weldon@duncanweldon.bsky.social

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.

Marisa Kabas@marisakabas.bsky.social

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?)

Matthew Green@matthewdgreen.bsky.social

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".

Bluesky@bsky.app

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.

Muting it, but otherwise leaving it up as a honeypot for bad AI takes about my AI take being bad.

Claude has successfuly convinced me that it is unsafe to use for large projects. It reads skills / user instructions at the start of the session, but once the project itself is in context, there is enough pressure even with 1M context that it is reliably forgetting both the skills and instructions.

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.