=> t = ? t0 + t1*x + t2*x2 && τx = ? z2*r + τ1*x + τ2*x2
1. 验证者随机选取一个数y发送给证明者；
<aL, 2n> = v (5)
=> <aL , (aR + z * 1n) o yn + z2 * 2n> - <z * 1n, yn + yn o aR> = z2 * v
需要校验：=> gthτx =? Vz^2 * gδ*T1x *T2x^2
z2 * <aL, 2n> + z * <aL - 1n- aR, yn> + <aL , aR o yn> = z2 * v (8)
=> 当且仅当l/r well-formed，等式创立
2n：暗示向量{20,21…2n-1}
2. 证明者要证明：
=> gthτx =? hz^2*r + τ1*x + τ2*x^2 * gz^2*v + δ + t1*x + t2*x^2
因此，问题由证明：<L, R> = z2*v + δ
public-x witness-w relation-R
3. 验证者按照L算出来aL，按照<aL, 2n> = v算出v
媒介Bulletproofs，又一个有意思的零常识证明郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
