R1CS witness generation for Keelung By Ting-Gian LUA

議題

TR213 [[ new Date( '2024-08-04 05:30:00+00:00' ).toLocaleDateString('ja', {year: 'numeric', month: '2-digit', day: '2-digit'}) ]] [[ new Date( '2024-08-04 05:30:00+00:00' ).toLocaleTimeString('zh-Hant', {hour12: false, hour: '2-digit', minute:'2-digit'}) ]] ~ [[ new Date( '2024-08-04 06:00:00+00:00' ).toLocaleTimeString('zh-Hant', {hour12: false, hour: '2-digit', minute:'2-digit'}) ]] 中文 Chinese

加入行事曆加入關注加入關注已關注

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.

講者

Ting-Gian LUA

Interested in programming languages, mathematics, and linguistics.

Blockchain and Distributed Ledger CQB3GM general (30mins)