INSTITUTE OF COMPUTER SCIENCE
UniTartuCS Student Projects
Back to projects

ZK-proctor

In progress
applied-cryptographycryptographyopen-sourceprivacyeducation
Bachelor·Project start: 27.05.2026·by: Sofia Scalzo

Pages

ZK-Proctor monitors a candidate's computer during an online exam and produces a cryptographic proof that they followed the rules. The examiner verifies this proof in milliseconds without ever seeing the candidate's actual activity. No video recordings, no privacy violations, just a 300 KB mathematical guarantee. The monitoring agent is written in Python using xdotool for active window detection, psutil for process enumeration, and a Chrome MV3 extension that tracks all open browser tabs via WebSocket. The constraint engine evaluates each event against the exam profile and builds an execution trace in memory. The STARK prover encodes the trace into polynomials over a prime field using NTT, constructs AIR constraint equations, and generates a FRI proof with Merkle tree commitments and Fiat-Shamir challenges. The entire cryptographic stack is implemented from scratch in both Python and Wolfram Mathematica with zero external libraries, only the standard library hashlib for SHA-256.

Files

ZK-Proctor monitors a candidate's computer during an online exam and produces a cryptographic proof that they followed the rules. The examiner verifies this proof in milliseconds without ever seeing the candidate's actual activity. No video recordings, no privacy violations, just a 300 KB mathematical guarantee. The monitoring agent is written in Python using xdotool for active window detection, psutil for process enumeration, and a Chrome MV3 extension that tracks all open browser tabs via WebSocket. The constraint engine evaluates each event against the exam profile and builds an execution trace in memory. The STARK prover encodes the trace into polynomials over a prime field using NTT, constructs AIR constraint equations, and generates a FRI proof with Merkle tree commitments and Fiat-Shamir challenges. The entire cryptographic stack is implemented from scratch in both Python and Wolfram Mathematica with zero external libraries, only the standard library hashlib for SHA-256.

No content yet.