zk-STARKs

Zero-knowledge proofs allowing one party to prove information to another without revealing the data itself.