From https://learn.0xparc.org/ 🔑 Zero-knowledge proofs are a way to prove a statement is true without revealing anything beyond the truthiness of the statement. In the map 3-coloring problem, ZK allows you to prove that you can color in each region on a map using one of three colors, such that no two adjacent regions are the same color, without having to show how you colored the map. Fully Homomorphic Encryption let’s you make computations without decrypting the data you are working with.