My paper with Antonio Faonio, Sumcheck-based zkSNARKs are Non-Malleable, has been accepted at CRYPTO 2026.