OIST Visiting Program
2 February 2026
From January 13th to January 26th Sebastian Spindler participated in the first two weeks of the OIST Thematic Program “Isogeny-based Cryptography” in Onna (Okinawa, Japan). The mornings started off with many interesting research talks, and afterwards the participants formed smaller groups to brainstorm on various topics in the current landscape of isogeny-based cryptography; during the first week these brainstorm sessions focused on the more theoretical mathematical foundations of the field, while the second week shifted the focus to cryptanalysis of current schemes and reductions between different security assumptions.
As part of the morning presentations, Sebastian also gave his talk “The recent history of l^•-isogeny proofs of knowledge”, in which he surveyed the recent developments of proofs of knowledge for isogeny paths. These developments mainly include the QuSAC Lab’s CRYPTO paper “More Efficient Isogeny Proofs of Knowledge via Canonical Modular Polynomials” and its soon to be published follow-up “On the Use of Atkin and Weber Modular Polynomials in Isogeny Proofs of Knowledge” as well as the Asiacrypt paper “Faster Proofs and VRFs from Isogenies” written by QuSAC collaborators Robi Pedersen and Shai Levin.