Leveraging High-Performance Computing for Efficient STARK Provers
11-13, 13:00–13:30 (Asia/Bangkok), Stage 3

Zero-Knowledge Proof (ZKP) protocols' applicability hinges on the prover's ability to efficiently generate proofs. This talk explores the computational aspects affecting ZKP performance, specifically focusing on STARK provers. We will analyze performance across high-performance and standard computing architectures and interpret results by examining key workload characteristics. From this understanding, we can project ZKP capabilities in future scenarios.

Research Engineer at Polygon, specializing in optimizing the computing performance of Zero-Knowledge Provers. Previously, I worked as a researcher at the Barcelona Supercomputing Center, focusing on high-performance numerical simulation.