Struct SignConverter

pub struct SignConverter<UPrimitive: UnsignedAddPrimitives, const BIT_LENGTH: usize> {
    pub converted_bits: [Col<B1>; BIT_LENGTH],
    /* private fields */
}

Simple struct to convert to and from Two’s complement representation based on bits. See SignConverter::new

NOTE: We do not handle witness generation for the converted_bits and should be handled by caller

Fields

converted_bits: [Col<B1>; BIT_LENGTH]

Implementations

impl<UPrimitive: UnsignedAddPrimitives, const BIT_LENGTH: usize> SignConverter<UPrimitive, BIT_LENGTH>

pub fn new( table: &mut TableBuilder<'_>, xin: [Col<B1>; BIT_LENGTH], conditional: Expr<B1, 1>, ) -> Self

Used to conditionally select bit representation based on the MSB (sign bit)

Parameters

• in_bits: The input bits from MSB to LSB
• conditional: The conditional bit to choose input bits, or it’s two’s complement

Example

• If the conditional is zero, the output will be the input bits.
• If the conditional is one, the output will be the two’s complement of input bits.

pub fn populate<P>(&self, index: &mut TableWitnessSegment<'_, P>) -> Result<()>

where P: PackedField<Scalar = B128> + PackedExtension<B1>,

Trait Implementations

impl<UPrimitive: Debug + UnsignedAddPrimitives, const BIT_LENGTH: usize> Debug for SignConverter<UPrimitive, BIT_LENGTH>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.