Polylogarithmic Proofs for Multilinears over Binary Towers

ePrint Report: Polylogarithmic Proofs for Multilinears over Binary Towers

Benjamin E. Diamond, Jim Posen

We introduce a polylogarithmic-verifier polynomial commitment scheme for multilinears over towers of binary fields. To achieve this, we adapt an idea of Zeilberger, Chen and Fisch's BaseFold ('23) to the setting of binary towers, using FRI (ICALP '18)'s binary-field variant. In the process, we reinterpret Lin, Chung and Han (FOCS '14)'s novel polynomial basis so as to make apparent its compatibility with FRI. We moreover introduce …

binary chen diamond eprint report idea report