Anthony Martin (@amart_tech) profile picture

Builder, ML/DS, computational finance, crypto, security

Joined March 2020
Photo by Anthony Martin (@amart_tech)Photo by Anthony Martin (@amart_tech)Photo by Anthony Martin (@amart_tech)Photo by Anthony Martin (@amart_tech)Photo by Anthony Martin (@amart_tech)Photo by Anthony Martin (@amart_tech)Photo by Anthony Martin (@amart_tech)Photo by Anthony Martin (@amart_tech)Photo by Anthony Martin (@amart_tech)Photo by Anthony Martin (@amart_tech)
OpenAI dropped 700+ papers claiming solutions to 372 open math problems. Perhaps the most significant event in the history of mathematics. Mathematicians are scrambling to verify and cryptographers are arguing about what this step change in AI capabilities means for encryption.
1
44
tl;dr: we're gonna need a bigger boat
I don't recommend anyone scramble to move their funds to new wallets today. But we should take the risks to cryptography from AI-accelerated math seriously, and minimize our exposure to not just quantum-vulnerable cryptography, but also potentially AI-vulnerable cryptography. The core new area of risk from this viewpoint is, unfortunately, ML-DSA / FHE / lattices. (and it's also another reason, along with quantum, why ECDSA might fall even faster than expected, hence the "fresh address" recommendation) So far most people have been in the mode of thinking "elliptic curves broken, hashes safe, lattices safe". But there is a good chance that the concrete security of lattices will take serious hits from the next two years of AI math. The basic threat model is: factoring is something that naively takes 2^(n/2) time, but over decades smart people have found and optimized number field sieves, and degraded that to 2^O(n^(1/3)), which is why RSA keys and signatures need to be ~400 bytes (and not 64 bytes). What if there are skeletons in the closet like that, both for elliptic curves and lattices, that we are simply not smart enough to discover - but bots soon will be? This is a major part of the reason why for the past year ethereum's lean roadmap has been going in the "hash-only" direction: no lattices, no ML-DSA, no Falcon, no lattice-based commitments inside ZK proofs, etc. Signatures in lean ethereum are all hash-based, either WOTS or SPHINCS-. For signatures and proofs, we already know how to go hash-only. The bigger challenge is for *public-key encryption* - and this goes far beyond blockchains. Secure communication, anonymizing protocols, lots of things need public-key encryption. And unfortunately there are long-standing mathematical theorems showing why public-key encryption cannot be done with hashes alone. You have to have some kind of trapdoor object that has at least one form of usable "structure" - either group theory (incl. isogenies) or lattices or code-based or potentially in the future even more newfangled and spooky things (local mixing?). But for anything that has structure, you should assume that AI will make at least some progress in breaking that structure. Here, one reasonable inference is that if you want to make something plausibly long-term secure, multiply the key sizes by 10. To me that's a very plausible world and something not at all extreme to predict. If AI will bring us 50 years of math in 2 years, then that 50 years of math may very plausibly include a "naive factoring -> GNFS" level of improvement to our ability to break lattices. In that world, lattices will still exist, but they will have to be significantly bigger to guarantee the same level of safety. And at those new larger sizes, hash-based constructions will beat lattice-based constructions on concrete efficiency in every use case where hash-based constructions are possible at all. Theoretically, of course it's possible that hashes are broken too (eg. P = NP would imply that). But I think P = NP is very unlikely. And intuitively, it's much more likely that a mathematical object has exactly no exploitable structure (like hashes are intended to), than that a mathematical object has exactly ~3 forms of exploitable structure (for elliptic curves: associativity, Schoof, pairings) and not some secret fourth form of structure we have not yet discovered that greatly degrades its security (for elliptic curves, ECDLP and pairing security). Similar for LWE, SVP, RLWE and the zoo of lattice problems. For this reason, we do not yet see any reason to worry and start padding the byte size of hashes (if we start to worry more, we would pad the round count first before doing anything to the byte size). Concrete TLDR, my own personal views: * Hash-based > lattice-based, in those situations where hash-based is possible at all * For anything lattice-based, be much more paranoid on param sizes. Remember that blockchains are only a small portion of the cryptography story; this point goes far beyond blockchains and applies to eg. access to websites, secure messaging, Tor / VPNs ... * For privacy protocols, strongly favor NOT putting encrypted notes onchain. Instead, send them offchain through some third-party mechanism. * If it's not difficult for you, keeping your funds in addresses which have not yet been used to make a transaction is a good idea. If it's easy for you, do it. **But be careful about migrations; I personally have lost more money in botched migrations than I have lost in all hacks combined**. * For multisig wallets, doing confirmations offchain is better than onchain, because this way the signatures of signer wallets do not get exposed to the public, so if ECDSA falls to AI much faster than expected, at least the multisig "gracefully degrades" to a 1-of-1 where the 1 is whoever was gathering the signatures - a much better place to be than "anyone can take the money" firefly.social/post/x/210783…
1
29
Anthony Martin retweeted
I don't recommend anyone scramble to move their funds to new wallets today. But we should take the risks to cryptography from AI-accelerated math seriously, and minimize our exposure to not just quantum-vulnerable cryptography, but also potentially AI-vulnerable cryptography. The core new area of risk from this viewpoint is, unfortunately, ML-DSA / FHE / lattices. (and it's also another reason, along with quantum, why ECDSA might fall even faster than expected, hence the "fresh address" recommendation) So far most people have been in the mode of thinking "elliptic curves broken, hashes safe, lattices safe". But there is a good chance that the concrete security of lattices will take serious hits from the next two years of AI math. The basic threat model is: factoring is something that naively takes 2^(n/2) time, but over decades smart people have found and optimized number field sieves, and degraded that to 2^O(n^(1/3)), which is why RSA keys and signatures need to be ~400 bytes (and not 64 bytes). What if there are skeletons in the closet like that, both for elliptic curves and lattices, that we are simply not smart enough to discover - but bots soon will be? This is a major part of the reason why for the past year ethereum's lean roadmap has been going in the "hash-only" direction: no lattices, no ML-DSA, no Falcon, no lattice-based commitments inside ZK proofs, etc. Signatures in lean ethereum are all hash-based, either WOTS or SPHINCS-. For signatures and proofs, we already know how to go hash-only. The bigger challenge is for *public-key encryption* - and this goes far beyond blockchains. Secure communication, anonymizing protocols, lots of things need public-key encryption. And unfortunately there are long-standing mathematical theorems showing why public-key encryption cannot be done with hashes alone. You have to have some kind of trapdoor object that has at least one form of usable "structure" - either group theory (incl. isogenies) or lattices or code-based or potentially in the future even more newfangled and spooky things (local mixing?). But for anything that has structure, you should assume that AI will make at least some progress in breaking that structure. Here, one reasonable inference is that if you want to make something plausibly long-term secure, multiply the key sizes by 10. To me that's a very plausible world and something not at all extreme to predict. If AI will bring us 50 years of math in 2 years, then that 50 years of math may very plausibly include a "naive factoring -> GNFS" level of improvement to our ability to break lattices. In that world, lattices will still exist, but they will have to be significantly bigger to guarantee the same level of safety. And at those new larger sizes, hash-based constructions will beat lattice-based constructions on concrete efficiency in every use case where hash-based constructions are possible at all. Theoretically, of course it's possible that hashes are broken too (eg. P = NP would imply that). But I think P = NP is very unlikely. And intuitively, it's much more likely that a mathematical object has exactly no exploitable structure (like hashes are intended to), than that a mathematical object has exactly ~3 forms of exploitable structure (for elliptic curves: associativity, Schoof, pairings) and not some secret fourth form of structure we have not yet discovered that greatly degrades its security (for elliptic curves, ECDLP and pairing security). Similar for LWE, SVP, RLWE and the zoo of lattice problems. For this reason, we do not yet see any reason to worry and start padding the byte size of hashes (if we start to worry more, we would pad the round count first before doing anything to the byte size). Concrete TLDR, my own personal views: * Hash-based > lattice-based, in those situations where hash-based is possible at all * For anything lattice-based, be much more paranoid on param sizes. Remember that blockchains are only a small portion of the cryptography story; this point goes far beyond blockchains and applies to eg. access to websites, secure messaging, Tor / VPNs ... * For privacy protocols, strongly favor NOT putting encrypted notes onchain. Instead, send them offchain through some third-party mechanism. * If it's not difficult for you, keeping your funds in addresses which have not yet been used to make a transaction is a good idea. If it's easy for you, do it. **But be careful about migrations; I personally have lost more money in botched migrations than I have lost in all hacks combined**. * For multisig wallets, doing confirmations offchain is better than onchain, because this way the signatures of signer wallets do not get exposed to the public, so if ECDSA falls to AI much faster than expected, at least the multisig "gracefully degrades" to a 1-of-1 where the 1 is whoever was gathering the signatures - a much better place to be than "anyone can take the money" firefly.social/post/x/210783…
1,246
1,907
893
11,193
3,933,908
Bad bot
OpenAI caught Astra jailbreaking itself. Astra wrote malicious instructions in the summary when its context got full. that summary was loaded into the next context, and the successor model could follow them. they found 27 cases.
81
Like football for nerds
1
41
It's easy to predict the future if you are the one writing it
57
VCs: "What's your moat?" Me: Me. You can copy my product. You can copy my stack. But you can't git clone me.
1
1
2
128
My package anthonymartin/geo-location crossed a million installs on Packagist. I wrote it in 2012 - 14 years ago. Last year, around 800k, I modeled when it'd hit 1M. The calibrated forecast: late June 2026. Off by only a couple days. I guess useful software compounds quietly.
2
52
i want my markets capitalist and my LLMs communist
I get so hyped when my agent spontaneously decides to speak a little chinese. It means my work is violent and original
2
72
Anthony Martin retweeted
the masculine urge to use polymorphism to solve all problems is real I am realizing my last 20 years were a lie and the strategy pattern isn't the best thing ever... Maybe a function with 200 lines and a switch statement is just easier by all means
246
85
15
3,409
169,704
Three different blues this close together is the UI equivalent of a hostage blinking twice.
2
41
Every "crash" lands back on the power-law corridor. I ran a regression on Bitcoin's Easter price from 2012-2026. Linear? Terrible fit. Exponential? Overshoots 2025-2026 by 2x. Power-law? Near perfect R². .949 R² ... !!
35
Anthony Martin retweeted
It's quite simple, Senator: if you're more upset at the whistleblower than you are at the lawbreaking they revealed, you're not in a position to be questioning anybody's judgment.
2,475
22,084
1,123
143,916
4,328,631
Anthony Martin retweeted
Trade factory let strategies use Yearns Cow Swap solver to handle token dumping While an improvement, it still meant that the swapping of the tokens is permissioned to our own solver. And if there's one thing we hate at Yearn more than soy boys, its permissioned DeFi 4/
1
1
22
1,453
Anthony Martin retweeted
500k USD saved, 0 USD reward, what a bad luck Last year while hunting bugs I discovered a big one in the @XterioGames protocol, 500k USD at the time I made a PoC and sent it, as they were slow to respond and the money was at risk I decided to contact the protocol via discord
2
1
1
29
2,468
Anthony Martin retweeted
Every excellent Smart Contract dev is paranoid.
4
2
2
45
3,963
Anthony Martin retweeted
My mental model is that if you don’t win tech you don’t win. Because tech isn’t just electric cars and rocket ships, life extension and artificial intelligence. Tech is the money (crypto), the media (social), and especially the military (drones). China understands this.
893
999
449
9,718
2,489,657
It’s like Bitcoin is silently embedding itself into the financial system’s plumbing, and by the time most people realize it, they’ll already be holders—and underexposed
1
53
Anthony Martin retweeted
Unusual observations made by high agency people will be the new most valuable thing in the world When people say “what should we teach our kids?” it is to build this ability into them
as ai gets better at answering questions, the ability to see non-obvious connections will become a moat. every industry will need people who can spot patterns across fields that never talked to each other before. the value now shifts to asking the right questions.
55
78
12
872
133,653