Module uint

This module contains a macro for generating UIntN types, which are R1CS equivalents of N-bit unsigned integers.

Structs

UInt

This struct represent an unsigned N bit integer as a sequence of N Booleans.