
i put the “crypto” in “cryptocurrency.” head of cryptography at @aptoslabs 💍 + 👶 + 🏍️ = ❤️
Austin, TX
Joined July 2009
- Tweets3.8K
- Following385
- Followers39.4K
- Likes13.2K
alin.apt retweeted
6/ There's been this persistent notion that formal verification isn't worth doing because "a spec can just as easily have a bug as code".
We decided to test that with real empirical evidence. And the answer is an emphatic *NO*. Especially in an age of agentic coding
alin.apt retweeted
I am operating under an assumption at this point that just everything is public, no information is private anymore
Andrew Curran@AndrewCurran_Oct 23🇨🇦
CanadaConnected via Canada Android AppAccount-level information, not a live location or per-post device.
Quest Diagnostics has been hacked. Patient data was exposed. They serve roughly half of U.S. hospitals and physicians. Investigation ongoing.
alin.apt retweeted

Aptos Labs@AptosLabsOct 20
🇺🇸
United StatesConnected via WebAccount-level information, not a live location or per-post device.
Encrypted Mempool, live on @Aptos mainnet: the payload (function called + arguments) is encrypted client-side, ordered while encrypted, and decrypted by validators together only after the block is finalized.
Opt-in, one transaction at a time, and designed to lower MEV risk on the transactions users choose.
Full breakdown from @Cointelegraph: cointelegraph.com/news/aptos…
So you want to factor a ~1024 bits semiprime number. I tell you, RSA-330 is your friend. Here's why.
Back in 1971, Daniel Shanks made a fascinating observation: sometimes factoring 2N can actually be easier than factoring N (see quoted tweet). His algorithm uses binary quadratic forms and imaginary quadratic class groups, and its difficulty depends partly on the class number of the associated quadratic field. But here's the really interesting part: you can estimate that class number without knowing the prime factors of N, using quadratic characters and a truncated Euler product. This effectively gives you a numerical index that predicts how expensive Shanks's factoring algorithm will be. Two semiprimes with the same number of bits can have significantly different predicted computational costs.
So I got curious and computed this index for all 54 RSA Factoring Challenge numbers, including those factored decades ago. One number stood out: RSA-330, a 1094 bit semiprime. For the discriminant D = −N, its estimated quadratic L value is just 0.26417, giving a normalized Shanks index of approximately 0.1321, the lowest among all 54 numbers I tested. That's around the 0.3rd percentile of a simulated random quadratic character distribution for its congruence class. In other words, RSA-330 appears unusually favorable for Shanks's algorithm compared with numbers of similar size.
It gets even more interesting. Since RSA-330 is a semiprime satisfying N ≡ 3 (mod 8), genus theory tells us that the 2 Sylow subgroup of its quadratic class group is cyclic. There is exactly one nontrivial ambiguous class. Working with discriminant D = −4N, this class has a reduced representative (p, 0, q), where p and q are precisely the unknown prime factors. Since 0² − 4pq = −4N, finding this form immediately gives N = pq. The coefficients themselves are the factors.
Of course, finding that ambiguous class is the difficult part. Even with RSA-330's unusually favorable index, Shanks's original algorithm would still require an astronomical number of operations. This is not a practical RSA break, and the index does not measure difficulty for NFS.
But I think this makes a fascinating idea for autoresearch. Imagine an autonomous system exploring binary quadratic forms, alternative discriminants, class groups and methods for extracting 2 torsion. It could generate conjectures, test algorithms on smaller semiprimes, benchmark computational complexity and investigate whether we can find useful ambiguous classes without computing the entire class number.
We already have a public target, a measurable difficulty index, a favorable algebraic structure and a precise research objective: find the unique nontrivial ambiguous class of RSA-330 without computing its full class number.
What fascinates me most is the underlying idea: a number can have a measurable mathematical fingerprint of its factoring difficulty even when its prime factors are completely unknown. At least for a particular algorithm, we can predict something about the work before doing the factorization.
Shanks was exploring this more than 50 years ago. Maybe it's time to revisit it with modern computation and autoresearch.
alin.apt retweeted
The thing I’m most grateful to Elon for is bringing back an age of wonder and excitement to humanity. That was jaw-dropping awesome! Screams and mouths wide open in the audience. Nuts.
alin.apt retweeted
Sandwich attacks cost crypto traders tens of millions of dollars this year, but networks are fighting back 🛡️
Aptos just launched an Encrypted Mempool to shield pending transactions from MEV bots and front-running.
Learn how these invisible block builders extract value 👇
binance.com/en/academy/artic…
alin.apt retweeted
Replying to @BachFrancis
(1/7) I'd like to provide some additional context for the remarks that can be found in this interview.
(2/7) My discomfort with the attention being paid to existential risk---and with the ongoing dominance of the public discussion of such risks by a few so-called thought leaders---is that there's an elephant in the room that is being missed. That elephant is the effect of all of this discussion on young people, and indeed the effect---beginning with social media a decade ago---of information technology on young lives broadly speaking.
(3/7) I recently read an interview by Jill Lepore in which she reports on discussions that she had recently with a group of college students: "They had just three things to say. One, social media completely destroyed their childhoods. Two, AI is destroying their college education and their likely prospects for employment. And three, what the hell are we all doing?" To add a fourth bullet that I've heard in similar discussions: "I'm not going to have children, because the existential risk is just too high."
(4/7) Please contemplate such a statement, those of you who think that it's OK that the public, widely diffused, discussion coming from seemingly authoritative figures is so adamant about existential risk.
(5/7) Let me add that I have little interest in a debate about what "superintelligence" might mean, or whether we're currently seeing the emergence of superintelligence. For what it's worth, I would certainly agree that the solution of extremely challenging math problems (for example) exhibits a very impressive form of intelligence, although I would want to argue that such intelligence is impossible to dissociate from the collective of humans that provided data to the machine learning system (which itself has become a kind of collective).
(6/7) Such philosophical debates are entertaining and even important, but when they then head in the direction of "when such superintelligence emerges, there's a good chance that it will want to kill all humans", I say "science fiction". Again, I don't think that it's bad to consider such thoughts, but I strongly believe that it's bad for society, and especially young people, for such thoughts, unaccompanied by any serious real-world analysis, to become a dominant form of discourse of the era.
(7/7) We are damaging human lives, and the consequences of that damage will no doubt be a major theme of the next several decades.
Encrypted Mempool is now LIVE on Aptos mainnet.
Users can opt in to keep pending transactions encrypted until their block is finalized, lowering the risk of MEV attacks.
→ Opt-in, one transaction at a time
→ The function called and its inputs stay encrypted until execution
→ Senders and fees remain visible
alin.apt retweeted
Aptos just shipped the first production L1 Encrypted Mempool that actually stays decentralized.
No TEEs. No external committees. No new trust assumptions.
Validators order blocks while completely blind to your payload, then decrypt together using the exact same 2/3 stake threshold already required for consensus. Opt-in, per-transaction, only ~27 ms overhead.
This is the paper that made it practical: eprint.iacr.org/2025/2032
What an amazing research result made into production.
Live on mainnet.
Encrypted Mempool is now LIVE on Aptos mainnet.
Users can opt in to keep pending transactions encrypted until their block is finalized, lowering the risk of MEV attacks.
→ Opt-in, one transaction at a time
→ The function called and its inputs stay encrypted until execution
→ Senders and fees remain visible
alin.apt retweeted
Now is the time to get excited about blockchain applications. Secure, confidential, scalable, and reliable infrastructure for payments and trading.
Every major financial institution is discussing commercialization. TSVs, based on the new @SECGov guidance, will leverage our modern stack for new use cases, adoption, and revenue. Libra's original mission was payments at scale, and @Aptos has made the rails the best way to move stables and trade in the world.
Over the past 8 years, we've built the best financial infra, and with pilots underway and AI building the scaffolding instantly, that journey has entered the next phase of commercialization.
alin.apt retweeted
I just watched the roughly 45-minute footage of October 7th at a private screening in NYC. Here are my immediate thoughts minutes after watching it. 🧵
alin.apt retweeted
Did anyone do a tally how many cryptanalysts have been actively working on elliptic curve discrete log?
Replying to @LindellYehuda
Elliptic-curve cryptography has seen zero progress over 30 years. The best algorithms are the generic ones -- 2^128 time for 256-bit curves (excluding improvements on memory etc.). Does this mean AI won't do something radical? No, but there's no reason to think that it will. 6/n
alin.apt retweeted

