Ting-Gian LUA
Interested in programming languages, mathematics, and linguistics.
Sessions
08-04
13:30
30min
R1CS witness generation for Keelung
Ting-Gian LUA
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.
Blockchain and Distributed Ledger
TR213