zero-knowledge proof

zero-knowledge proof (plural zero-knowledge proofs)

1. (cryptography) An interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.
   • 2020, Lorne Lantz, Daniel Cawrey, Mastering Blockchain, O'Reilly Media, →ISBN, page 185:

     Implementation of a zero-knowledge proof significantly improves the privacy and security of many systems. However, it introduces additional costs in processing power and hard drive space.

   • 2023 May 26, Rand Hindi, “How Homomorphic Encryption Can Make Blockchain Private”, in Forbes‎^[1], New York, N.Y.: Forbes Media, →ISSN, →OCLC, archived from the original on 12 June 2023:

     This issue of privacy in blockchain isn't new, and many ideas have been proposed, such as keeping the data off-chain and using zero-knowledge proofs (ZKPs) to prove we did the right computation (e.g., Aleo and Aztec) or using mixnets to anonymize transactions (e.g., Tornado Cash).

• proof of work

• zero-knowledge proof on Wikipedia.Wikipedia