At the time of Finney's talk, zero-knowledge proofs were theoretically possible, but generally viewed as inefficient or