In 1998, Hal Finney, who later became a Bitcoin pioneer, introduced a zero-knowledge proof for SHA-1 at the Crypto Conference.