§ About
More about the lab.
A longer about page with the lab's mission, people, and philosophy is on the way. For now, head back home for the overview, or follow along on org.weids.dev.
eidS Lab — research on verifiable computingVerifiable computing is the field of making any program prove what it actually did. Alongside its result, the program produces a small cryptographic proof of the computation — often much smaller and faster to verify than the computation itself. Anyone can check the proof without re-running the program, and without trusting the hardware that ran it.The Knowledge Complexity of Interactive Proof-SystemsGoldwasser, Micali, Rackoff·STOC 1985Read↗A Survey of Interactive Verifiable ComputingAngold J. Wang·WeidS Lab, 2025Read↗.