Expand description
ZK gadget implementations
Modulesยง
- arithmetic
- Base field arithmetic gadget
- cond_
select - Conditional selection
- is_
equal - is_equal comparison gadget
- is_zero
- is_zero comparison gadget
- less_
than - Field-native less than comparison gadget with a lookup table Less-Than Gadget
- native_
range_ check - Field-native range check gadget with a lookup table
- small_
range_ check - Small range check, 0..8 bits
- smt
- Poseidon-based sparse Merkle tree chip
- zero_
cond - Conditional selection based on lhs (will output lhs if lhs==0, otherwise rhs)