Daniel Litt@littmathOct 7
🇨🇦
CanadaConnected via Canada App StoreAccount-level information, not a live location or per-post device.
I think there’s a lot of truth to this. I welcome these results but if we want humanity to understand them it’s also important to support and reward human expertise in mathematics, and we (the mathematical community and society at large) need to find ways to do so.
Reading the comments of junior mathematicians confirms what many senior mathematicians have been warning about over the past month:
It is becoming clear that people with the intellectual ability to understand these proofs will not be interested in spending their lives training to check LLM logs.
This is the tragic side of what is happening that almost no one — except the actual mathematicians — seems to get.
Either we figure out how to keep people interested in doing mathematics, or in 20 years LLMs will have no one’s work left to recombine into new proofs, and no one interested in reading those proofs.
That would be the thermal death of mathematics.
The argument that “LLMs will read LLM math” is so shortsighted that it makes me want to cry…
Replying to @EliBenSasson
Why would you think the results, if they exist, broke, say, elliptic curves and not hash functions? We've had humans break more hash functions—MD2, MD5, SHA1—than any other widely used primitive.
alin.apt retweeted

Aptos Labs@AptosLabsOct 6
🇺🇸
United StatesConnected via WebAccount-level information, not a live location or per-post device.
Introducing MonoMove: the rebuilt @Aptos execution engine and the largest performance upgrade since mainnet.
Markets onchain need scale and safety. MonoMove is built for both.
The Move code behind every order, loan, and payout executes up to 55x faster. Parallelism is not even switched on yet.
alin.apt retweeted
Suppose you have n integers, and you want to decide whether some three of them sum to zero. It's not hard to solve this problem in O(n^2) time (think how to do it, the dumbest algorithm takes O(n^3) time!) and for a long time it was thought that getting time O(n^{1.999999}) is not possible. This hardness assumption was shown to imply many other interesting hardness results.
Not anymore! Claude obtained the O(n^{1.9992}) time algorithm together with a Lean proof, and the algorithm was checked and digested by Josh Alman and Virginia Williams who are leading experts in fine-grained hardness, so my a priori estimate that it's 99.99%-likely to be correct.
My mind is just absolutely blown! It's crazy that in such simple to state problems progress is still possible after decades of many smart people thinking hard about them.
alin.apt retweeted
Once in a while you stumble upon true weapons-grade autism that makes everyone else look like LARPers.
Incredible work.
Congrats to Ulrich, Luke, and Suyash (great cryptographers from StarkWare and Aztec) who are joining Shielded Labs to work on post-quantum research for Zcash!
They're just the latest in a string of high-caliber folks joining Zcash over the past year. LFG!
alin.apt retweeted
Happy to share that BitZ just became 2.3x faster thanks to a couple new optimizations !
The eprint paper has been updated accordingly (see the end of Section 2.3, and the new Sections 6.2 and 6.3)
Sharing 𝔹itℤ : a PCS for circuits written anywhere (in any ring/field or collection of those), using binary fields under the hood.
eprint.iacr.org/2026/2141 with @recmo, @mmkostrzewa, @shreyas_twt, @wu_s_john, @AlexAbdugafarov, @ZKFriendly, @XanderGoot
Replying to @boyacaxa
As I understand it, FCMP is conceptually the Zerocash/zcash approach, but adapted to be backward compatible with existing Monero keys and transactions. To the extent thats true, Its a massive improvement in privacy over the very clearly broken approach used now and its difficult to comprehend why deploying it is not more of a priority.



























