flâneur

1022.pdf

eprint.iacr.org · 8,223 words · saved by 1 readers

N/A

Polynomial IOPs for Linear Algebra Relations Alan Szepieniec Yuncong Zhang alan@nervos.org shjdzhangyuncong@sjtu.edu.cn Nervos Foundation Shanghai Jiao Tong University Abstract. This paper proposes new Polynomial IOPs for arithmetic cir- cuits. They rely on the monomial coefficient basis to represent the matri- ces and vectors arising from the arithmetic constraint satisfaction system, and build on new protocols for establishing the correct computation of linear algebra relations such as…

related reading