Module ark_r1cs_std::bits

This module implements gadgets related to bit manipulation, such as Boolean and UInts.

Modules

boolean	This module contains Boolean, a R1CS equivalent of the bool type.
uint	This module contains a macro for generating UIntN types, which are R1CS equivalents of N-bit unsigned integers.
uint8	This module contains UInt8, a R1CS equivalent of the u8 type.
uint16	This module contains the U16 type, which is the R1CS equivalent of the u16 type.
uint32	This module contains the U32 type, which is the R1CS equivalent of the u32 type.
uint64	This module contains the U64 type, which is the R1CS equivalent of the u64 type.
uint128	This module contains the U128 type, which is the R1CS equivalent of the u128 type.

Traits

ToBitsGadget	Specifies constraints for conversion to a little-endian bit representation of self.
ToBytesGadget	Specifies constraints for conversion to a little-endian byte representation of self.