pub const V_2_0_IDX: usize = 13;
The index of the column containing the first base-field element of the value of the third wire.