This crate contains a collection of primitives for use when building circuits. The primitives are separated into two types: standalone Airs and [SubAir]s.
The following modules contain standalone Airs:
- [range]
- [range_gate]
- [range_tuple]
- [var_range]
- [xor]
The following modules contain [SubAir]s:
- [assert_less_than]
- [bigint]
- [bitwise_op_lookup]
- [encoder]
- [is_equal]
- [is_equal_array]
- [is_less_than]
- [is_less_than_array]
- [is_zero]