Helger Lipmaa
banner
helger.bsky.social
Helger Lipmaa
@helger.bsky.social
Cryptography professor at the University of Tartu, Estonia. Zero-Knowledge. SNARKs.
We are looking for a cybersecurity professor to strengthen Estonia's existing expertise. We are looking for an ambitious researcher (with a steady presence at big four security conferences) with demonstrated leadership skills who can build a larger team. iacr.org/jobs/item/4075
Professor of Cybersecurity
iacr.org
November 3, 2025 at 10:24 AM
(accepted to TCC)
Plonk is Simulation Extractable in ROM Under Falsifiable Assumptions (Helger Lipmaa) ia.cr/2025/1759
September 26, 2025 at 2:44 AM
Reposted by Helger Lipmaa
Europe is testing a digital age verification app to protect minors online. Bart Preneel warns it risks privacy, can be bypassed, and may exclude users. Could this be the end of online anonymity?
www.standaard.be/media-en-cul...
#ageverification #anonyimity #privacy
Europa test leeftijdscontroles op het internet: is dit het einde van online anonimiteit?
Europa test een app waarmee we ons in de toekomst moeten aanmelden op het internet, om te bewijzen dat we meerderjarig zijn. Critici waarschuwen dat het systeem makkelijk te omzeilen is en ongewenste neveneffecten zal hebben, onder meer voor onze privacy.
www.standaard.be
September 24, 2025 at 8:59 AM
Reposted by Helger Lipmaa
The Syndrome-Space Lens: A Complete Resolution of Proximity Gaps for Reed-Solomon Codes (Russell Okamoto) ia.cr/2025/1712
September 21, 2025 at 12:28 AM
Reposted by Helger Lipmaa
September 17, 2025 at 10:03 PM
Reposted by Helger Lipmaa
RoK and Roll – Verifier-Efficient Random Projection for Õ(λ)-size Lattice Arguments (Michael Klooß, Russell W. F. Lai, Ngoc Khanh Nguyen, Michał Osadnik) ia.cr/2025/1220
July 7, 2025 at 2:34 AM
Reposted by Helger Lipmaa
Got my first "official AI review" today from AAAI. Amazing! Very detailed, with very specific technical comments. A shame the most crucial and confidently stated ones are deeply incorrect, though.

Well you can't get everything I guess.
September 16, 2025 at 3:56 PM
Reposted by Helger Lipmaa
📢Adam Smith, @gautamkamath.com, and I are putting together a list of job market candidates in Foundations of Responsible Computing! Last year's list was a great success so we're keeping it going!

If you want to be included, or nominate someone, see link in the replies!
September 15, 2025 at 12:41 PM
Estonian-Latvian theory days this October: theorydays2025.quantum.lu.lv
(local groups work in cryptography, type theory, quantum algorithms, complexity theory, automata theory, error-correcting codes and lately also in database theory)
theorydays2025.quantum.lu.lv
September 10, 2025 at 12:00 AM
Reposted by Helger Lipmaa
New arXiv preprint: we show algorithmic versions of the polynomial Freiman–Ruzsa (PFR) theorem of Gowers, Green, Manners, and Tao. Interestingly, our proof draws on quantum information and stabilizer learning algorithms, which we dequantize into classical algorithms.

arxiv.org/pdf/2509.02338
September 3, 2025 at 8:48 AM
Reposted by Helger Lipmaa
Double the discovery, double the momentum 🚀

Europe doubles down on research competitiveness with a major boost to #HorizonEurope:

€95.5 billion foreseen for 2021-2027
💰💰💰💰💰💰💰💰💰

€175 billion proposed for 2028-2034
💰💰💰💰💰💰💰💰💰💰💰💰💰💰💰💰💰💰
August 5, 2025 at 6:55 AM
Reposted by Helger Lipmaa
New differential #privacy textbook in town: "DP in Artificial Intelligence: From Theory to Practice", by @nandofioretto.bsky.social and @vanhentenryck.bsky.social. Open access, w/ chapters by @jubaz.bsky.social, @grahamrc.bsky.social, and @stein.ke!

