Yulia

STOC 2027 received 1665 submissions. In a bold new experiment, all submissions (and author identities) are immediately made public. This is the most immediate and revealing posting of any conference I am aware of. Take a look and see what you find! stoc2027.sigact-ec.workers.d…

People should always be in control of the future. OpenAI is against the notion that it would be acceptable for people to be relegated to a role of doing things that “AI systems think makes sense to reward in humans”. People should not cede control of the future to superintelligence, and that requirement should ultimately constrain AI progress.

There will never be a formal proof method that ensures a program behaviour matches what’s in your head

Why does someone attack refrigerators? The incentive would usually be to try to extract a ransom but that doesn't seem to be happening. So I wonder if someone is doing this intentionally to help people realize in how much danger they are?

⊢ recap of @VitalikButerin's session at cypherpunk congress today: post-quantum is not enough anymore. think post-ai cryptography. hashes and symmetric encryption look safe. ECDSA breaks with quantum and looks shaky against ai. pairings like BLS look the weakest. lattices and FHE hold against quantum but look shaky against ai. no total break expected. keys just get bigger. 64 bytes could become 512. if you can use hash-based, you should. offchain privacy still needs public-key encryption, FHE and ideally obfuscation. his options: ↳ bigger keys, two algorithms at once, and less data. encrypted notes onchain can be read later if ECDSA breaks. better: ↳ send the note offchain, claim onchain. derive app keys with hardened paths from your seed. mixnet nodes can keep packets and read them later. tor has similar properties. - proofs okay - backdoors risky. and leanseal: ↳ time-lock encryption from hashes alone, with @QuangVDao and @drakefjustin special thanks to @web3privacy

ZK will be like HTTPS. In 10 years, no one will need to explain it.

People read one emotional Matt Green tweet about public key encryption, spent 0 seconds thinking about it, and decide to panic. Sure ECDLP will be broken with QC's one day. But there's so many levels to this being wrong to panic over. - 0 actual progress on attacking anything - We have tons of alternate plans available. - Quadratic advantage hash-based PKE - Lattices - Multivariate polynomials - A whole field of KEM's from fine grained cryptanalysis. (Fun fact, works even if P=NP) Sure you can wake-up and choose doomer and be wrong. We have decades of cryptography to draw from on for all the above options, AND how to build a lot of what we want from UX tweaks without PKE. PKE just made a lot much easier, and less web of trust routing like.

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.

For the first time, scientists have mapped the complete brain and central nervous system of an adult male fruit fly — a key model organism in science. 🪰 Working alongside HHMI Janelia Research Campus and the scientific community, @GoogleResearch scientists and researchers used AI to combine millions of 2D images into 3D neural shapes, reconstructing a record-breaking 166,000+ neurons. This foundational map of the adult male fruit fly brain can help accelerate our understanding of the brain, and is a major milestone in neuroscience.

All private transactions today will be deanonymized when quantum computers come online.

as one of the few who understood the cryptography of MPC of DSA, my take is: too complex to make work securely, due to adaptive cryptography attacks, implementation/cryptography bugs, few understand enough to review. plus the shards are all ONLINE in software servers. not good!