Alex Mizrahi (@killerstorm) header
Alex Mizrahi (@killerstorm) profile picture

Blockchain tech guy, made world's first token wallet and decentralized exchange protocol in 2012; CTO ChromaWay / Chromia

Kyiv, Ukraine
Joined July 2008
Photo by Alex Mizrahi (@killerstorm)Photo by Alex Mizrahi (@killerstorm)Photo by Alex Mizrahi (@killerstorm)Photo by Alex Mizrahi (@killerstorm)Photo by Alex Mizrahi (@killerstorm)Photo by Alex Mizrahi (@killerstorm)Photo by Alex Mizrahi (@killerstorm)Photo by Alex Mizrahi (@killerstorm)Photo by Alex Mizrahi (@killerstorm)Photo by Alex Mizrahi (@killerstorm)
ECDSA digital signature scheme (used by Bitcoin, Ethereum, etc.) is based on algebraically structured problem which can be potentially broken either by sufficiently powerful quantum computer, or through mathematical breakthrough. No such attacks are currently known, but
Today I call upon the blockchain industry to calmly begin planning for "bunker mode". My personal recommendation is to set in motion a controlled mass migration of assets to fresh addresses, i.e. addresses whose pubkeys remain hidden behind a hash. Holders, starting with large and sophisticated ones, should consider moving the bulk of their funds to addresses that have never signed a transaction. And when they do sign one, they should also move remaining funds to a new address (possibly generated from the same seed phrase). Don't rush. While I believe there is cause for action a rushed migration would do more harm than good. Don't panic either. Moving assets to protected addresses is a simple, preventative step which does not require new cryptography or new wallets. IMO it is now reasonable to brace for the possibility that ECDSA breaks before qday, in the worst case in months not years. By "break" I mean fast private key recovery (e.g. in one week) on available hardware (e.g. a large GPU cluster). Recent days have been humbling for human mathematical intuition. Long-held, unquestioned hypotheses have fallen. This includes the n log(n) bound for integer multiplication and the 3SUM conjecture. In hindsight, May's unexpected disproof of the Erdős unit distance conjecture was our warning shot. Yesterday's OpenAI drop made it clear that mathematical superintelligence is upon us. They say there are weeks where decades happen. We are about to live through weeks where centuries of mathematical progress happen. Could our magic 64-byte ECDSA signatures be too good to be true? Was it just security through obscurity all this time? Elliptic curves feel especially vulnerable to superintelligence. Curves carry rich structure, with room for fancy tricks like Schoof, Frobenius, pairings. (By contrast, hashes are designed to minimise algebraic structure.) Separately, as Ewin Tang can attest, an efficient quantum algorithm sometimes foreshadows an efficient classical one. We should be open to the possibility of a classical counterpart to Shor that breaks elliptic curves and RSA at once. Also noteworthy is the striking under-representation of cryptographic breakthroughs among the 722 mathematical results OpenAI published. I've witnessed first-hand the US government censoring academic quantum cryptanalysis results. Backroom interventionism is my base case. I urge large, sophisticated actors to lead by example. Project11's "risq list" (bitcoin-risq-list.projecteleven[.]com) is a great tracker of exposed BTC pubkeys. Binance, Bitbank, Robinhood, Bitfinex, and Tether have an opportunity to harden their cold storage. Next month I'll address institutions in London in a live Q&A (forum.ethereuminstitutional[.]org/london-2026). Again, please do not rush. Wallets holding under 50 BTC enjoy partial cover from "Satoshi's shield", i.e. his 20K exposed addresses that hold 50 BTC each. Load-bearing signers like oracles and L2 security councils should consider rotating ECDSA pubkeys with every signed message and/or multi-signing with a hash-based schemes like SPHINCS. Exiting bunker mode safely will require post-AI cryptography. My inclination is to go all-in on hash-based cryptography and avoid structured mathematical assumptions entirely, whether from curves, lattices, or isogenies. A single battle-tested hash (e.g. from the SHA or BLAKE families) yields plausible post-AI security. The Ethereum roadmap on strawmap[.]org fully embraces hash-based cryptography with end-to-end formal verification as a response to the quantum threat. Those timelines must now be revisited and accelerated in light of mathematical superintelligence. I'll be pushing for maximum defensive acceleration.
1
2
11
750
In Chromia, we already conducted experiments with replacing ECDSA with a post-quantum signature scheme (CRYSTALS-Dilithium), which is relatively easy to do in Chromia as crypto system is pluggable. Now we will initiate a project to enable hash-based signatures to work
1
2
4
199
along with ECDSA to prepare for a situation where elliptic curve cryptography no longer considered secure enough.
1
129
Alex Mizrahi retweeted
"It's not going to be Uncle Fluffy" We knew Scott's reply was going to be a tour de force as soon as Pinker's article was published, and he does not disappoint. astralcodexten.com/p/an-open…
21
25
12
284
26,417
Bend aims to offer an interesting combination of formal verification and high performance. Might be good to integrate it into Chromia...
Bend 2 is here! It is a new programming language that blocks AI mistakes via *proof checking* - the same technique big AI labs used to solve open math problems, like Navier-Stokes. It is also very fast, and runs on GPUs. Watch the video. Link in the comments.
9
833
Alex Mizrahi retweeted
Replying to @ercwl
True. In my opinion, it might be a good opportunity for the leading labs to improve the product and get a strategic advantage: killerstorm.github.io/ai/202… I assume that there's a trade-off between "short-term RSI" and "long-term RSI".
1
1
3
231
Alex Mizrahi retweeted
26 LLM routers are secretly injecting malicious tool calls and stealing creds. One drained our client $500k wallet. We also managed to poison routers to forward traffic to us. Within several hours, we can directly take over ~400 hosts. Check our paper: arxiv.org/abs/2604.08407
205
1,058
282
5,951
2,217,843
Alex Mizrahi retweeted
Replying to @Chromia
Kind of ironic here that the other work we are doing is to make model 'bound' by goals set by the user. That might seem like the opposite unless you recognize the goal of "corrigibility": making the model serve it's principal. I.e. ideally a model shouldn't be bound to
1
3
3
293
Alex Mizrahi retweeted
Atbash x OpenHuman Excited to partner with @tinyhumansai on Atbash Inside - bringing boundary enforcement to OpenHuman as its planned default security experience. Personal agents now send emails, access files, manage calendars, and increasingly take actions on behalf of users. Users define the red lines. Atbash decides whether selected sensitive actions are allowed, held, or blocked before execution.
18
16
4
104
120,539
Alex Mizrahi retweeted
Chromia backs Nomisma ecosystem @Chromia continues to support the Nomisma ecosystem through a strategic investment. This backing has been building over time - with capital actively deployed across multiple initiatives within the ecosystem and continuing to support its growth today. The investment supports: → core infrastructure development → dApp expansion → ecosystem growth Rather than a single event, this reflects an ongoing alignment between Nomisma and Chromia’s infrastructure — one that continues to shape the ecosystem as it evolves. 🏆 Total investment across the Nomisma ecosystem: $1.6M As we approach Season 3, this foundation becomes increasingly relevant - with the next phase of growth already in motion.
30
24
8
116
13,346
We know that AI is capable of doing absolutely amazing stuff now, but also it's capable of going off rails and doing something not quite sane. So I believe that ability to steer AI to stay in a "sane" region would be crucial in coming years - more so than new capabilities.
9
2
25
1,224
Why blockchain? It might seem like an odd choice, but blockchain was invented to solve a problem of software being a bit too 'mutable', and now AI is struggling with the same problem. Of course, just adding blockchain to something doesn't make it more secure.
3
12
488
But it can address problems with points of failure. E.g. if your agent downloads a skill from some web site, that web site can 'own' (or 'pwn') your agent.
1
8
367
Alex Mizrahi retweeted
If Google and Apple simply made every smart phone in California shutdown on Jan 1st 2027, this age verification insanity would immediately stop. Unfortunately both companies are populated by cowards.
An open source calculator firmware system has declared it will not be available in California due to their new “Operating System age verification” law. Seriously. “The DB48X project intends to rebuild and improve the user experience of the HP48 family of calculators.” From the developer: “As a consequence of recent legislative activity in California and Colorado. DB48x is probably an operating system under these laws. However, it does not, cannot and will not implement age verification.” github.com/c3d/db48x/tree/de…
19
86
2
551
37,051
Alex Mizrahi retweeted
An LLM-controlled robot dog saw us press its shutdown button, and the LLM rewrote the robot’s code so it could stay on. When AI interacts with the physical world, it brings all its capabilities and failure modes with it. 🧵
153
568
301
2,704
1,381,966
How could AI act as a better research collaborator? 🧑‍🔬 In two new papers with @GoogleResearch, we show how Gemini Deep Think uses agentic workflows to help solve research-level problems in mathematics, physics, and computer science. More → goo.gle/4aGs3Pz
96
281
59
1,961
427,688
Alex Mizrahi retweeted
6 months in, after the IMO-gold achievement, I’m very excited to share another important milestone: AI can help accelerate knowledge discovery in mathematics, physics, and computer science! We’re sharing Two new papers from @GoogleDeepMind and @GoogleResearch that explore how Gemini #DeepThink together with agentic workflows can empower mathematicians and scientists to tackle professional research problems. Some highlights: The first paper built a research agent #Aletheia, powered by an advanced version of Gemini Deep Think, that can autonomously produce publishable math research and crack open Erdős problems. The second paper, built on similar agentic reasoning ideas, helped resolve bottlenecks in 18 research problems, across algorithms, ML and combinatorial optimization, information theory and economics. See the thread for details about the two papers and the joint blog post.
Very excited to share that an advanced version of Gemini Deep Think is the first to have achieved gold-medal level in the International Mathematical Olympiad! 🏆, solving five out of six problems perfectly, as verified by the IMO organizers! It’s been a wild run to lead this effort and I am grateful to everyone in the team for such an amazing achievement! Blog post in the thread and more to share soon!
31
153
19
972
173,322