Rob Knight
Rob Knight is a Research Engineer at 0xPARC. He was a maintainer of the Zupass project, and more recently a contributor to the POD project.
Session
05-10
11:15
25min
POD: recursive, logical, client-side proofs
Rob Knight
POD is a recursive, logical, client-side proof system we've been building at 0xPARC. Recursive client-side proving is newly feasible and it changes what ZK is for: not just hiding data from verifiers, but letting parties prove to each other and compose claims across protocols. I'll cover the system, the language, and real-world experiences of building with it.
ZeroKnowledge proofs & Cutting edge
Sladkovský Stage