adding graph 3-coloring ZKP

eyereasoner · Jan 10, 2025 · 0d8a68d · 0d8a68d
1 parent 6868be0
commit 0d8a68d
Show file tree

Hide file tree

Showing 5 changed files with 923 additions and 0 deletions.
diff --git a/reasoning/graph-3-coloring/README b/reasoning/graph-3-coloring/README
@@ -0,0 +1,8 @@
+----------------
+Graph 3-Coloring
+----------------
+
+Zero-Knowledge Proof for Graph 3-Coloring
+Alice wants to prove to Bob that she knows a valid 3-coloring of a graph without revealing the actual colors.
+A 3-coloring means assigning one of three colors to each vertex so that no two adjacent vertices share the same color.
+Bob can verify that the proof is correct without learning the actual coloring.