Swissogeny Day 2026
23 March 2026
On 20 March 2026, QuSAC researcher Marzio Mula gave a talk at the Swissogeny Day 2026, hosted at IBM Research Zurich.
In his talk, “SNARK Magic and Other Tricks for Proving Isogeny Knowledge”, Marzio presented recent work on non-interactive zero-knowledge proofs of knowledge of isogenies. Such proofs are useful to demonstrate the possession or well-formedness of cryptographic public keys, to support multiparty generation of supersingular elliptic curves with unknown endomorphism ring, and as building blocks digital signatures.
The talk focused on approaches based on encoding isogeny relations into general-purpose proof systems, such as R1CS-based frameworks and polynomial IOPs. While these methods typically lead to larger proofs, he showed how significant improvements can be achieved both at the mathematical level, by selecting more suitable formulations of the isogeny relation, and at the cryptographic level, by optimizing or adapting the underlying proof systems.
The event brought together researchers working on isogeny-based cryptography and provided an excellent opportunity to exchange ideas and discuss recent developments in the area.