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.