Zero-knowledge Succinct Non-interactive Argument of Knowledge