Reynaldo Gil Pons
LightNews LightNews
gilcu3.bsky.social
Reynaldo Gil Pons
@gilcu3.bsky.social
13 followers 31 following 2 posts
Posts Replies Media Videos
Reposted by Reynaldo Gil Pons
matthewdgreen.bsky.social
This is a very neat result! But a subtle one.
emmanuelthome.bsky.social Emmanuel Thomé @emmanuelthome.bsky.social · 21d
Forging 1024-bit RSA signatures in nearly SNFS time

Hand over your HSM for some time, and we can forge signatures for its key. Arbitrary signatures. Forever.

github.com/ucsd-hacc/NS...
GitHub - ucsd-hacc/NSNFSSSFSFN: Nearly SNFS-Speed Signature Forgery Sans Factoring N
Nearly SNFS-Speed Signature Forgery Sans Factoring N - ucsd-hacc/NSNFSSSFSFN
github.com
September 21, 2026 at 6:38 PM
Reposted by Reynaldo Gil Pons
malb.bsky.social
eprint.iacr.org/2026/1693
Screenshot of the title page of the paper. Text: The ePrint:2026/1591 Quantum Algorithm Does Not Solve DCP Aparna Gupte MIT Seyoon Ragavan Google Quantum AI & MIT Mark Zhandry Google Quantum AI & Stanford University Abstract In this note, we formally show that the recent algorithm by Simon (ePrint:2026/1591, August 11 2026) does not extract the least-significant bit of the dihedral coset problem (DCP) secret with non-negligible guessing advan- tage, and therefore does not solve DCP. We emphasize that our result is not merely about Simon’s analysis of his algorithm; we are showing directly that the algorithm cannot possibly work. Our no-go encompasses a much broader class of algorithms than the specific algorithm by Simon. The main message of our no-go is that an algorithm for DCP following the template of the reduction by Regev (SIAM Journal on Computing, 2004) will probably have to make extensive use of the classical Fourier labels in the uncomputation stage. On the other hand, the algorithm by Simon can be implemented, up to error poly(n)2−n/3, using only the most-significant third of the classical Fourier labels, and therefore cannot succeed. To help with verifiability, we release Lean 4 code for our results, available at this GitHub repository.
August 15, 2026 at 4:23 PM
Reposted by Reynaldo Gil Pons
malb.bsky.social
I recommend you read @nadim.computer's excellent write-up of why he teaches in Lebanon symbolic.software/blog/2026-07...
Why I Teach Cryptography in Lebanon — Symbolic Software
Cedarcrypt's first edition has concluded. On what a year of teaching cryptography in and for Lebanon has meant, why the conference met in Cyprus rather than Beirut, and the decades of work ahead.
symbolic.software
July 23, 2026 at 12:41 PM
Reposted by Reynaldo Gil Pons
vitalik.ca
Getting increasingly bullish on just vibe-coding the important things in Lean.

eg. see:

https://github.com/Verified-zkEVM/ArkLib

https://blog.zksecurity.xyz/posts/end-coding/
GitHub - Verified-zkEVM/ArkLib: Formally Verified Arguments of Knowledge in Lean
Formally Verified Arguments of Knowledge in Lean. Contribute to Verified-zkEVM/ArkLib development by creating an account on GitHub.
github.com
May 11, 2026 at 4:01 PM
Reposted by Reynaldo Gil Pons
filippo.abyssdomain.expert
At the gpg.fail talk and omg #39c3

You can just put a \0 in the Hash: header and then newlines and inject text in a cleartext message.

Won’t even blame PGP here. C is unsafe at any speed.

gpg has not fixed it yet.
December 27, 2025 at 4:31 PM
Reposted by Reynaldo Gil Pons
aumasson.jp
Trump updated the PQC EO:
www.whitehouse.gov/presidential...
June 7, 2025 at 6:41 PM