Sign in

The Mathematics of Secrets

@mathofsecrets.bsky.social
1.3K followers 656 following 124 posts

Hi, I'm Josh Holden. I teach math, write books, and encrypt secret messages.

PostsRepliesMedia
The Mathematics of Secrets @mathofsecrets.bsky.social · 07/09/2026
A nice explanation of some of the math behind #quantumcomputing from @quantamagazine.org www.quantamagazine.org/in-hilbert-s...
quantamagazine.org
In Hilbert Space, All Things Are Quantumly Possible | Quanta Magazine
To explore quantum phenomena, we must leave the familiar world and enter the abstract realm of Hilbert space.
041
The Mathematics of Secrets @mathofsecrets.bsky.social · 27/08/2026
This is currently the root of a big argument in #cryptography circles --- is it okay to use floating-point arithmetic? If not, what should be the alternative? pqshield.com/falcon-witho...
pqshield.com
Falcon without floating-point | PQShield
The signature scheme Falcon, selected for standardization as FN-DSA (future FIPS-206), offers a compact yet efficient alternative to ML-DSA. However, it
020
The Mathematics of Secrets @mathofsecrets.bsky.social · 24/08/2026
Not exactly cryptography but for sure in the same ballpark. And high time IMO. @thezvi.bsky.social thezvi.substack.com/p/ai-text-wa...
thezvi.substack.com
AI Text Watermarking Is Free And Good
Scott Aaronson, while working at OpenAI, largely solved AI text watermarking together with Hendrik Kirchner.
020
The Mathematics of Secrets @mathofsecrets.bsky.social · 06/08/2026
Now Generative AI is making it easy for students to do that kind of cheating in other courses also. So yeah, new manifestation of an old problem.
000
The Mathematics of Secrets @mathofsecrets.bsky.social · 06/08/2026
But also specifically, in the 80s and 90s we started to commonly see math students cheat by using calculators and computers when the weren’t supposed to. And in the 00s and 10s we started to commonly see them use the internet to download solutions manuals and access websites like Chegg.
101
The Mathematics of Secrets @mathofsecrets.bsky.social · 06/08/2026
Yes, absolutely. There have always been students who wanted to get the credential without learning, and students who cheated to do it. (I bet someone in Ancient Greece complained about students copying each other’s work.)
100
The Mathematics of Secrets @mathofsecrets.bsky.social · 06/08/2026
I hate what’s happening with AI today. But also, math professors like me saw this social contract broken decades ago.
101
Reposted by The Mathematics of Secrets
CosmicRami 🏳️‍🌈🏳️‍⚧️ @rami.spaceaustralia.com · 06/08/2026
👀👀👀
1122
Reposted by The Mathematics of Secrets
James Tuttle Keane @jtuttlekeane.bsky.social · 05/08/2026
Ralph Lorenz—Huygens showed that Titan can be wet, even at low latitudes. As Dragonfly flies across Titan, the odds it’ll land in mud are low (<1%), and if so, the stickiness will be again to sticky wheat dough (and Dragonfly could still takeoff). #AOGS2026
A photograph of a sketch in my notebook summarizing Ralph Lorenz’s talk at AOGS2026. The pen and pencil sketch shows two spacecraft on the surface of Titan: Huygens and Dragonfly (loosely to scale). The two grey spacecraft sit on a rock littered orange surface with a yellow hazy sky behind them. Next to Hogan’s, I have a zoom in the regular showing how the acoustic sensor suggested that the soil was damp, with liquid sweating out of it. On the right, I show a little insect of some reel, analog dunes, which very rarely can have intradune lakes form in particular particularly rainy seasons. Situations such as this are predicted to be very rare for Titan, but the Dragonfly mission is planned to handle it.
06117
Reposted by The Mathematics of Secrets
James Tuttle Keane @jtuttlekeane.bsky.social · 05/08/2026
Shuang Yang—Chang’e 7 will land near the Moon’s south pole Shackleton crater later this year and deploy (via tether) a seismometer that is planned to survive for 8 years. This might be the first node of a long-lived *international* geophysical network! #AOGS2026
A photograph of my notebook showing a sketch of Shuang Yang (Chinese Academy of Science) talk at AOGS. It shows a low, oblique shot of the Chang’e 7 lander, landed on the Moon, as it lowers its seismometers (SP + VBB) to the surface of the Moon from the bottom of the lander. The seismometer will survive up to 8 years through use of an RHU.
17023
The Mathematics of Secrets @mathofsecrets.bsky.social · 02/08/2026
Theoretical/incremental advances like the one against AES are harder to evaluate and have more room for AI mistakes/hallucinations. P.S. Since this article came out, HAWK has been officially withdrawn, for the reasons suggested here.
010
The Mathematics of Secrets @mathofsecrets.bsky.social · 02/08/2026
Major breaks like the one against HAWK are pretty straightforward to evaluate despite the use of AI --- you run the code and if you get the right answer, the attack worked.
110
The Mathematics of Secrets @mathofsecrets.bsky.social · 02/08/2026
Sorry, I've gotten behind again! There have been some really interesting new #cryptography results obtained using Claude Mythos. @matthewdgreen.bsky.social makes a good point here... blog.cryptographyengineering.com/2026/07/29/s...
blog.cryptographyengineering.com
Some thoughts about Anthropic’s new cryptanalysis results
Yesterday Anthropic published two new cryptanalysis results, both outputs of Claude Mythos, their (still) unreleased advanced model. The first of these results attacks a signature scheme called HAW…
111
The Mathematics of Secrets @mathofsecrets.bsky.social · 20/07/2026
This finally got me to go try to understand Merlin-Arthur proofs, which are an important tool in public-key #cryptography (The first trick is to remember the difference between Merlin-Arthur and Arthur-Merlin!) @quantamagazine.bsky.social www.quantamagazine.org/researchers-...
quantamagazine.org
Researchers Reveal the Power of ‘Quantum Proofs’ | Quanta Magazine
When checking that solutions to certain problems are correct, it turns out, you can’t get around the inherent complexity of the quantum world.
030
Reposted by The Mathematics of Secrets
Drew Lewis @drew-lewis.com · 20/07/2026
Talk about burying the lede... a counterexample to the Jacobian conjecture in dimension 3 has been found with the help of AI. And it is only degree 6! xenaproject.wordpress.com/2026/07/20/h...
xenaproject.wordpress.com
Human mathematicians are being outcounterexampled
It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexam…
2111
Reposted by The Mathematics of Secrets
Admirable Women @admirablewomen.bsky.social · 14/07/2026
Remembering Dr. Maryam Mirzakhani, the first woman and first Iranian recipient of the Fields Medal--the most prestigious award in #mathematics. Dr. Mirzakhani, a mathematics professor at Stanford, died #OTD in 2017 from breast cancer at age 40. stanford.io/2C0io2A #WomenInSTEM
An intimate, close-up photograph of the brilliant Iranian mathematician Dr. Maryam Mirzakhani (1977–2017), historically significant as the first woman and first Iranian to be awarded the prestigious Fields Medal for her profound contributions to the dynamics and geometry of Riemann surfaces and their moduli spaces. Set against a solid turquoise backdrop bearing the partially visible white letters "COEX Sec," Dr. Mirzakhani rests her chin thoughtfully in the palm of her left hand, her fingers gently curling against her cheek. She wears a thin, dark wired earpiece hooked over her right ear. Her short, dark cropped hair framing her face accentuates her gentle, contemplative expression, her striking light-colored eyes looking slightly upward and away from the camera with a calm, analytical gaze. The sharp lighting creates a distinct, soft shadow of her profile on the wall behind her, while a metal microphone and the top of a water bottle blur in the lower foreground, emphasizing the candid, intellectual mood of a professional academic conference setting.
219449
Reposted by The Mathematics of Secrets
The Conversation UK @uk.theconversation.com · 14/07/2026
Mathematics is helping us move away from reacting to congestion, towards preventing it.
tcnv.link
Don’t change lanes – the maths of holiday traffic jams
Mathematics is helping us move away from reacting to congestion, towards preventing it.
131
The Mathematics of Secrets @mathofsecrets.bsky.social · 11/07/2026
Good summary of where we are on signatures using post-quantum #cryptography from @cloudflare.social . Not sure the wish list is realistic --- I think we're probably still going to have to choose from a selection much like what's listed here! blog.cloudflare.com/ml-dsa-will-...
blog.cloudflare.com
Why we cannot wait for better post-quantum signature algorithms
NIST is advancing nine new post-quantum signature algorithms as potential candidates for future standardization. We take a closer look at all of them, and argue that while they are in the works and sh...
021
The Mathematics of Secrets @mathofsecrets.bsky.social · 03/07/2026
P.S. The first part of the show, while not about color, is also really important. The new proposed changes to grant funding have the potential to decimate the foundational research that may not be relevant to today's priorities, but which will be vital to tomorrow's!
000
The Mathematics of Secrets @mathofsecrets.bsky.social · 03/07/2026
I think I mentioned earlier that my next book is going to be on the mathematics of light and sound. As a preview, here are some interesting new discoveries in how the eye sees #color from @science.org ! www.science.org/content/podc...
science.org
Cracking color vision, U.S. science policy changes, and a trailblazing biography
On this week’s show: A roundup of the latest <cite>Science</cite>Insider stories on changes to science wrought by the Trump administration, solving the structure for the proteins behind color vision, ...
100
The Mathematics of Secrets @mathofsecrets.bsky.social · 29/06/2026
I’ve got a couple of end of the month deadlines, but I’ll try to take a look next week!
010
The Mathematics of Secrets @mathofsecrets.bsky.social · 23/06/2026
Okay, this makes slightly more sense than the last article about removing complex numbers from #quantum physics. Still not convinced the new version is necessary, but at least there's a physical motivation. @apsphysics.bsky.social physics.aps.org/articles/v19...
physics.aps.org
A New Perspective on Real-Valued Quantum Theory
By exploiting a physically motivated principle, rather than a mathematical postulate, researchers offer a new perspective on how a real-valued quantum theory can be constructed.
021
The Mathematics of Secrets @mathofsecrets.bsky.social · 21/06/2026
Although I’m getting the impression that maybe the message is just there for the metaphor and isn’t part of the real system?
200
The Mathematics of Secrets @mathofsecrets.bsky.social · 21/06/2026
Right, and if you put the message in there also, then it keeps it from being altered without detection.
100
Reposted by The Mathematics of Secrets
Alexander Hansen Færøy @ahf.me · 19/06/2026
The transition to Post-Quantum Cryptography in the #Tor network’s #TLS layer is making progress! 😎 We are now at 44.57% of relays supporting the X25519MLKEM768 hybrid handshake. This number is up from 34.65% in March earlier this year. #cryptography #postquantumcryptography #pqc
122
The Mathematics of Secrets @mathofsecrets.bsky.social · 20/06/2026
(Generating a MAC key from the challenge and the asymmetric keys solves that problem. Of course, I’m sure there are other ways also —- I’m a theory person, not a developer!)
310
The Mathematics of Secrets @mathofsecrets.bsky.social · 20/06/2026
Seems like that would be worth mentioning in the “Why use an access token” slide. You gain convenience but you give up the binding property of the signature.
110
The Mathematics of Secrets @mathofsecrets.bsky.social · 20/06/2026
I like it! One question: What binds the token to the message? I.e., what keeps someone (Henry?) from taking the token off one message and attaching it to another, other than the expiration limit?
100
The Mathematics of Secrets @mathofsecrets.bsky.social · 09/06/2026
#cryptography
000
The Mathematics of Secrets @mathofsecrets.bsky.social · 09/06/2026
One more time --- strong cryptography doesn't help if you don't use it properly! securityaffairs.com/193224/hacki...
securityaffairs.com
Claude Opus Found a Four-Year-Old Hole in Zcash's Privacy Layer. Nobody Knows If Someone Already Used It.
Claude Opus 4.8 helped uncover a four-year-old critical flaw in Zcash that could have enabled undetectable creation of counterfeit coins.
130
Reposted by The Mathematics of Secrets
geeknik @geeknik.bsky.social · 04/06/2026
New ETH proof: no Schnorr-like signature can have a tight security reduction to generic group assumptions under weak random oracles. The compactness-tightness tradeoff is structural, not laziness.
eprint.iacr.org
Schnorr-like Signatures in the Non-Observable Random Oracle Model
Schnorr's signature scheme and many of its variants are among the most efficient group-based digital signature schemes. Schnorr's scheme has very compact signatures (consisting of only two exponents in its most compact form). However, its security reduction is notoriously non-tight and requires a strong (“programmable”) version of the random oracle model. Variants with a tight(er) security proof in a more realistic model exist, but are less compact and efficient. In this work, we investigate whether these disadvantages are inherent to Schnorr's signatures and its variants. In particular, we define a family of “Schnorr-like” signature schemes, which contains group-based signature schemes with verification similar to Schnorr's scheme. To explore the necessity of (heavy) random oracle abstractions for such schemes, we allow only for a very weak (“non-programmable, non-observable”) version of a random oracle in the security proof. Our main result is that there is no tight reduction of the security of any such “Schnorr-like” scheme to any group-based assumption that holds generically. We also show that this result itself is tight, in the sense that non-tightly secure schemes exist. Similarly, already for a slightly generalized definition of “extended Schnorr-like” schemes, tightly secure schemes exist. Our main result employs a meta-reduction with a new “filtering” technique that may be of independent interest.
021
Reposted by The Mathematics of Secrets
Jan Schaumann @jschauma.mstdn.social.ap.brid.gy · 02/06/2026
Remember back in March when Google published a ZKP of 10x improved quantum attacks on elliptic curve cryptosystems? Somebody followed the clues and figured it out: arxiv.org/abs/2606.02235 Very glad to see Craig Gidney, who initially discovered this, comment here that, yeah, the ZKP […]
mstdn.social
Original post on mstdn.social
023
The Mathematics of Secrets @mathofsecrets.bsky.social · 30/05/2026
Still cleaning up the backlog ... this report from @wired.com @mattburgess1.bsky.social is kind of scary. Remember, #cryptography doesn't work if you don't use it properly! (Or at all.) www.wired.com/story/satell...
wired.com
Satellites Are Leaking the World’s Secrets: Calls, Texts, Military and Corporate Data
With just $800 in basic equipment, researchers found a stunning variety of data—including thousands of T-Mobile users’ calls and texts and even US military communications—sent by satellites unencrypte...
010
Reposted by The Mathematics of Secrets
geeknik @geeknik.bsky.social · 29/05/2026
Post-quantum schemes hiding behind independent-noise estimates have a modeling debt: convolution creates thorns where failures concentrate. Attackers don’t need average risk, they need geometry.
eprint.iacr.org
Thorns in Polynomial Convolution: Correlation, Large Deviations, and Applications
When estimating the decryption failure rate (DFR) of structured lattice-based cryptography, some schemes implicitly assume that the coefficients of the decryption noise are independent. In practice, however, the decryption noise typically contains terms arising from convolutions of small polynomials, which introduce correlations among coefficients. These correlations can create a non-negligible gap between independence-based estimates and empirical failure rates, leading to underestimated DFRs, overestimated security levels, and exploitable attack surfaces. They also obscure the effect of error-correcting mechanisms in structured lattice-based encryption designs. To date, there has been no practical framework for characterizing such correlations. In this paper, we give the first systematic characterization of correlations among the coefficients of convolved polynomials with Gaussian coefficients, using the canonical embedding as the central viewpoint. We establish large-deviation results for the coefficients of the resulting polynomial. Our analysis shows that, as the norm grows, convolutional polynomials asymptotically concentrate near a finite set of fixed two-dimensional planes. This gives rise to directional tail structures in the n-dimensional joint probability density, which we call thorns. As a direct application, we prove that existing decryption-failure attacks succeed precisely by forcing the noise to lie on these thorns. This phenomenon endows the noise with extremely strong correlations, ultimately triggering decryption failures. Furthermore, adopting the canonical embedding perspective allows us to comprehensively illustrate how the independence assumption distorts the true noise distribution. We prove that the independence assumption systematically underestimates the noise norm, and we derive an analytic expression for the probability density function of the Euclidean norm of the decryption noise.
042
The Mathematics of Secrets @mathofsecrets.bsky.social · 29/05/2026
Pretty sure I posted about Part I of this excellent #cryptography explainer from @matthewdgreen.bsky.social. Thought I should follow up --- plus, a great blast from the past cover image! blog.cryptographyengineering.com/2026/04/17/a...
blog.cryptographyengineering.com
Anonymous credentials: an illustrated primer (Part 2)
This is the second in a series of posts about anonymous credentials. You can find the first part here. In the previous post, we introduced the notion of anonymous credentials as a technique that al…
010
The Mathematics of Secrets @mathofsecrets.bsky.social · 26/05/2026
Catching up on old #quantum #cryptography news from @quantamagazine.bsky.social ! www.quantamagazine.org/quantum-cryp...
quantamagazine.org
Quantum Cryptography Pioneers Win Turing Award | Quanta Magazine
Charles Bennett and Gilles Brassard were recognized for their foundational work in quantum information science.
011
The Mathematics of Secrets @mathofsecrets.bsky.social · 24/05/2026
We can get noninteractive proofs which are *computationally* zero knowledge in other ways, as @matthewdgreen.bsky.social has explained in blog.cryptographyengineering.com/2017/01/21/z...
blog.cryptographyengineering.com
Zero Knowledge Proofs: An illustrated primer, Part 2
This post is the second in a two-part series on zero-knowledge proofs. Click here to read Part 1. In this post I’m going to continue the short, (relatively) non-technical overview of zero kno…
010
The Mathematics of Secrets @mathofsecrets.bsky.social · 24/05/2026
This article from @quantamagazine.bsky.social is really interesting from a theoretical #cryptography point of view, although practically speaking, it's probably unnecessary. www.quantamagazine.org/how-unknowab...
quantamagazine.org
How Unknowable Math Can Help Hide Secrets | Quanta Magazine
A graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography.
120
The Mathematics of Secrets @mathofsecrets.bsky.social · 23/05/2026
Definitely worth considering this perspective on #cryptography ! Of course, increasing symmetric key sizes is not nearly as hard as upgrading public key algorithms anyway.
000
The Mathematics of Secrets @mathofsecrets.bsky.social · 07/05/2026
@princetonupress.bsky.social has my #cryptography book on sale for $9.48/£8.00! (Can't seem to get them to tell me Euros, sorry. 😢) press.princeton.edu/books/paperb...
press.princeton.edu
The Mathematics of Secrets
Explaining the mathematics of cryptography
010
Reposted by The Mathematics of Secrets
Tommaso Gagliardoni @tomgag.infosec.exchange.ap.brid.gy · 03/05/2026
Quantum computers will break RSA-2048 by February 2032: gagliardoni.net/#20260503_rsa_broke… #cryptography #security #quantum #quantumcomputing #phd #darmstadt #germany #2012 #2032 #joke #humor
002
The Mathematics of Secrets @mathofsecrets.bsky.social · 04/04/2026
H/T @quantamagazine.bsky.social
000
The Mathematics of Secrets @mathofsecrets.bsky.social · 04/04/2026
Still incremental improvements in #quantumcomputing theory, but could be important soon! www.quantamagazine.org/new-advances...
quantamagazine.org
New Advances Bring the Era of Quantum Computers Closer Than Ever | Quanta Magazine
Two research groups say they have significantly reduced the amount of qubits and time required to crack common online security technologies.
100
Reposted by The Mathematics of Secrets
kravietz 🦇 @kravietz.agora.echelon.pl.ap.brid.gy · 23/03/2026
A very nice explanation on why #cryptography of one-time pad as used by the famous spy “number stations” still has some advantages over the modern digital methods www.abc.net.au/listen/programs/sund…
abc.net.au
Why spies still use WW1-era encrypted radio broadcasts - ABC listen
Short-wave radio enthusiasts have eagerly reported the appearance of Farsi-language encoded messages being broadcast out of Western Europe. The messages are being transmitted via number stations, which are radio broadcasts used by intelligence agencies to send encrypted messages to agents in the field. It is one of the oldest forms of clandestine communication, dating back to the first World War, and is still used by modern intelligence agencies today because they're almost impossible to decipher.
074
The Mathematics of Secrets @mathofsecrets.bsky.social · 21/03/2026
Using #cryptography for anonymous ID verfification --- cool and useful! @matthewdgreen.bsky.social blog.cryptographyengineering.com/2026/03/02/a...
blog.cryptographyengineering.com
Anonymous credentials: an illustrated primer
This post has been on my back burner for well over a year. This has bothered me, since with every month that goes by, I become more convinced that anonymous authentication the most important topic …
010
The Mathematics of Secrets @mathofsecrets.bsky.social · 09/03/2026
You’re very welcome!
020
The Mathematics of Secrets @mathofsecrets.bsky.social · 08/03/2026
Fooled you, Daylight Savings Time! The hour you took from me last night was actually the hour I took when I fled Eastern Time the night before!
000
The Mathematics of Secrets @mathofsecrets.bsky.social · 08/03/2026
From @tenorfrank.bsky.social
110
The Mathematics of Secrets @mathofsecrets.bsky.social · 08/03/2026
Have you seen this: webpages.scu.edu/ftp/ffarris/...
webpages.scu.edu
Farris Exhibitions
110
Reposted by The Mathematics of Secrets
spooky Deirdre Connolly¹ ² at a distance @durumcrustulum.com · 08/03/2026
Yubikeys using ML-DSA including ML-DSA-87 are coming!
0132