📍Cardano Enthusiast | Nightforce Leader 📍Proverbs 23:23 | DRep ID: Corroon

ADA
Joined June 2024
Vitalik is now trying to convince everyone that lattices are bad because he is bag-holding too much hash-based crypto research can't back out. The case against lattices is the GNFS story, a.k.a. a hunch about "structure," and a multiplier pulled out of thin air. None of it has ever held up in the last few decades. The factoring analogy is wrong. The number field sieve didn't come from generic cleverness. It came from very specific arithmetic -> smooth numbers, factor bases, relations stitched together by linear algebra into a congruence of squares. If you claim lattices have a GNFS hiding in the closet, you have to name what plays that role. "Structure" names nothing. The sieve was finished by 1993, and RSA sizes have barely moved in the thirty years since, so the lesson of factoring is that the skeletons ran out. Even the formula in the post is wrong. GNFS is exp(O(n^(1/3) (log n)^(2/3))), and if you're going to size parameters by analogy, you could at least get the analogy's complexity right. Lattices had their sieve era decades ago. LLL in 1982, BKZ, pruned enumeration, sieving at 2^0.415n in 2008 and 2^0.292n in 2016. Every one of those was priced into parameters the moment it appeared. ML-KEM and ML-DSA are sized against exactly these attacks with a cost model that hands the attacker free memory and drops polynomial factors. The post talks as if nobody has ever seriously looked at lattices. Forty years of the best people in the field moved is the constant in the exponent. The post also skips the one thing lattices have that GGEV and Peikert proved: breaking random LWE or SSIS instances at the right parameters solves approximate shortest-vector problems on every lattice of that dimension. A "skeleton" for plain LWE wouldn't be some clever trick for one family. It's a theorem for one of the most attacked problems in computer science. SHA-256 has no theorem like that. Its security is that nobody has broken it yet, which is exactly the standard the post refuses to extend to lattices. If you actually want to worry about structure in lattices, then look at the algebra of rings and ideal lattices. Cramer, Ducas, Peikert, and Regev (2016) and Cramer, Ducas, and Wesolowski (2017) gave quantum attacks on Ideal-SVP in cyclotomic fields. Albrecht, Bai, Ducas, and Kirchretched NTRU. Those results killed real schemes, and none of them touch ML-KEM or ML-DSA, which are module schemes with small moduli. Ducas, Plançon, and Wesolowski showed the quantum ideal attack does worse than plain BKZ at every dimension, applied the structure, measured how far the attacks reach, standardized outside their range, kept FrodoKEM with no ring at all, and added HQC in 2025 so KEMs don't rest on lattices alone. Vitalik is either unaware of this or hash-crypto bagholding is causing citation amnesia. Then there's the claim that hashes are "intended" to have no structure, as if intent were a security proof. Differential cryptanalysis destroyed both MD5 and SHA-1 by attacking their round functions, with no help from P = NP. Of every family he lists, hashes are the only one whose deployed primitives have actually been broken. And the hash-only roadmap he's defending runs on Poseidon and Poseidon2, low-degree polynomial maps over small prime fields, built specifically to be easy to express algebraically. They are the most algebraically structured hashes anyone has ever put into production. Gröbner-basis and interpolation attacks are an active research area, and the Ethereum Foundation even funded a cryptanalysis bounty on Poseidon because of it. If AI is going to eat structure, Poseidon gets eaten long before Module-LWE. The proof systems are no better. FRI, STIR, and WHIR at aggressive parameters rest on Reed-Solomon proximity-gap conjectures nobody has proven, and Fiat-Shamir is argued in the random oracle model. That's what "hash-only" actually means in practice. And "we'd pad the round count first" gives the game away, because extra rounds only defend against structure. He's admitting the structure is there. The theory gets mangled too. Impagliazzo and Rudich is a black-box separation about proof techniques. It is not a theorem that public-key encryption "needs structure," and Merkle's puzzles already give hash-only key agreement with a quadratic gap, which Barak and Mahmoody showed is optimal in that model. "P ≠ NP so hashes are safe" is wrong as well, because P ≠ NP doesn't imply one-way functions exist, let alone that SHA-256 is one. That gap is the entire subject of Impagliazzo's five worlds. And the claim that an object with zero known structures is safer than one with exactly three is a probability claim with no underlying probability model for generic prime-field elliptic curves; the record runs the other way: every subexponential ECDLP attack since 1985 needed a special curve; everyone identified and excluded it, and Shoup's generic-group bound says precisely what a new attack would have to exploit. Nobody has found one in forty years. "Multiply key sizes by ten" is numerology. Lattice attack cost goes like 2^(c·β). A better constant means you scale dimension by c/c', so a 20 percent improvement costs you about 25 percent more dimension, not 10x. A subexponential break means no multiplier saves you, because 10^n is still subexponential. Neither case gives you ten. Bytes aren't even a security parameter, since raising the modulus at fixed noise can make LWE easier. Parameter selection is a complexity formula set against a security target, and this post contains no formula. "AI will deliver fifty years of math in two years" isn't a threat model. It names no algorithm or cost, and it can never be falsified, because every year without a break is just "not yet." It also cuts against hashes at least as hard as against lattices, and the post never explains why it shouldn't. The field already has a working process for extraordinary claims. In 2024, a preprint claimed a quantum polynomial-time algorithm for LWE, and the bug was found in about ten days. Rainbow and SIKE fell on laptops during the NIST process, under the same public scrutiny that let the lattice schemes survive. An AI-found attack follows the same process: check it, run it through the estimators, and reparameterize. Abandoning the most studied post-quantum family before an attack exists is panic. And the advice is actively dangerous outside of crypto Twitter. He concedes public-key encryption can't be avoided, then tells TLS, Tor, VPN, and messaging operators to get "much more paranoid" about the only post-quantum KEM that is actually deployed. Harvest-now-decrypt-later is happening right now, and hybrid ML-KEM, already shipping in browsers and messengers, is the defense. Spreading doubt about it, or bloating it tenfold until handshakes break, keeps traffic on classical crypto longer, which is the outcome he says he's worried about. "Send encrypted notes offchain through a third party" fixes nothing, because delivering to someone you'venever spoken to still needs public-key encryption, and now you've added a trusted party that sees your metadata and can drop your messages. Lumping ML-DSA and FHE into one bucket shows a weak grasp of both, since they live in completely different parameter regimes with different attacks. Use hash-based signatures where they fit; the IETF has worked on XMSS for years, and there have been many great advancements. They are an algebraic dead end, however. You can't easily do the things we treasure in the elliptic-curve world. Security engineering means naming the attack, costing it, and sizing the fix within the context of broader business and technological objectives. Vitalik never does this. He writes these damn posts that convince lots of engineers to abandon incredibly important research, and then we have to stumble back to it after years of false starts: Plasma, Ethereum 2.0, Casper, Accounts, etc etc etc. Now we are going to attack Lattices.
vitalik.eth
@VitalikButerinOct 7
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…
215
290
48
1,950
172,953
Here's my speech at the UN
259
693
85
2,891
151,714
Corroon retweeted
🚨 Cohort 3 of the Midnight Nightforce Ambassador Program is NOW OPEN! 🌙 If you’re passionate about privacy-first blockchain, building community, and shaping the future of Midnight — this is your chance to join the squad. Use @kitchawan or @corroonian as a reference when signing up Apply here: mpc.midnight.network/midnigh… One Team, One Dream. 💪 #Midnight #Nightforce #Web3 #Privacy
3
6
17
451
For 200 $night a month
Replying to @IOHK_Charles
Can’t wait to have an AI gf in Midnight.City
36
26
1
339
40,267
Corroon retweeted
Midnight
@MidnightNtwrk9 Dec 2025
ICYMI: @IOHK_Charles shares how Midnight will accomplish what the first three generations of blockchain couldn’t: privacy that works, identity that scales, and cooperation that accelerates adoption. Full breakdown below 👇 youtube.com/watch?v=TMGkYEVK…
105
1,161
30
1,367
186,074
How World Liberty Financial will upgrade the system. 🇺🇸 Full stream from #DCBlockchain @DonaldJTrumpJr @IOHK_Charles
53
253
23
1,194
171,592
Corroon retweeted
Dan Gambardello
@dangambardello7 Mar 2025
🚨President Trump just signed an executive order to create a Strategic Bitcoin Reserve & U.S. Digital Asset Stockpile
151
306
18
2,179
85,322
Me watching @cryptorecruitr at 2am He’s “that guy” 🫡📈 $ADA #Cardano #Crypto #Memes
5
5
61
2,025
Corroon retweeted
Cardano 🤝 Filecoin
.@blockfrost_io's integration with Filecoin improves data redundancy and decentralization for @Cardano apps. By using Filecoin’s storage network, developers can create secure, reliable, and scalable applications built for a decentralized future.
34
114
2
981
56,531
💥BREAKING: Jack Mallers confirms Ripple $XRP is spending millions to ‘undermine’ a Strategic Bitcoin Reserve in America.
1,159
1,222
165
7,129
739,524
This a real document from Ripple/XRP They are pro-CBDC
349
471
126
2,523
426,567
Corroon retweeted
Michael Saylor
@saylor23 Jan 2025
SAB 121 has been rescinded, allowing banks to custody Bitcoin. 🚀
1,491
6,261
1,030
35,568
2,731,430
Corroon retweeted
Dan Gambardello
@dangambardello15 Jan 2025
LOCK IN!
66
84
5
1,020
40,701
BIG BREAKING 🚨 Trump administration to form a crypto advisory council of 24 leaders to draft legislation, build a #Bitcoin reserve, and promote regulatory clarity
123
657
52
3,544
256,217
If there is a reasonable path to integrating RLUSD, I'll try to cover it as a gift to the ecosystem. Cardano needs a solid stablecoin ecosystem from USDM and Djed to RLUSD.
40
112
16
585
29,667
Corroon retweeted
Dan Gambardello
@dangambardello12 Jan 2025
Cardano will be flipping Solana soon.
219
253
16
2,397
126,407
Corroon retweeted
Dan Gambardello
@dangambardello10 Jan 2025
I’m very happy $BTC did not quickly hit $150k $ADA did not keep going parabolic $XRP has not breached all time high $ETH has not broken out yet This 1st bull market consolidation was needed and will lead to an even more parabolic move Altcoin supercycle has hardly begun
16
95
1,100
30,143