2024-08-04, 13:30–14:00 (Asia/Taipei), TR213
Witness generation is a critical step in the creation of zero-knowledge proofs. This talk will focus on witness generation for Rank-1 Constraint Systems (R1CS) within Keelung, a Haskell-based zero-knowledge domain-specific language we are developing. We will discuss the challenges of developing and optimizing constraint solvers for witness generation. Additionally, we will showcase how Keelung allows developers to write programs that provide hints to the solver, enhancing efficiency and effectiveness in witness generation.
Interested in programming languages, mathematics, and linguistics.