דלג לתוכן (מקש קיצור 's')
אירועים

אירועים והרצאות בפקולטה למדעי המחשב ע"ש הנרי ומרילין טאוב

event speaker icon
בן פיש (אונ' סטנפורד)
event date icon
יום ראשון, 08.09.2019, 12:30
event location icon
טאוב 201
We construct a new interactive polynomial commitment scheme using groups of unknown order. The interactive evaluation argument is public-coin and has logarithmic communication in the degree of the polynomial. The scheme does not require a trusted setup if instantiated with class groups. We apply this as a cryptographic compiler to polynomial IOPs in order to obtain preprocessing public-coin interactive arguments of knowledge with succinct online communication (without trusted setup). Instantiated with the IOP from Sonic (Maller et al, CCS 2019), the argument has logarithmic online communication/verification, quasi-linear prover time and preprocessing.

More generally, we provide a compiler for algebraic linear IOPs, such as one based on QAPs, but with less practical prover time (i.e. quadratic).