zero-knowledge proof framework to prove for example that a bank has the necessary funds, or for a loan application that I make enough without revealing how much