Wednesday, September 17, 2025 10:00 am
-
11:00 am
EDT (GMT -04:00)
Candidate: Vladyslav Yusiuk
Date: September 17, 2025
Time: 10:00am
Location: online
Supervisor: Derek Rayside
All are welcome!
Abstract:
As new applications for blockchain technology emerge, the capability to compute while preserving privacy secrets becomes extremely important. Verifying computations without data exposure using ZKPs is gaining mass adoption for Layer 2 solutions like ZK Rollups. There are general-purpose SAT solvers that perform logical operations such as DPLL and Chaff, however, their application in zero-knowledge systems is understudied.