Send实现

文件说明

1、circuit 目录

1.1 commitment.tcc文件

基于libsnark自带的sha256的电路，重新构造sha256_two_block_gadget电路，支持两个blocks的哈希，

证明cmt_A == sha256(value_A, sn_A, r_A)

重新构造sha256_three_block_gadget电路，支持三个blocks的哈希，

证明cmt_S == sha256(value_s, pk_B, sn_s, r_s, sn_A)

1.2 comparison.tcc文件

基于libsnark自带的comparison_gadget的, 重新构造less_comparison_gadget电路，证明A < B的关系

1.3 gadget.tcc文件

整合上述子电路，构造支持send的电路，根据以下已知条件：

 * ************* for cmtA_old **************
 * publicData: sn_A_old,  
 * privateData: value_old, r_old, cmtA_old
 * ************** for cmtS **************
 * publicData: cmtS, sn_A_old  
 * privateData: value_s, sn_s, r_s, pk_B

证明以下等式成立：

cmt_A_old == sha256(value_old, sn_old, r_old)
cmt_S == sha256(value_s, pk_B, sn_s, r_s, sn_old)
value_s < value_old

1.4 note.tcc文件

基于libsnark自带的packing_gadget的, 重新改写get_field_element_from_bits_by_order()函数，实现域上二进制到域上十进制的转化

1.5 less_cmp.tcc文件

重写libsnark自带的比较电路，添加加法约束，构造note_gadget_with_comparison_for_value_old的电路,

证明 value_s < value_old

1.6 utils.tcc文件

包含gadget辅助函数，实现类型转化等操作

2、deps 目录

该目录复制于zcash，主要是使用正常sha256函数所依赖的的库文件，需要特别说明的是libsodium,该库主要用来产生uint256类型的随机数;

libsodium库下载地址：https://download.libsodium.org/libsodium/releases/old/unsupported/libsodium-1.0.8.tar.gz

libsodium安装方法：https://download.libsodium.org/doc/installation

libsodium编译方法：在CMakeLists.txt的target_link_libraries()中添加sodium，并在相应的文件中导入#include "deps/sodium.h"

3、其他文件

3.1 main.cpp文件

简单封装，内含函数入口，支持测试

3.2 send_gadget.cpp文件

仿照zcash封装Init，Generate，Prove和Verify操作

3.3 send_gadget.hpp文件

仿照zcash实现Init，Generate，Prove和Verify操作

3.4 Note.h文件

含有Note结构体，用于包装value，sn和r，计算cmtA的哈希值

含有NoteS结构体，用于包装value_s，pk_B, sn_s, r_s和sn_A_old，计算cmtS的哈希值

3.5 uint256.h文件

从bitcoin中导入的文件，支持uint256相关操作，添加uint160的方法

3.6 util.h文件

包含辅助函数，实现vector类型的相关转换等操作