www.nowpublishers.com/article/Book...
August 25, 2025 at 10:45 PM
Reposted by Helger Lipmaa
I wrote an op-ed on the world-class STEM research ecosystem in the United States, and how this ecosystem is now under attack on multiple fronts by the current administration: newsletter.ofthebrave.org/p/im-an-awar...
I’m an award-winning mathematician. Trump just cut my funding.
The “Mozart of Math” tried to stay out of politics. Then it came for his research.
newsletter.ofthebrave.org
August 18, 2025 at 3:45 PM
Really happy to have Jens Groth visiting us in Tartu and giving a seminar on ZK, zkVMs, and AI on Tuesday
August 17, 2025 at 3:41 PM
Reposted by Helger Lipmaa
Anyone who has been an IACR member in 2023-2026 should have received a link to respond to a survey about conferences and publishing. So far over 500 people have responded, but it will remain open for responses until Sept 12, 2025. I would also encourage people to use their forum invitations.
International Association for Cryptologic Research
A place to discuss matters related to IACR
discuss.iacr.org
August 14, 2025 at 4:28 AM
Reposted by Helger Lipmaa
Back to actual research…
We present a family of space-efficient sumcheck algorithms, and show that they are optimal! 🍹

Joint work with Anubhav, Ale, Elisabetta, @zkproofs.bsky.social, Tushar and Andrew

📚: ia.cr/2025/1473
🧑🏻‍💻: github.com/compsec-epfl...
August 14, 2025 at 2:36 PM
The depth was probably zero
USENIX chair report: "six individuals appear as co-authors on 20 or more submissions, with two authors appearing on 36 and 39 submissions respectively. At such volume, it becomes difficult not to question the nature and depth of the contributions" www.usenix.org/sites/defaul...
www.usenix.org
August 13, 2025 at 9:55 PM
haha :D
zip: Reducing Proof Sizes for Hash-Based SNARGs (Giacomo Fenzi, Yuwen Zhang) ia.cr/2025/1446
August 12, 2025 at 9:57 PM
Reposted by Helger Lipmaa
#IPAM (the institute for pure and applied mathematics) is facing a critical shortfall for operating expenses due to an unexpected suspension of NSF funding www.ipam.ucla.edu/news/nsf-fun... . Donations for emergency continuity of operations funding can be made at

giving.ucla.edu/Campaign/Donat
www.ipam.ucla.edu
August 8, 2025 at 12:48 AM
Crypto 2025 program is online. Five sessions on proof systems, one on Fiat-Shamir, one on Polynomial Commitments. I hope we can cool down the audience after the LatticeFold+ talk
July 25, 2025 at 11:50 PM
Crypto 2025 has a session for the Back of the Future fans :)
July 25, 2025 at 1:16 PM
Reposted by Helger Lipmaa
Helsinki Algorithms & Theory Days on 28–29 August, 2025, keynote talk by Andris Ambainis
algorithms.fi/theory-days-...
Helsinki Algorithms & Theory Days
algorithms.fi
July 24, 2025 at 8:51 PM
Reposted by Helger Lipmaa
Very promising news on the next seven-year EU budget, with a proposed substantial increase for Horizon Europe including the ERC.

We are analysing the other parts of this proposal in more detail.

@Vonderleyen @EZaharievaEU

research-and-innovation.ec.europa.eu/news/all-res...
Horizon Europe 2028 - 2034: twice bigger, simpler, faster and more impactful
Research and innovation news alert: As part of the next long-term EU budget 2028-2034, the Commission is proposing to double the budget of the research and innovation framework programme to €175 billi...
research-and-innovation.ec.europa.eu
July 23, 2025 at 7:49 PM
Reposted by Helger Lipmaa
After 78 years, an exponential improvement for Ramsey numbers were found by Jie Ma, Wujie Shen, and Shengjie Xie.
gilkalai.wordpress.com/2025/07/23/a...
Amazing: Jie Ma, Wujie Shen, and Shengjie Xie Gave an Exponential Improvement for Ramsey Lower Bounds
h/t Benny Sudakov The Ramsey number R(ℓ,k) is the smallest integer n such that in any two-coloring of the edges of the complete graph on n vertices, $latex K_n$, by red and blue, there is either a …
gilkalai.wordpress.com
July 23, 2025 at 12:33 PM