Naively supporting unsigned types within the Stoffel language would need a comparison e.g. checking that the number is greater or equal to 0. Over arithmetic circuits, this is quite expensive as it is non-linear. This kind of operation is better suited over binary circuits. As such, a better way to support unsigned integers is by considering mixed circuits through daBits or edaBits.
Naively supporting unsigned types within the Stoffel language would need a comparison e.g. checking that the number is greater or equal to 0. Over arithmetic circuits, this is quite expensive as it is non-linear. This kind of operation is better suited over binary circuits. As such, a better way to support unsigned integers is by considering mixed circuits through daBits or edaBits.