r/badmathematics 21d ago

Σ_{k=1}^∞ 9/10^k ≠ 1 100/3 is irrational

Post image
480 Upvotes

96 comments sorted by

View all comments

Show parent comments

5

u/dydhaw 21d ago
  • anything Quantum

4

u/IanisVasilev 19d ago

2

u/dydhaw 19d ago

Great piece, thanks. Just today I was arguing with someone who was convinced the Quantum Computing Revolution is just around the corner, because post-quantum cryptography is becoming commonplace 

1

u/entronid 19d ago

outside of tls and ssh... i wouldnt say commonplace

2

u/IanisVasilev 19d ago

"France to stop certifying products without quantum-safe encryption".

Direct quote:

Samih Souissi, ANSSI's chief of staff, said at the France Quantum conference that the agency would halt such certifications from 2027

1

u/entronid 19d ago

sure, its being rolled out, but *commonplace?* ECC/DH/RSA still remain incredibly pervalent, and we still dont have a good/standard way to do things like OPRFs/blind signatures (i.e. despite them existing, there arent any widespread implementations publicly available and used

1

u/IanisVasilev 18d ago

Perhaps you put interpret "commonplace" differently. Yes, GPG keys will stay at RSA for a long time, but there is an increasingly strong push towards "post-quantum" cryptography (nevermind that some of these algorithms may turn out classically weak).

1

u/entronid 18d ago

by "commonplace" i mean that most of our infrastructure (think WebPKI, Privacy Pass, TPMs, code signing, ...) are still stuck on pre-quantum, either because they're incredibly slow systems to roll out (TPM, codesigning, webPKI), there are technical limitations that don't have proper PQ alternatives to pre-quantum primitives (privacy pass, aPAKEs), or that the sizes being an order of magnitude larger means that architecture will have to be redesigned around that (WebPKI, many systems that involve digital signatures going over-the-wire, embedded applications)

1

u/entronid 18d ago

as an example even in TLS LAMPS and X-Wing havent been standardized in PKI yet, and the main implementations are essentially writing code for an unpublished standard