Zero-Knowledge Proofs in #blockchain Done Right