范围证明（新的）

数学、密码学基础：

• 二进制转换及等式

• 盲化因子

• 普邓森见证

• 散列哈希
• 多项式
• 内乘积
• 随机数
• 内乘积证明

5 个步骤：

• 原始消息和盲化因子 A, S, Cy, Cz
• 构造内乘积和多项式 T1, T2, Cx
• 内乘积=多项式 Th, thatPrime, that
• 随机数 Tau, Mu
• 内乘积证明 IPP

包含其核心算法：

• 生成
• 验证

ProveRangeBulletproof

生成“范围证明”实际出口。

Reverse

AddKeys_return

BULLETPROOF_Prove

这是核心算法！

// prove V 邓普森见证

// prove aL,aR 字节转换

// prove STEP 1
// PAPER LINES 38-39 A
// PAPER LINES 40-42 S
// PAPER LINES 43-45
// Polynomial construction before PAPER LINE 46
// STEP 1 complete above

// STEP 2 starts
// PAPER LINES 47-48 T1, T2
// PAPER LINES 49-51
// PAPER LINES 52-53 taux, mu
// PAPER LINES 54-57 l, r
// STEP 2 complete

// STEP 3 starts t
// PAPER LINES 32-33
// STEP 3 complete

// STEP 4 starts
// PAPER LINE 13
// PAPER LINE 15
// PAPER LINES 16-17 cL, cR
// PAPER LINES 18-19 L, R
// PAPER LINES 21-22
// PAPER LINES 24-25
// PAPER LINES 28-29 a, b

BULLETPROOF_Prove_Amount

简单封装上面的 BULLETPROOF_Prove

BULLETPROOF_BasicChecks

BULLETPROOF_Verify

这是核心算法！

实际没有用到，用的是快速验证算法。