Function kimchi_msm::serialization::interpreter::build_selectors
source · pub fn build_selectors<F: PrimeField>(domain_size: usize) -> [Vec<F>; 2]Expand description
Builds fixed selectors for serialization circuit.
| i | sel1 | sel2 |
|---|---|---|
| 0000 | 0 | 0 |
| 0001 | 1 | 0 |
| 0010 | 2 | 0 |
| 0011 | 3 | 1 |
| 0100 | 4 | 0 |
| 0101 | 5 | 1 |
| 0110 | 6 | 2 |
| 0111 | 7 | 3 |
| 1000 | 8 | 0 |
| 1001 | 9 | 1 |
| 1010 | 10 | 2 |
| 1011 | 11 | 3 |
| 1100 | 12 | 4 |
| 1101 | 13 | 5 |
| 1110 | 14 | 6 |
| 1111 | 15 | 7 |