1 Introduction
Preface blog:
See open source code:
summa-solvency implements the following circuit gadgets based on Halo2:
- Poseidon hashing
- LessThan operation: there are two witnesses lhs and rhs, if lhs<rhs, return 1, otherwise return 0.
- Merkle sum tree: constructed using Poseidon hash operations and LessThan operations:
The overall structure is: