zkevm-docs/8-arithmetic.markdown

@@ -399,7 +399,14 @@ arithmetic中的布局:
   输入：length,offset,data_size  
   输出：real_length, zero_length  
 
-
+## U64Overflow
+
+一行：
+- operand: a_hi a_lo w w_inv
+- u16s: a_lo 分拆成8个u_16
+- 约束：w=a_lo的前64位 + a_hi<<64
+- w和w_inv的simple is zero约束
+在core里可以使用4个数[a_hi a_lo w w_inv]进行lookup，再加一个Tag = U64Overflow。使用w*w_inv表示0/1，是否u64 overflow。
 
 # 实现 arithmetic 子电路中 Add 例子