Trait kimchi_msm::serialization::interpreter::HybridSerHelpers

pub trait HybridSerHelpers<F: PrimeField, CIx: ColumnIndexer, LT: LookupTableID> {
    // Required method
    fn bitmask_be(
        &mut self,
        x: &<Self as ColAccessCap<F, CIx>>::Variable,
        highest_bit: u32,
        lowest_bit: u32,
        position: CIx
    ) -> Self::Variable
       where Self: ColAccessCap<F, CIx>;
}

Required Methods

fn bitmask_be( &mut self, x: &<Self as ColAccessCap<F, CIx>>::Variable, highest_bit: u32, lowest_bit: u32, position: CIx ) -> Self::Variablewhere Self: ColAccessCap<F, CIx>,

Returns the bits between [highest_bit, lowest_bit] of the variable x, and copy the result in the column position. The value x is expected to be encoded in big-endian

Implementors

impl<F: PrimeField, CIx: ColumnIndexer, LT: LookupTableID> HybridSerHelpers<F, CIx, LT> for ConstraintBuilderEnv<F, LT>

impl<F: PrimeField, CIx: ColumnIndexer, const N_COL: usize, const N_REL: usize, const N_DSEL: usize, const N_FSEL: usize, LT: LookupTableID> HybridSerHelpers<F, CIx, LT> for WitnessBuilderEnv<F, CIx, N_COL, N_REL, N_DSEL, N_FSEL, LT>