Refactor: removed obsolete game code, updated ZKP tutorial scenes

Author: Susmita-Chakrabarty

ZKP_Demo_Tool/tutorial/run_all_scenes.py

@@ -0,0 +1,52 @@
+import sys
+import subprocess
+from PyQt5.QtWidgets import (
+    QApplication, QWidget, QPushButton, QLabel, QVBoxLayout
+)
+from PyQt5.QtGui import QFont
+from PyQt5.QtCore import Qt
+
+class ZKPSceneLauncher(QWidget):
+    def __init__(self):
+        super().__init__()
+        self.setWindowTitle("🔐 Zero-Knowledge Proof Demo Launcher")
+        self.setGeometry(300, 200, 500, 320)
+        self.setStyleSheet("background-color: #1e1e1e; color: white;")
+
+        layout = QVBoxLayout()
+        layout.setSpacing(15)
+
+        title = QLabel("🎓 Launch a Scene")
+        title.setFont(QFont("Arial", 18, QFont.Bold))
+        title.setAlignment(Qt.AlignCenter)
+        layout.addWidget(title)
+
+        # Scene 1
+        scene1_btn = QPushButton(" Scene 1: Introduction to Commitment")
+        scene1_btn.clicked.connect(lambda: self.launch("tutorial_scene.py"))
+        layout.addWidget(scene1_btn)
+
+        # Scene 2
+        scene2_btn = QPushButton("🎮 Scene 2: Commitment Game")
+        scene2_btn.clicked.connect(lambda: self.launch("scene2_commitment.py"))
+        layout.addWidget(scene2_btn)
+
+        # Scene 3
+        scene3_btn = QPushButton("🔀 Scene 3: Bipartite Graph ZKP")
+        scene3_btn.clicked.connect(lambda: self.launch("scene3_bipartate.py"))
+        layout.addWidget(scene3_btn)
+
+        # Style all buttons
+        for btn in [scene1_btn, scene2_btn, scene3_btn]:
+            btn.setStyleSheet("padding: 12px; font-size: 14px; background-color: #2a2a2a; border-radius: 8px;")
+
+        self.setLayout(layout)
+
+    def launch(self, script_path):
+        subprocess.Popen(["python", script_path])
+
+if __name__ == "__main__":
+    app = QApplication(sys.argv)
+    launcher = ZKPSceneLauncher()
+    launcher.show()
+    sys.exit(app.exec_())

ZKP_Demo_Tool/tutorial/scene2_commitment.py

@@ -1,12 +1,15 @@
 import sys
+import subprocess
 import hashlib
 import random
 from PyQt5.QtWidgets import (
     QApplication, QWidget, QLabel, QPushButton, QVBoxLayout, QGraphicsScene,
-    QGraphicsView, QGraphicsEllipseItem, QGraphicsTextItem, QGraphicsLineItem, QMessageBox, QHBoxLayout, QGraphicsOpacityEffect
+    QGraphicsView, QGraphicsEllipseItem, QGraphicsTextItem, QGraphicsLineItem,
+    QHBoxLayout, QScrollArea
 )
 from PyQt5.QtGui import QFont, QPen, QBrush, QColor
-from PyQt5.QtCore import Qt, QPointF, QLineF, QPropertyAnimation, QEasingCurve
+from PyQt5.QtCore import Qt, QPointF, QLineF
+
 
 class ZKPNode:
     def __init__(self, name, role_label, position, color):
@@ -19,6 +22,7 @@ def __init__(self, name, role_label, position, color):
         self.revealed_role = role_label
         self.revealed_nonce = self.nonce
 
+
 class NarrationEngine:
     @staticmethod
     def format_log(node1, node2, binding_ok, hiding_ok, binding_broken=False):
@@ -43,12 +47,12 @@ def format_log(node1, node2, binding_ok, hiding_ok, binding_broken=False):
             log += "   ✅ Matches original commitments — Binding held.\n\n"
 
         if not binding_broken and hiding_ok:
-            log += "✅ Hiding held — Verifier only learns that roles are different.\n ZKP passed successfully.\n"
+            log += "✅ Hiding held — Verifier only learns that roles are different.\nZKP passed successfully.\n"
         elif not binding_broken and not hiding_ok:
