Proofs, Arguments, and Zero-Knowledge