Sumcheck-Based zkSNARKs are Non-malleable.

Antonio Faonio, Luigi Russo

Browse the full CRYPTO paper archive.