pub trait VecZnxSplitRingTmpBytes { // Required method fn vec_znx_split_ring_tmp_bytes(&self) -> usize; }