Deposit实现

文件说明

1、circuit 目录

1.1 commitment.tcc文件

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

证明cmt_B_old == sha256(value_old, sn_old, r_old)

证明cmt_B == sha256(value, sn, r)

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

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

1.2 gadget.tcc文件

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

 * ************* for cmtB_old **************
 * publicData: cmtB_old, sn_old,  
 * privateData: value_old, r_old
 * ************** for cmtB_new **************
 * publicData: cmtB_new  
 * privateData: value_new, sn_new, r_new
 * ************** for cmtS **************
 * publicData: pk_B  
 * privateData: value_s, sn_s, r_s, sn_A
 * ************** for MerkleTree  **********
 * publicData: rt_cmt  
 * privateData: authPath, cmtS

证明以下等式成立：

cmtS == sha256(value_s, pk_B, sn_s, r_s, sn_A)
cmt_B_old == sha256(value_old, sn_old, r_old)
cmtB_new == sha256(value_new, sn_new, r_new)
value_new == value_old + value_s
cmtS在以rt_cmt为根的MerkleTree上

1.3 merkle.tcc文件

基于libsnark自带的sha256_two_to_one_hash_gadget和merkle_tree_check_read_gadget，仿照zcash中的merkle_tree_gadget实现，注意witness的root和path的初始化。

1.4 note.tcc文件

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

1.5 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 deposit_gadget.cpp文件

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

3.3 deposit_gadget.hpp文件

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

3.4 IncrementalMerkleTree.hpp文件

仿照zcash中的IncrementalMerkleTree和IncrementalWitness，实现merkleTree的组织处理，包括path、root、tree和witness，该文件主要包括MerklePath，EmptyMerkleRoots，IncrementalWitness，和IncrementalMerkleTree，SHA256Compress的类模板及其方法。

3.5 IncrementalMerkleTree.tcc文件

仿照zcash中的IncrementalMerkleTree和IncrementalWitness，实现merkleTree的组织处理，包括path、root、tree和witness，该文件主要包括MerklePath，EmptyMerkleRoots，IncrementalWitness，和IncrementalMerkleTree，SHA256Compress的类模板中方法的实现。