Why Zero Knowledge Proofs are like a Lunar Landscape.

We're writing a series exploring the famous "Moon Math" paper, but we are taking the name literally.

We are going on an 8-stop journey around the Moon to learn ZKP

My favourite stop? Chapter 2: The Bay of Rainbows (Sinus Iridum).

In ZKPs, the hardest mental shift is understanding how we turn a rigid computer program into a geometric shape.
It’s exactly like the landscape of Sinus Iridum.

We take scattered "rocks" of data—disconnected computational steps and use interpolation to smooth them into a continuous, perfect arc, just like the mountain range bordering the bay.

If you move just one rock (falsify one step of the code), the entire curve ripples and changes shape.

That "fragility" is how we prove truth without revealing secrets.

Join us to explore the beauty of the Moon and the beauty of Maths