I am a Ph.D. researcher at Aalto University under a joint supervision of Russell W. F. Lai and Parinya Chalermsook.
My research interests include lattice-based cryptography, abstract algebra, succinct argument systems, time-based primitives, and fully homomorphic encryption. I enjoy programming and the practical aspects of cryptosystems. I am very open to new collaborations and exploring new areas of cryptography.
Before starting my Ph.D. studies in 2023, I worked as a research assistant at Parinya Chalermsook's research group at Aalto (2021-2023), where I also finished my M.Sc. in 2023. I worked as a full-time employee or long-term consultant in the following companies: Para (form. Capsule; 2022-2023), Rainbow (2020-2022), FlipFit (2020), Software Mansion (2017-2020), Printbox (2016). I was interning in Meta (2019) and Palantir (2021). Throughout all of those involvements, I mainly focused on mobile engineering, web development, blockchain integrations, and animations. My most significant open-source projects are available on my GitHub.
Find my CV.
Publications
PikkuFold: Efficient Folding in a Few Kilobytes
Michał Osadnik
Zinc+: SNARKs for Polynomial Rings
Alexander Abdugafarov, Albert Garreta, Amit Kumar, Michał Osadnik, Psi Vesely, Ilia Vlasov, Kai Zhe Zheng
SALSAA – Sumcheck-Aided Lattice-based Succinct Arguments and Applications
Shuto Kuriyama, Russell W. F. Lai, Michał Osadnik, Lorenzo Tucci
Thesis: Fixed Parameter Tractable Algorithm and Coreset for the Ordered k-Median problem
Michał Osadnik
2023
Blog
RoKoko under Standard Assumptions
13 Sep 2026
Instantiating RoKoko under standard SIS is almost for free.
Knowledge as a Personal Commitment
10 Aug 2026
A reflection on the nature of knowledge in view of recent AI developments.
More efficient Lattice Folding via ℓ₂-Norm Checks
28 Oct 2025
Increase the efficiency of LatticeFold+ by replacing range-checks with ℓ₂-norm checks from Rok and Roll and SALSAA.
Connect
Feel free to contact me at michal.osadnik@aalto.fi