Ec

My paper with Matteo Campanelli and Antonio Faonio, SNARKs for Virtual Machines are Non-Malleable, has been accepted at EUROCRYPT 2025 and ZKProof 7.