summa-solvency：基于Halo2的偿付能力证明方案

1. 引言

前序博客：

• 更安全的CEX：偿付能力证明
• proof of solvency（偿付能力证明）方案

开源代码见：

• https://github.com/summa-dev/summa-solvency（Rust）

summa-solvency基于Halo2实现了以下电路gadget：

• Poseidon哈希运算
• LessThan运算：即有2个witness lhs和rhs，若lhs<rhs，则返回1，否则返回0。
• Merkle sum tree：利用了Poseidon哈希运算和LessThan运算构建：
  

总体架构为：