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
- Merkle sum tree：利用了Poseidon哈希运算和LessThan运算构建：
- Merkle sum tree：利用了Poseidon哈希运算和LessThan运算构建：
总体架构为：
本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场，不承担相关法律责任。如若转载，请注明出处。 如若内容造成侵权/违法违规/事实不符，请点击【内容举报】进行投诉反馈！