From Polynomial IOP and Commitments to Non-malleable zkSNARKs | Publicación