A method where you can convince someone you know "something" without revealing what that thing is
eg. Location of some treasure, a Sudoku Solution, Where is Waldo
If n2n^2n2 is even, then nnn is even
An argument showing that the stated assumptions logically guarantee the conclusion.
The treasure is buried at 43.44588, -80.50090
A process in which you prove to another party that you know "something"
vs.
❓
✅
🤖
Alibaba's Cave
"Spooky Moon Math"
"Shouldn't be possible"
1. There is limited "types" of statements/problems you can construct a ZKP for. Not all information can be conveyed via a ZKP
2. The way you construct a ZKP for a type of information is unique and hard to discover.
Turns out both are false!
You can encode any information in a ZKP and there's a known process to do it!
At any point if I reveal two nodes of the same color I know you are full of shit
I know this is super simple, but the complexity scales up pretty quick
Define our "literals" (things that are either true or false)
True
False
Neutral
A
B
A or B
By Scott Tolksdorf
