An efficiently-verifiable zero-knowledge argument for proofs of knowledge