Helger Lipmaa
@helger.bsky.social
📤 561
📥 265
📝 190
Cryptography professor at the University of Tartu, Estonia. Zero-Knowledge. SNARKs.
reposted by
Helger Lipmaa
Clément Canonne
3 days ago
Well, this seems like a big deal.
arxiv.org/abs/2603.087...
"This is the first algorithm that can PAC learn even intersections of two halfspaces in time 2^o(n)."
loading . . .
Learning Functions of Halfspaces
We give an algorithm that learns arbitrary Boolean functions of $k$ arbitrary halfspaces over $\mathbb{R}^n$, in the challenging distribution-free Probably Approximately Correct (PAC) learning model, ...
https://arxiv.org/abs/2603.08700v1
1
30
6
Our group in Tartu (me, @jannosiim , Roberto Parisella etc) have an opening for up to 3 positions (postdoc or PhD) in ZK. See the link below for more information
crypto.cs.ut.ee/Main/ZKPosit...
loading . . .
Cryptography Research Group
https://crypto.cs.ut.ee/Main/ZKPositions2026
2 days ago
0
3
1
Pkc 2026 paper by
@jannosiim.bsky.social
(group member)
add a skeleton here at some point
5 days ago
0
4
0
Our group in Tartu will have several new PhD positions this year. The first one on the web is this (Lattice-based cryptography, supervised by Maiara Bollauf)
sites.google.com/view/maiarab...
loading . . .
Maiara F. Bollauf - PhD in lattice-based cryptography
The Cryptography Group at the Institute of Computer Science at the University of Tartu invites applications for a PhD position in lattice-based cryptography. The successful candidate will work on the ...
https://sites.google.com/view/maiarabollauf/research/phd-in-lattice-based-cryptography
5 days ago
0
2
0
reposted by
Helger Lipmaa
Julian Loss
5 days ago
Consider attending our CASA summer school on cryptography and distributed computing from June 22.-25. in Bochum! Registration is open until March 12.
casa.rub.de/en/events/ca...
loading . . .
CASA Summer School | Cluster of Excellence CASA | RUB
The annual summer school offers young scientists lectures by high-ranking scientists and international exchange.
https://casa.rub.de/en/events/casa-summer-school
0
7
5
reposted by
Helger Lipmaa
ePrint Updates
12 days ago
What a Wonderful World: zkSNARKs in the Algebraic Group Model are Universally Composable (Gaspard Anthoine, Dario Fiore, Mahak Pancholi)
ia.cr/2026/399
0
3
1
reposted by
Helger Lipmaa
ePrint Updates
17 days ago
Cyclo: Lightweight Lattice-based Folding via Partial Range Checks (Albert Garreta,
Helger Lipmaa
, Urmas Luhaäär, Michał Osadnik)
ia.cr/2026/359
0
0
1
reposted by
Helger Lipmaa
Gautam Kamath
16 days ago
Fantastic post by Colin Raffel, "We Are Over-Indexing on Paper Acceptance," drafted in May 2021 (!) but only posted now. The more things change.. Last sentence: "If you want to judge a researcher’s quality, the only meaningful way is to read their papers and judge for yourself."
3
34
8
Second Eurocrypt paper Cyclo: Lightweight Lattice-based Folding via Partial Range Checks (Garreta, Lipmaa, Luhaäär, Osadnik)
eprint.iacr.org/2026/359
loading . . .
Cyclo: Lightweight Lattice-based Folding via Partial Range Checks
Folding is a powerful technique for constructing efficient succinct proof systems, especially for computations that are expressed in a streaming fashion. In this work, we present Cyclo, a new lattic...
https://eprint.iacr.org/2026/359
17 days ago
0
8
1
Eurocrypt 2026 paper with (ex)students Erki Külaots, Roberto Parisella,
@jannosiim.bsky.social
:
eprint.iacr.org/2026/326
Special Soundness and Binding Properties: A Framework for Tightly Secure zk-SNARKs
loading . . .
Special Soundness and Binding Properties: A Framework for Tightly Secure zk-SNARKs
Interactive arguments often combine polynomial IOPs with polynomials commitment schemes (PCSs). Frequently, the interactive argument is proven to be knowledge sound, but this incurs a high securi...
https://eprint.iacr.org/2026/326
17 days ago
1
5
0
reposted by
Helger Lipmaa
Paolo Santini
24 days ago
📢📢📢 𝐌𝐚𝐆𝐈𝐂 𝟐𝟎𝟐𝟔 𝐌𝐚𝐫𝐜𝐡𝐞 𝐖𝐨𝐫𝐤𝐬𝐡𝐨𝐩 𝐨𝐧 𝐆𝐫𝐨𝐮𝐩 𝐀𝐜𝐭𝐢𝐨𝐧𝐬 𝐢𝐧 𝐂𝐫𝐲𝐩𝐭𝐨𝐠𝐫𝐚𝐩𝐡𝐲 In May 5-8, let's all gather together to speak about Group Actions! Early registration until March 8! Organized with Marco Baldi,
@bsky.defeo.lu
,
@giacomoborin.bsky.social
,
@andreavbasso.bsky.social
magic-workshop.github.io
loading . . .
MaGIC 2026 - Marche Workshop on Group Actions in Cryptography
https://magic-workshop.github.io/
0
5
7
Eurocrypt += 2 One paper with and Erki Külaots PhD student) Roberto Parisella,
@jannosiim.bsky.social
(all from Tartu) Another one with Albert Garrett (Nethermind), Urmas Luhaäär (PhD student, Tartu) and Michal Osadnik (Aalto) Will post more when ready for e-printing
27 days ago
0
5
0
reposted by
Helger Lipmaa
Claudio Orlandi
about 1 month ago
Call for submissions:
#TPMPC2026
(Theory & Practice of MPC) Submit your latest and coolest results by March 2, 2026. Aarhus, Denmark, May 18–22, 2026. Monday: MPC security in practice. Friday: Symposium celebrating Ivan Damgård’s work. Links in comments.
1
6
6
reposted by
Helger Lipmaa
Nico
about 1 month ago
On using LLMs for research (beyond basic prompts). Section 3.2 is specifically about catching a bug in a recent SNARG paper
arxiv.org/abs/2602.03837
loading . . .
Accelerating Scientific Research with Gemini: Case Studies and Common Techniques
Recent advances in large language models (LLMs) have opened new avenues for accelerating scientific research. While models are increasingly capable of assisting with routine tasks, their ability to co...
https://arxiv.org/abs/2602.03837
0
3
2
reposted by
Helger Lipmaa
Vjačeslavs Kaščejevs
about 2 months ago
#QIP2026
is coming to Riga in less than a week! Very excited to find my university (pictured) at the epicenter of a global academic event. PSA: Pack some *really* warm clothing - we've got a real winter this time ❄️
0
17
5
By an ex student (Behzad)
add a skeleton here at some point
about 2 months ago
0
1
0
reposted by
Helger Lipmaa
Toby Murray
about 2 months ago
New ICORE conference rankings are out. Theory, logic and formal methods seem to have been heavily penalised. I vibe coded an analysis of, for each Field of Research (FOR), how many associated venues increased or decreased in rank. Here's the summary. FOR 4613 had 13 venues decrease their rank! 1/2
1
8
5
reposted by
Helger Lipmaa
Clément Canonne
about 2 months ago
What is wild to me is the defense, BY THE NEURIPS BOARD, that fabricated citations do not mean "the content of the papers themselves [is] necessarily invalidated" It does. It very much does. What do you think citing other work is for? What do you think writing a paper is for? What do you *think*?
add a skeleton here at some point
16
250
88
reposted by
Helger Lipmaa
about 2 months ago
In 1943, Norwegian author Knut Hamsun gave his Nobel Prize to Joseph Goebbels. So history _does_ repeat itself.
0
0
1
that's an interesting experiment (as a cryptographer, i am of course worried by adversarial authors)
add a skeleton here at some point
about 2 months ago
0
2
0
This sounds really cool
add a skeleton here at some point
2 months ago
0
2
0
reposted by
Helger Lipmaa
Krijn Reijnders
2 months ago
New year, new pairing
add a skeleton here at some point
1
14
4
reposted by
Helger Lipmaa
Giacomo Fenzi
2 months ago
Super exciting work from Ziyi and Eylon! They construct the first SNARG for NP in the *plain* model (no random oracle) using *only* (subexponential) LWE! Perhaps most surprisingly, the SNARG is one (very clever) instantiation of the classical Killian-Micali construction!
add a skeleton here at some point
1
2
1
reposted by
Helger Lipmaa
Quanta Magazine
3 months ago
It was a big year for mathematics.
youtu.be/hRpcWpAeWng
loading . . .
The Biggest Breakthroughs in Mathematics: 2025
YouTube video by Quanta Magazine
https://youtu.be/hRpcWpAeWng
0
47
20
reposted by
Helger Lipmaa
Nigel Smart
3 months ago
Your quarterly reminder to submit a paper to Communications in Cryptology...
cic.iacr.org
It is Diamond Open Access (readers and authors do not pay) and it contains all your new cool cryptographic research. Next deadline for submission is Feb 2nd.
loading . . .
IACR Communications in Cryptology
https://cic.iacr.org/
0
8
3
reposted by
Helger Lipmaa
Quanta Magazine
3 months ago
If you swap each letter in “bomb” with the next letter in the alphabet, you’ll get “cpnc.” Recently, scientists showed that and other methods can bypass filters on LLMs like Gemini, DeepSeek and Grok.
@peterha2l.bsky.social
reports:
www.quantamagazine.org/cryptographe...
loading . . .
Cryptographers Show That AI Protections Will Always Have Holes | Quanta Magazine
Large language models such as ChatGPT come with filters to keep certain info from getting out. A new mathematical argument shows that systems like this can never be completely safe.
https://www.quantamagazine.org/cryptographers-show-that-ai-protections-will-always-have-holes-20251210/?swcfpc=1
0
23
9
reposted by
Helger Lipmaa
ePrint Updates
3 months ago
SVP_(p) is Deterministically NP-Hard for all p > 2, Even to Approximate Within a Factor of 2^(log^(1 − ε)n) (Isaac M Hair, Amit Sahai)
ia.cr/2025/2181
0
7
3
reposted by
Helger Lipmaa
ePrint Updates
3 months ago
Small-field hash-based SNARGs are less sound than conjectured (
Giacomo Fenzi
, Antonio Sanso)
ia.cr/2025/2197
0
5
2
reposted by
Helger Lipmaa
3 months ago
I've been going over the responses to the survey from IACR members about publishing and conferences, and I keep coming back to the fact that I think there should be _fewer_ conferences and _more_ journals. This coupling of talks to papers is not healthy.
1
9
3
(By ... an exstudent, Shuto)
add a skeleton here at some point
4 months ago
0
1
0
Look, ma, we are in the News
www.nytimes.com/2025/11/21/w...
loading . . .
Cryptographers Held an Election. They Can’t Decrypt the Results.
https://www.nytimes.com/2025/11/21/world/cryptography-group-lost-election-results.html
4 months ago
2
13
3
by ex-student (Hamid)
add a skeleton here at some point
4 months ago
0
0
0
reposted by
Helger Lipmaa
4 months ago
While I can understand how some reviewers in cryptography research are frustrated with the process, I cannot imagine how bad it is in machine learning.
ncfrey.substack.com/p/publishing...
loading . . .
Publishing and communicating research in AI/ML is fundamentally broken
Why researchers should care, and four proposals for how to fix it
https://ncfrey.substack.com/p/publishing-and-communicating-research
0
2
2
reposted by
Helger Lipmaa
Meredith Whittaker
5 months ago
📣 Germany's close to reversing its opposition to mass surveillance & private message scanning, & backing the Chat Control bill. This could end private comms-& Signal-in the EU. Time's short and they're counting on obscurity: please let German politicians know how horrifying their reversal would be.
add a skeleton here at some point
31
2266
1671
reposted by
Helger Lipmaa
ePrint Updates
4 months ago
TensorSwitch: Nearly Optimal Polynomial Commitments from Tensor Codes (Benedikt Bünz,
Giacomo Fenzi
, Ron D. Rothblum, William Wang)
ia.cr/2025/2065
0
3
1
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
loading . . .
Professor of Cybersecurity
https://iacr.org/jobs/item/4075
4 months ago
0
5
2
(accepted to TCC)
add a skeleton here at some point
6 months ago
0
5
0
reposted by
Helger Lipmaa
COSIC
6 months ago
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
loading . . .
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.
https://www.standaard.be/media-en-cultuur/europa-test-leeftijdscontroles-op-het-internet-is-dit-het-einde-van-online-anonimiteit/91343758.html
0
4
3
reposted by
Helger Lipmaa
ePrint Updates
6 months ago
The Syndrome-Space Lens: A Complete Resolution of Proximity Gaps for Reed-Solomon Codes (Russell Okamoto)
ia.cr/2025/1712
0
3
2
reposted by
Helger Lipmaa
Deirdre Connolly¹ ²
6 months ago
not again
arxiv.org/pdf/2509.12341
2
14
6
reposted by
Helger Lipmaa
ePrint Updates
8 months ago
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
0
3
2
reposted by
Helger Lipmaa
Clément Canonne
6 months ago
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.
4
43
5
reposted by
Helger Lipmaa
Jon Ullman
6 months ago
📢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!
2
15
9
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)
loading . . .
https://theorydays2025.quantum.lu.lv/
6 months ago
0
6
0
reposted by
Helger Lipmaa
Tom Gur
6 months ago
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
2
27
3
reposted by
Helger Lipmaa
European Commission
7 months ago
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 💰💰💰💰💰💰💰💰💰💰💰💰💰💰💰💰💰💰
loading . . .
4
206
64
reposted by
Helger Lipmaa
Clément Canonne
7 months ago
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...
1
16
7
reposted by
Helger Lipmaa
Terence Tao
7 months ago
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...
loading . . .
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.
https://newsletter.ofthebrave.org/p/im-an-award-winning-mathematician
20
793
357
Really happy to have Jens Groth visiting us in Tartu and giving a seminar on ZK, zkVMs, and AI on Tuesday
7 months ago
1
7
1
reposted by
Helger Lipmaa
7 months ago
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.
loading . . .
International Association for Cryptologic Research
A place to discuss matters related to IACR
https://discuss.iacr.org
0
9
6
Load more
feeds!
log in