Zero-Knowledge Puzzles

∑ Protocols

Figure 1: ∑ Protocol
Figure 2: ∑ protocol to prove knowledge of x under 𝜑
Figure 3: Non-interactive ∑ protocol to prove knowledge of x under 𝜑

Examples of ZK Puzzles

Contract P2GPK

x * G == Y || x * G == Z

x * G == X && y* G == Y || x * G == X && z * G == Z || y * G == Y && z * G == Z

Acknowledgements

--

--

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store