From polynomial IOP and commitments to non-malleable zkSNARKs