Send测试

传入数据需满足：v_s < v_old

---

v_old/value_old:转账人转换前零知识余额对应的明文余额

v_s/value_s:需要被转换的明文余额

---

理想测试

uint64_t value_old = uint64_t(20); 
uint64_t value_s = uint64_t(7);

结果：Verifying send proof successfully!

---

v_s = v_old

uint64_t value_old = uint64_t(20); 
uint64_t value_s = uint64_t(20);

结果：generate send proof fail!

---

v_s > v_old

uint64_t value_old = uint64_t(10); 
uint64_t value_s = uint64_t(20);

结果：generate send proof fail!

---

v_s =0

uint64_t value_old = uint64_t(20); 
uint64_t value_s = uint64_t(0);

结果：Verifying send proof successfully!

---

v_s=0 v_old=0

uint64_t value_old = uint64_t(0); 
uint64_t value_s = uint64_t(0);

结果：generate send proof fail!

---

验证proof时的测试参数及测试结果如下：

(1)当

uint256 sn_old = uint256S("123456");
uint256 cmtS = notes.cm();

sn_old，cmtS为生成proof时的参数，验证proof时通过。

结果：verify result = 1 Verifying send proof successfully!!!

---

(2)当

uint256 wrong_sn_old = uint256S("666");
uint256 cmtS = notes.cm();

wrong_sn_old为错误的验证参数，验证proof时不通过。

结果：verify result = 0 Verifying send proof unsuccessfully!!!

---

(3)当

uint256 sn_old = uint256S("123456");
uint256 wrong_cmtS = note_old.cm();

wrong_cmtS为错误的验证参数，验证proof时不通过。

结果：verify result = 0 Verifying send proof unsuccessfully!!!

---