20221106.learn.log

https://www.youtube.com/watch?v=W_zlH2mmtZA&t=1937s

Note

Arithmetization - Statement to polynomials

UltraPlonk を使って、証明したいことを series of polynomials に変換。

Halo2 では、それぞれの cell が polynomial になっている

Iner product argument

https://scrapbox.io/files/636778ef93a3ff001d0ed82d.png

Bootle et al, 2016

Bullet Proof と似ている

Question

https://scrapbox.io/files/636777439a36df0023723e71.png

a で言われていることがよくわからない