Method check_sizes

compressed_sigma/src/compressed_linear_form.rs:358–376

(
        &self,
        g: &[G],
        linear_form: &L,
    )

    }

    fn check_sizes<L: LinearForm<G::ScalarField>>(
        &self,
        g: &[G],
        linear_form: &L,
    ) -> Result<(), CompSigmaError> {
        if !(g.len() + 1).is_power_of_two() {
            return Err(CompSigmaError::UncompressedNotPowerOf2);
        }
        if self.A.len() != self.B.len() {
            return Err(CompSigmaError::VectorLenMismatch);
        }
        if (g.len() + 1) != (1 << (self.A.len() + 1)) {
            return Err(CompSigmaError::WrongRecursionLevel);
        }
        if !linear_form.size().is_power_of_two() {
            return Err(CompSigmaError::UncompressedNotPowerOf2);
        }
        Ok(())
    }
}

pub fn prepare_generators_and_linear_form_for_compression<