Last week I pitched my Quantum Algorithms: A Call to Action blog post to top theorists at the Simons Institute. Watch the talk + discussion (starts ~1h in): youtube.com/watch?v=7F5LBN… Blog post here: quantumfrontiers.com/2025/04/20/qua…

[New] Gdel in Cryptography: Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup, and Perfect Soundness (Rahul Ilango) ia.cr/2025/1296

The Chinese government launched a new digital ID last week. I’m looking for technical details. Some summaries: twobirds.com/en/insights/20… tc260.org.cn/upload/2020-09…

1/2 "We need help!" Anthropic's Nicholas Carlini called for cryptanalysis experts to join efforts to make ML safe, at the Simons Institute's workshop on Cryptography 10 Years Later: Obfuscation, Proof Systems, and Secure Computation Boot Camp Video: simons.berkeley.edu/talks/nicholas…

You can think of modern cryptography as a tower. If someone discovers an ingenious algorithm for rapidly solving the hardest NP problems, the bedrock will crumble, and the whole tower will collapse. quantamagazine.org/quantum-scient…

This is cool use of LLMs to auto-complete missing pieces of Latin text fragments. nature.com/articles/s4158…

Next week at the Simons Institute, the final workshop in the Summer 2025 Cryptography program: Secure Computation. simons.berkeley.edu/workshops/secu…

Nice presentation by Sam Jaques from PQCrypto on "When are quantum computers going to break RSA-2048?". tl;dr: Assuming exponential growth of qubits, ~2045-2050, but predicted before Craig Gidney's recent work. pqcrypto2025.iis.sinica.edu.tw/slides/Invited… youtube.com/watch?v=nJxENY…

Steve Weis Sam Jaques Craig Gidney There's this calculator/tracker I like from BTQ Technologies --> qbyte.btq.li 2045-2050 is the pessimistic extrapolation according to this, but yes, quite a few recent breakthroughs that are interesting. Also seeing new qubit types that are more robust.

One week to go until the online event Celebrating 40 years of Elliptic Curves in Cryptography (ECC). You can hear from Koblitz and Miller about their work 40 years ago eccworkshop.org/2025/index.html

DARPA Quantum Benchmarking Initiative. Criteria to determine if particular technologies are on a path to “utility scale” for a set of target problem domains (not just code breaking). darpa.mil/research/progr…

Really excited about ALHF, new work from our research team that lets users give natural language feedback to agents and optimizes them for it. It sort of upends the traditional supervision paradigm where you get a scalar reward, and it makes AI more customizable for non-experts.

Dave Patterson on how $100M NSF taxpayer investment in his labs led to $1T in product sales: thehill.com/opinion/techno…

.DARPA AIxCC contest results announced at Defcon.

Open-source and runs on your laptop. No massive infrastructure needed. Buttercup found real vulnerabilities DARPA didn't plant and submitted the competition's largest patch (300+ lines). Try it today: blog.trailofbits.com/2025/08/09/tra…

Our paper is now available on the ePrint Archive! eprint.iacr.org/2025/1459

newsletter.ofthebrave.org/p/im-an-award-…

Elliptic curve crypto challenges for quantum computers!