Skip to content

Commit 0153b77

Browse files
Output each stage: selection, commitment, challenge, and verification
1 parent 35b8c64 commit 0153b77

File tree

1 file changed

+8
-0
lines changed

1 file changed

+8
-0
lines changed

ZKP_Demo_Tool/zkp_gui_game.py

+8
Original file line numberDiff line numberDiff line change
@@ -74,3 +74,11 @@ def __init__(self):
7474
container = QWidget()
7575
container.setLayout(main_layout)
7676
self.setCentralWidget(container)
77+
def run_zkp_simulation(self):
78+
start = self.start_selector.currentText()
79+
end = self.end_selector.currentText()
80+
self.output_panel.append(f"[1] Selected start: {start}, end: {end}")
81+
self.output_panel.append("[2] Committing to a path (simulated)...")
82+
self.output_panel.append("[3] Verifier asks: Reveal the path length or a random edge?")
83+
self.output_panel.append("[4] Revealed segment matches commitment. Proof accepted.\n")
84+

0 commit comments

Comments
 (0)