Sumcheck-based zkSNARKs are non-malleable