-            log += f"⚠️ Hiding broken — {node1.name} and {node2.name} revealed same role!\n ZKP failed. Verifier now knows part of the secret mapping.\n"
+            log += f"⚠️ Hiding broken — {node1.name} and {node2.name} revealed same role!\nZKP failed. Verifier now knows part of the secret mapping.\n"
 
         log += """
-Explanation:
+📘 Explanation:
 - Binding ensures that once a role is committed with a hash, it can't be changed.
 - Hiding ensures that the hash doesn't reveal the actual role until the reveal phase.
 - If two adjacent nodes share the same role, it can indicate a conflict of interest or security flaw.
@@ -57,6 +61,7 @@ def format_log(node1, node2, binding_ok, hiding_ok, binding_broken=False):
 """
         return log
 
+
 class SceneZKPGraph(QWidget):
     def __init__(self):
         super().__init__()
@@ -68,20 +73,40 @@ def __init__(self):
         self.view = QGraphicsView(self.scene)
         self.view.setStyleSheet("background-color: #1e1e1e; border: none;")
 
+        # Scrollable narration box
         self.text_output = QLabel()
         self.text_output.setWordWrap(True)
         self.text_output.setFont(QFont("Courier New", 12))
         self.text_output.setStyleSheet("background-color: #1c1c1c; padding: 10px; border: 1px solid #444; color: white;")
+        scroll = QScrollArea()
+        scroll.setWidgetResizable(True)
+        scroll.setWidget(self.text_output)
+        scroll.setMinimumHeight(250)
 
         self.verify_button = QPushButton("🎯 Simulate ZKP Verification")
         self.verify_button.setFont(QFont("Arial", 14))
         self.verify_button.setStyleSheet("padding: 10px; background-color: #2d3436; color: white; border-radius: 8px;")
         self.verify_button.clicked.connect(self.reveal_connection)
 
+        self.next_button = QPushButton("➡ Next: Scene 3 - Bipartate Graph")
+        self.next_button.setFont(QFont("Arial", 13, QFont.Bold))
+        self.next_button.setStyleSheet(
+            "background-color: #0055ff; color: white; padding: 10px; border-radius: 10px;"
+        )
+        self.next_button.clicked.connect(self.go_to_next_scene)
+
         layout = QVBoxLayout()
         layout.addWidget(self.view)
         layout.addWidget(self.verify_button)
-        layout.addWidget(self.text_output)
+        layout.addWidget(scroll)
+
+        # Center the button using a horizontal layout
+        button_layout = QHBoxLayout()
+        button_layout.addStretch()
+        button_layout.addWidget(self.next_button)
+        button_layout.addStretch()
+        layout.addLayout(button_layout)
+
         self.setLayout(layout)
 
         self.nodes = []
@@ -100,7 +125,7 @@ def build_graph(self):
             ("Insider",     "Validator", QPointF(150, 450), QColor("#f1c40f"))
         ]
 
-        connections = [(0,1), (1,2), (2,4), (3,1), (5,2), (0,5)]
+        connections = [(0, 1), (1, 2), (2, 4), (3, 1), (5, 2), (0, 5)]
 
         for name, role, pos, color in layout:
             node = ZKPNode(name, role, pos, color)
@@ -156,6 +181,11 @@ def reveal_connection(self):
         )
         self.text_output.setText(log)
 
+    def go_to_next_scene(self):
+        subprocess.Popen(["python", "scene3_bipartate.py"])
+        self.close()
+
+
 if __name__ == "__main__":
     app = QApplication(sys.argv)
     window = SceneZKPGraph()

ZKP_Demo_Tool/tutorial/tutorial_scene.py

@@ -1,34 +1,32 @@
+import sys
+import subprocess
 from PyQt5.QtWidgets import (
-    QWidget, QLabel, QPushButton, QVBoxLayout, QHBoxLayout, QApplication, QGraphicsOpacityEffect
+    QWidget, QLabel, QPushButton, QVBoxLayout, QHBoxLayout, QApplication,
+    QGraphicsOpacityEffect, QTextEdit
 )
-from PyQt5.QtGui import QPixmap, QFont, QColor, QPalette
+from PyQt5.QtGui import QPixmap, QFont
 from PyQt5.QtCore import Qt, QPropertyAnimation, QEasingCurve
-import sys
-from PyQt5.QtGui import QIcon
-from PyQt5.QtCore import QResource
-
 
 class ZKPTutorial(QWidget):
     def __init__(self):
         super().__init__()
-        self.setWindowTitle("ZKP Animated Tutorial - Scene 1")
-        self.setGeometry(300, 200, 900, 650)
+        self.setWindowTitle("Scene 1: Introduction to ZKP")
+        self.setGeometry(300, 200, 900, 700)
         self.setStyleSheet("background-color: #121212; color: white;")
 
         self.init_ui()
         self.animate_scene()
 
     def init_ui(self):
