pub const WORD_SIZE_BITS: usize = _; // 64usize
The protocol proves constraint systems over 64-bit words.