LogUp GKR

概览logUp是一种高效的查表论证方案，其核心是证明一个“分数和”为零：∑x⃗(m(x⃗)α−t(x⃗)−∑i=1M1α−wi(x⃗))=0\sum_{\vec{x}}\left(\frac{m(\vec Layer0到Layern），每层进行射影坐标下的分数加法(a,b)+(c,d)=(ad+bc,bd)(a,b)+(c,d)=(ad+bc,bd)(a,b)+(c,d)=(ad+bc,bd)成本对比：传统logUp 每个叶子节点对应超立方体HnH_nHn​上的一个点x⃗\vec{x}x每个节点存储一个分数对(pn(x⃗),qn(x⃗))(p_n(\vec{x}),q_n(\vec{x}))(pn​(x),qn​(x))对于logUp