-        # Main layout
         self.layout = QVBoxLayout()
 
         # Title
-        self.title_label = QLabel("\u2728 Scene 1: Roles in the Network")
+        self.title_label = QLabel("Scene 1: Roles in the Network + Commitment Primer")
         self.title_label.setAlignment(Qt.AlignCenter)
         self.title_label.setFont(QFont("Arial", 24, QFont.Bold))
         self.layout.addWidget(self.title_label)
 
-        # Image area (placeholder)
+        # Image placeholder
         self.image_label = QLabel()
         pixmap = QPixmap("../assets/scene1.png")
         if pixmap.isNull():
@@ -40,20 +38,20 @@ def init_ui(self):
             self.image_label.setAlignment(Qt.AlignCenter)
         self.layout.addWidget(self.image_label)
 
-        # Narration text
+        # Story-style narration
         self.narration_label = QLabel()
         self.narration_label.setWordWrap(True)
-        self.narration_label.setFont(QFont("Georgia", 16))
+        self.narration_label.setFont(QFont("Georgia", 15))
         self.narration_label.setAlignment(Qt.AlignLeft)
         self.narration_label.setText(
             "<p>✨ <b>Every adventure needs a team —</b><br>"
             "and in the world of secure transactions, three heroes take the stage!</p>"
 
             "<p>🟦 <b>Initiator</b> starts the quest:<br>"
-            "They say, “I want to make a move!” 💸</p>"
+            "They say, “I want to make a move!” </p>"
 
             "<p>🔺 <b>Validator</b> checks the map:<br>"
-            "“Is this legit? Let me verify...” 🔍</p>"
+            "“Is this legit? Let me verify...” </p>"
 
             "<p>🟩 <b>Receiver</b> opens the treasure chest:<br>"
             "“It’s real. I’m in. Transaction complete!” </p>"
@@ -63,19 +61,34 @@ def init_ui(self):
             "💡 <i>without showing the treasure itself?</i></p>"
 
             "<p>That’s where <b>Zero-Knowledge Proofs</b> enter the story.<br>"
-            " Ready to see some cryptographic magic?</p>"
+            "Ready to see some cryptographic magic?</p>"
         )
         self.layout.addWidget(self.narration_label)
 
-        # Navigation button
-        self.next_button = QPushButton("▶ Next")
+        # Technical ZKP Explanation
+        self.technical_box = QTextEdit()
+        self.technical_box.setReadOnly(True)
+        self.technical_box.setStyleSheet("background-color: #1a1a1a; color: #ccc; font-family: Courier; font-size: 13px;")
+        self.technical_box.setText(
+            "Cryptographic Primer:\n\n"
+            "We create a commitment to the secret:\n"
+            "    commit = H(secret || nonce)\n\n"
+            "This hash is like a sealed envelope.\n"
+            "The verifier can challenge us to reveal only part of the secret.\n\n"
+            "✅ Binding: We can't change the secret after committing.\n"
+            "Hiding: The verifier sees only what we show — never the full secret.\n"
+        )
+        self.layout.addWidget(self.technical_box)
+
+        # Next button
+        self.next_button = QPushButton("➡ Next: Scene 2 - Commitment Game")
         self.next_button.setFont(QFont("Arial", 13, QFont.Bold))
         self.next_button.setStyleSheet(
-            "background-color: #1f1f1f; color: white; padding: 10px; border-radius: 10px;"
+            "background-color: #0055ff; color: white; padding: 10px; border-radius: 10px;"
         )
         self.next_button.clicked.connect(self.go_to_next_scene)
 
-        # Center the button
+        # Center next button
         button_layout = QHBoxLayout()
         button_layout.addStretch()
         button_layout.addWidget(self.next_button)
@@ -93,12 +106,12 @@ def animate_scene(self):
         animation.setStartValue(0.0)
         animation.setEndValue(1.0)
         animation.setEasingCurve(QEasingCurve.InOutQuad)
-        animation.start() 
-        self.fade_animation = animation  # Keep reference to avoid garbage collection
+        animation.start()
+        self.fade_animation = animation  # prevent garbage collection
 
     def go_to_next_scene(self):
-        print("Next scene triggered (hook this up later)")
-
+        subprocess.Popen(["python", "scene2_commitment.py"])
+        self.close()
 
 if __name__ == '__main__':
     app = QApplication(sys.argv)