diff --git a/deploy/starknet_with_keccak.toml b/deploy/starknet_with_keccak.toml index b41a6c990..7c893afcf 100644 --- a/deploy/starknet_with_keccak.toml +++ b/deploy/starknet_with_keccak.toml @@ -1,48 +1,48 @@ [[call]] call_type = "deploy" -class_hash = "0x740d31a0ea552b8f06f9562ffc83fe9812f9bd4aab7e4c9ff608dccb189ea8d" +class_hash = "0x17b946d2ff930604756b54af37a6552b681a524f8704ee39dfd01d182a2f427" inputs = [] id = "contract_1_part_1" unique = false [[call]] call_type = "deploy" -class_hash = "0x37694a9628592e7e1fc33fcc1cbf3c6ab8f11738d7f82acf58287871ead4825" +class_hash = "0x239d6a9303dd2a4cfdf4efaae568df8b8147e82c1639f90851d9a80384c43d0" inputs = [] id = "contract_1_part_2" unique = false [[call]] call_type = "deploy" -class_hash = "0x3feb86fa581d588afbede863c9ab32d7be7b173326417e6a2ad2f5a297c7e39" +class_hash = "0x50a0554c1d5cba00ae4745796fa64a81a1fb99171fd4ee33afde30d9763604a" inputs = [] id = "contract_1_part_3" unique = false [[call]] call_type = "deploy" -class_hash = "0x3450d3fa5140603ca66d18f7be8480648913c2f5588ab4ee35327e34903f1c8" +class_hash = "0x49ae0d9fb298ec404703a6029c56b0be80623bd72a13cb3b80dba58f9104dc9" inputs = [] id = "contract_1_part_4" unique = false [[call]] call_type = "deploy" -class_hash = "0x60a8b817fc54120cfc5ae596cf0bf43b51ab268d64992b8548a1d1457e8fbe2" +class_hash = "0x2236d23d77342ccdc460ec017c40653ea90f02179cb29d4b37bc88deaa29fde" inputs = [] id = "contract_1_part_5" unique = false [[call]] call_type = "deploy" -class_hash = "0x74ca3ba4e5558e1853b7e2fc409063ab4fea3879b220ba5ea263edf200519f5" +class_hash = "0x1fa8c0caf52b8d87129dc811879ce9526d55a21486e053cd3fcd412e5373eea" inputs = [] id = "contract_1_part_6" unique = false [[call]] call_type = "deploy" -class_hash = "0x769cbeff866fef34236ac98e2d92b8be9a035f50e68eca8314b6b84ed82ccaa" +class_hash = "0x78223c837100de57d98180c660d20ca69324eaf1ca77f778173b12f506be768" inputs = [] id = "contract_1_part_7" unique = false diff --git a/src/air/layouts/starknet_with_keccak/autogenerated.cairo b/src/air/layouts/starknet_with_keccak/autogenerated.cairo index 18801a549..db04acf7b 100644 --- a/src/air/layouts/starknet_with_keccak/autogenerated.cairo +++ b/src/air/layouts/starknet_with_keccak/autogenerated.cairo @@ -5722,337 +5722,7 @@ fn eval_composition_polynomial_inner_part1( let column0_row15 = *mask_values.pop_front().unwrap(); let column1_row0 = *mask_values.pop_front().unwrap(); let column1_row1 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(331, mask_values.len() - 331); let column2_row0 = *mask_values.pop_front().unwrap(); let column2_row1 = *mask_values.pop_front().unwrap(); let column3_row0 = *mask_values.pop_front().unwrap(); @@ -6075,67 +5745,7 @@ fn eval_composition_polynomial_inner_part1( let column5_row256 = *mask_values.pop_front().unwrap(); let column6_row0 = *mask_values.pop_front().unwrap(); let column6_row255 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(61, mask_values.len() - 61); let column8_row0 = *mask_values.pop_front().unwrap(); let column8_row1 = *mask_values.pop_front().unwrap(); let column8_row2 = *mask_values.pop_front().unwrap(); @@ -6149,287 +5759,84 @@ fn eval_composition_polynomial_inner_part1( let column8_row12 = *mask_values.pop_front().unwrap(); let column8_row13 = *mask_values.pop_front().unwrap(); let column8_row16 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column8_row70 = *mask_values.pop_front().unwrap(); let column8_row71 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column8_row134 = *mask_values.pop_front().unwrap(); let column8_row135 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column8_row262 = *mask_values.pop_front().unwrap(); let column8_row263 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column8_row326 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(7, mask_values.len() - 7); let column8_row518 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(42, mask_values.len() - 42); let column9_row0 = *mask_values.pop_front().unwrap(); let column9_row1 = *mask_values.pop_front().unwrap(); let column9_row2 = *mask_values.pop_front().unwrap(); let column9_row3 = *mask_values.pop_front().unwrap(); let column10_row0 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row2 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row4 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row6 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row8 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row12 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column10_row44 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row76 = *mask_values.pop_front().unwrap(); let column10_row108 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row140 = *mask_values.pop_front().unwrap(); let column10_row172 = *mask_values.pop_front().unwrap(); let column10_row204 = *mask_values.pop_front().unwrap(); let column10_row236 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(80, mask_values.len() - 80); let column11_row0 = *mask_values.pop_front().unwrap(); let column11_row1 = *mask_values.pop_front().unwrap(); let column11_row2 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row4 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row7 = *mask_values.pop_front().unwrap(); let column11_row8 = *mask_values.pop_front().unwrap(); let column11_row9 = *mask_values.pop_front().unwrap(); let column11_row10 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row12 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row16 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column11_row24 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row27 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row33 = *mask_values.pop_front().unwrap(); let column11_row35 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(11, mask_values.len() - 11); let column11_row59 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row65 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row71 = *mask_values.pop_front().unwrap(); let column11_row73 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column11_row91 = *mask_values.pop_front().unwrap(); let column11_row97 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column11_row123 = *mask_values.pop_front().unwrap(); let column11_row155 = *mask_values.pop_front().unwrap(); let column11_row187 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row219 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(44, mask_values.len() - 44); let column12_inter1_row0 = *mask_values.pop_front().unwrap(); let column12_inter1_row1 = *mask_values.pop_front().unwrap(); let column13_inter1_row0 = *mask_values.pop_front().unwrap(); @@ -6495,10 +5902,10 @@ fn eval_composition_polynomial_inner_part1( let ecdsa_signature0_exponentiate_generator_bit_neg_0 = 1 - ecdsa_signature0_exponentiate_generator_bit_0; let ecdsa_signature0_exponentiate_key_bit_0 = column11_row9 - (column11_row73 + column11_row73); - + // Sum constraints. let total_sum = 0; - + // Constraint: cpu/decode/opcode_range_check/bit. let value = (cpu_decode_opcode_range_check_bit_0 * cpu_decode_opcode_range_check_bit_0 @@ -12821,29 +12228,11 @@ fn eval_composition_polynomial_inner_part2( let domain153 = point - pow15; // Fetch mask variables. - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(16, mask_values.len() - 16); let column1_row0 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row8 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row16 = *mask_values.pop_front().unwrap(); let column1_row32 = *mask_values.pop_front().unwrap(); let column1_row48 = *mask_values.pop_front().unwrap(); @@ -12856,342 +12245,32 @@ fn eval_composition_polynomial_inner_part2( let column1_row160 = *mask_values.pop_front().unwrap(); let column1_row176 = *mask_values.pop_front().unwrap(); let column1_row192 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row208 = *mask_values.pop_front().unwrap(); let column1_row224 = *mask_values.pop_front().unwrap(); let column1_row240 = *mask_values.pop_front().unwrap(); let column1_row256 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row264 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row512 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row520 = *mask_values.pop_front().unwrap(); let column1_row704 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row720 = *mask_values.pop_front().unwrap(); let column1_row736 = *mask_values.pop_front().unwrap(); let column1_row752 = *mask_values.pop_front().unwrap(); let column1_row768 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row776 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row960 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row976 = *mask_values.pop_front().unwrap(); let column1_row992 = *mask_values.pop_front().unwrap(); let column1_row1008 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(305, mask_values.len() - 305); let column7_row0 = *mask_values.pop_front().unwrap(); let column7_row1 = *mask_values.pop_front().unwrap(); let column7_row2 = *mask_values.pop_front().unwrap(); @@ -13209,21 +12288,9 @@ fn eval_composition_polynomial_inner_part2( let column7_row14 = *mask_values.pop_front().unwrap(); let column7_row15 = *mask_values.pop_front().unwrap(); let column7_row16144 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(7, mask_values.len() - 7); let column7_row16160 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(7, mask_values.len() - 7); let column7_row16176 = *mask_values.pop_front().unwrap(); let column7_row16192 = *mask_values.pop_front().unwrap(); let column7_row16208 = *mask_values.pop_front().unwrap(); @@ -13232,12 +12299,7 @@ fn eval_composition_polynomial_inner_part2( let column7_row16256 = *mask_values.pop_front().unwrap(); let column7_row16272 = *mask_values.pop_front().unwrap(); let column7_row16288 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(6, mask_values.len() - 6); let column7_row32768 = *mask_values.pop_front().unwrap(); let column7_row65536 = *mask_values.pop_front().unwrap(); let column7_row98304 = *mask_values.pop_front().unwrap(); @@ -13247,50 +12309,15 @@ fn eval_composition_polynomial_inner_part2( let column7_row229376 = *mask_values.pop_front().unwrap(); let column7_row262144 = *mask_values.pop_front().unwrap(); let column7_row294912 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(29, mask_values.len() - 29); let column8_row198 = *mask_values.pop_front().unwrap(); let column8_row199 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(7, mask_values.len() - 7); let column8_row390 = *mask_values.pop_front().unwrap(); let column8_row391 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column8_row454 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column8_row711 = *mask_values.pop_front().unwrap(); let column8_row902 = *mask_values.pop_front().unwrap(); let column8_row903 = *mask_values.pop_front().unwrap(); @@ -13333,195 +12360,49 @@ fn eval_composition_polynomial_inner_part2( let column8_row30087 = *mask_values.pop_front().unwrap(); let column8_row32135 = *mask_values.pop_front().unwrap(); let column8_row33158 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(110, mask_values.len() - 110); let column11_row1 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column11_row5 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column11_row9 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row11 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column11_row17 = *mask_values.pop_front().unwrap(); let column11_row19 = *mask_values.pop_front().unwrap(); let column11_row21 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row25 = *mask_values.pop_front().unwrap(); let column11_row27 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row33 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row37 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row41 = *mask_values.pop_front().unwrap(); let column11_row43 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row49 = *mask_values.pop_front().unwrap(); let column11_row51 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row57 = *mask_values.pop_front().unwrap(); let column11_row59 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row69 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row73 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row81 = *mask_values.pop_front().unwrap(); let column11_row85 = *mask_values.pop_front().unwrap(); let column11_row89 = *mask_values.pop_front().unwrap(); let column11_row91 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row101 = *mask_values.pop_front().unwrap(); let column11_row105 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row113 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(26, mask_values.len() - 26); let column11_row12309 = *mask_values.pop_front().unwrap(); let column11_row12373 = *mask_values.pop_front().unwrap(); let column11_row12565 = *mask_values.pop_front().unwrap(); @@ -13547,14 +12428,7 @@ fn eval_composition_polynomial_inner_part2( let column11_row32747 = *mask_values.pop_front().unwrap(); let column11_row32753 = *mask_values.pop_front().unwrap(); let column11_row32763 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(8, mask_values.len() - 8); let ecdsa_signature0_exponentiate_key_bit_0 = column11_row9 - (column11_row73 + column11_row73); let ecdsa_signature0_exponentiate_key_bit_neg_0 = 1 - ecdsa_signature0_exponentiate_key_bit_0; let bitwise_sum_var_0_0 = column1_row0 @@ -13578,7 +12452,7 @@ fn eval_composition_polynomial_inner_part2( let ec_op_ec_subset_sum_bit_neg_0 = 1 - ec_op_ec_subset_sum_bit_0; let total_sum = 0; - + // Constraint: ecdsa/signature0/exponentiate_key/bit_extraction_end. let value = (column11_row9) / domain28; let total_sum = total_sum + *constraint_coefficients.pop_front().unwrap() * value; @@ -21629,393 +20503,58 @@ fn eval_composition_polynomial_inner_part3( let temp = pow3 - pow2121; let domain53 = temp * (domain47); // Fetch mask variables. - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(19, mask_values.len() - 19); let column1_row4 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(16, mask_values.len() - 16); let column1_row196 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column1_row260 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row516 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(25, mask_values.len() - 25); let column1_row1284 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row1540 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row1796 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(10, mask_values.len() - 10); let column1_row2564 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row2820 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row3076 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(7, mask_values.len() - 7); let column1_row3844 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column1_row4100 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row4356 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column1_row5124 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row5380 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column1_row5636 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(11, mask_values.len() - 11); let column1_row6402 = *mask_values.pop_front().unwrap(); let column1_row6404 = *mask_values.pop_front().unwrap(); let column1_row6406 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(7, mask_values.len() - 7); let column1_row6598 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column1_row6786 = *mask_values.pop_front().unwrap(); let column1_row6788 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row6978 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row6982 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row7172 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(175, mask_values.len() - 175); let column1_row516100 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row516292 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(46, mask_values.len() - 46); let column7_row16144 = *mask_values.pop_front().unwrap(); let column7_row16145 = *mask_values.pop_front().unwrap(); let column7_row16146 = *mask_values.pop_front().unwrap(); @@ -22032,337 +20571,69 @@ fn eval_composition_polynomial_inner_part3( let column7_row16165 = *mask_values.pop_front().unwrap(); let column7_row16166 = *mask_values.pop_front().unwrap(); let column7_row16167 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(8, mask_values.len() - 8); let column7_row16304 = *mask_values.pop_front().unwrap(); let column7_row16320 = *mask_values.pop_front().unwrap(); let column7_row16336 = *mask_values.pop_front().unwrap(); let column7_row16352 = *mask_values.pop_front().unwrap(); let column7_row16368 = *mask_values.pop_front().unwrap(); let column7_row16384 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(9, mask_values.len() - 9); let column7_row327680 = *mask_values.pop_front().unwrap(); let column7_row360448 = *mask_values.pop_front().unwrap(); let column7_row393216 = *mask_values.pop_front().unwrap(); let column7_row425984 = *mask_values.pop_front().unwrap(); let column7_row458752 = *mask_values.pop_front().unwrap(); let column7_row491520 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(87, mask_values.len() - 87); let column10_row3 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(9, mask_values.len() - 9); let column10_row19 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(11, mask_values.len() - 11); let column10_row243 = *mask_values.pop_front().unwrap(); let column10_row251 = *mask_values.pop_front().unwrap(); let column10_row259 = *mask_values.pop_front().unwrap(); let column10_row275 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column10_row499 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row507 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(6, mask_values.len() - 6); let column10_row6403 = *mask_values.pop_front().unwrap(); let column10_row6419 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column10_row8195 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row8211 = *mask_values.pop_front().unwrap(); let column10_row8435 = *mask_values.pop_front().unwrap(); let column10_row8443 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(6, mask_values.len() - 6); let column10_row66307 = *mask_values.pop_front().unwrap(); let column10_row66323 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column10_row132611 = *mask_values.pop_front().unwrap(); let column10_row132627 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(6, mask_values.len() - 6); let column10_row198915 = *mask_values.pop_front().unwrap(); let column10_row198931 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column10_row265219 = *mask_values.pop_front().unwrap(); let column10_row265235 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column10_row331523 = *mask_values.pop_front().unwrap(); let column10_row331539 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column10_row397827 = *mask_values.pop_front().unwrap(); let column10_row397843 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column10_row464131 = *mask_values.pop_front().unwrap(); let column10_row464147 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column10_row516099 = *mask_values.pop_front().unwrap(); let column10_row516115 = *mask_values.pop_front().unwrap(); let column10_row516339 = *mask_values.pop_front().unwrap(); let column10_row516347 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(114, mask_values.len() - 114); let keccak_keccak_parse_to_diluted_sum_words_over_instances0_0 = column10_row3 - column10_row66307 * 1606938044258990275541962092341162602522202993782792835301376; let keccak_keccak_parse_to_diluted_sum_words_over_instances0_2 = column10_row19 @@ -29278,740 +27549,176 @@ fn eval_composition_polynomial_inner_part4( let temp = domain65; let domain123 = temp * (domain122); // Fetch mask variables. - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(17, mask_values.len() - 17); let column1_row1 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row4 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(15, mask_values.len() - 15); let column1_row193 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column1_row257 = *mask_values.pop_front().unwrap(); let column1_row260 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row516 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(9, mask_values.len() - 9); let column1_row772 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(10, mask_values.len() - 10); let column1_row1028 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column1_row1281 = *mask_values.pop_front().unwrap(); let column1_row1284 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row1540 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row1796 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row2052 = *mask_values.pop_front().unwrap(); let column1_row2116 = *mask_values.pop_front().unwrap(); let column1_row2180 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row2308 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row2561 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row2817 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column1_row3332 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row3588 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row3841 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column1_row4097 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row4612 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row4868 = *mask_values.pop_front().unwrap(); let column1_row5121 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row5377 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(10, mask_values.len() - 10); let column1_row5892 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column1_row6148 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column1_row6402 = *mask_values.pop_front().unwrap(); let column1_row6404 = *mask_values.pop_front().unwrap(); let column1_row6406 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row6470 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row6534 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row6594 = *mask_values.pop_front().unwrap(); let column1_row6596 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column1_row6785 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row6790 = *mask_values.pop_front().unwrap(); let column1_row6977 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row6980 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row7169 = *mask_values.pop_front().unwrap(); let column1_row7170 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row7174 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row7362 = *mask_values.pop_front().unwrap(); let column1_row7364 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row7554 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column1_row7750 = *mask_values.pop_front().unwrap(); let column1_row7937 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(9, mask_values.len() - 9); let column1_row10753 = *mask_values.pop_front().unwrap(); let column1_row15942 = *mask_values.pop_front().unwrap(); let column1_row16900 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(6, mask_values.len() - 6); let column1_row22786 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(10, mask_values.len() - 10); let column1_row51969 = *mask_values.pop_front().unwrap(); let column1_row55937 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(10, mask_values.len() - 10); let column1_row75780 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row80134 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(19, mask_values.len() - 19); let column1_row165380 = *mask_values.pop_front().unwrap(); let column1_row170244 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(19, mask_values.len() - 19); let column1_row225025 = *mask_values.pop_front().unwrap(); let column1_row228161 = *mask_values.pop_front().unwrap(); let column1_row230657 = *mask_values.pop_front().unwrap(); let column1_row230660 = *mask_values.pop_front().unwrap(); let column1_row235970 = *mask_values.pop_front().unwrap(); let column1_row236930 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(6, mask_values.len() - 6); let column1_row295684 = *mask_values.pop_front().unwrap(); let column1_row299009 = *mask_values.pop_front().unwrap(); let column1_row301318 = *mask_values.pop_front().unwrap(); let column1_row302081 = *mask_values.pop_front().unwrap(); let column1_row304132 = *mask_values.pop_front().unwrap(); let column1_row309700 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(18, mask_values.len() - 18); let column1_row360705 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row367810 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(10, mask_values.len() - 10); let column1_row450753 = *mask_values.pop_front().unwrap(); let column1_row451009 = *mask_values.pop_front().unwrap(); let column1_row451265 = *mask_values.pop_front().unwrap(); let column1_row455937 = *mask_values.pop_front().unwrap(); let column1_row456001 = *mask_values.pop_front().unwrap(); let column1_row456065 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row476932 = *mask_values.pop_front().unwrap(); let column1_row481538 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row513025 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(6, mask_values.len() - 6); let column1_row515841 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(7, mask_values.len() - 7); let column1_row516356 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row522498 = *mask_values.pop_front().unwrap(); let column1_row522500 = *mask_values.pop_front().unwrap(); let column1_row522502 = *mask_values.pop_front().unwrap(); let column1_row522690 = *mask_values.pop_front().unwrap(); let column1_row522692 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(174, mask_values.len() - 174); let column10_row7 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(26, mask_values.len() - 26); let column10_row2055 = *mask_values.pop_front().unwrap(); let column10_row2119 = *mask_values.pop_front().unwrap(); let column10_row2183 = *mask_values.pop_front().unwrap(); let column10_row4103 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column10_row7811 = *mask_values.pop_front().unwrap(); let column10_row8003 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column10_row8199 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column10_row10247 = *mask_values.pop_front().unwrap(); let column10_row12295 = *mask_values.pop_front().unwrap(); let column10_row16003 = *mask_values.pop_front().unwrap(); let column10_row16195 = *mask_values.pop_front().unwrap(); let column10_row24195 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column10_row75783 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column10_row167943 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(9, mask_values.len() - 9); let column10_row237379 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column10_row296967 = *mask_values.pop_front().unwrap(); let column10_row303111 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(14, mask_values.len() - 14); let column10_row482947 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(8, mask_values.len() - 8); let column10_row520199 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(113, mask_values.len() - 113); let keccak_keccak_sum_parities0_0 = column1_row6594 + column10_row8003; let keccak_keccak_sum_parities1_0 = column1_row6404 + column10_row4103; let keccak_keccak_sum_parities1_64512 = column1_row522500 + column10_row520199; @@ -30029,7 +27736,7 @@ fn eval_composition_polynomial_inner_part4( let keccak_keccak_sum_parities3_9216 = column1_row80134 + column10_row75783; let total_sum = 0; - + // Constraint: keccak/keccak/parity3. let value = (column1_row772 @@ -36535,252 +34242,101 @@ fn eval_composition_polynomial_inner_part5( let temp = domain103; let domain132 = temp * (domain109); // Fetch mask variables. - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(44, mask_values.len() - 44); let column1_row449 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row513 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column1_row705 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(11, mask_values.len() - 11); let column1_row961 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(8, mask_values.len() - 8); let column1_row1217 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row1473 = *mask_values.pop_front().unwrap(); let column1_row1537 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row1729 = *mask_values.pop_front().unwrap(); let column1_row1793 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row1985 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row2241 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row2308 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row2564 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row2820 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row3073 = *mask_values.pop_front().unwrap(); let column1_row3076 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row3332 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row3588 = *mask_values.pop_front().unwrap(); let column1_row3652 = *mask_values.pop_front().unwrap(); let column1_row3716 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row3844 = *mask_values.pop_front().unwrap(); let column1_row3908 = *mask_values.pop_front().unwrap(); let column1_row3972 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row4100 = *mask_values.pop_front().unwrap(); let column1_row4353 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(9, mask_values.len() - 9); let column1_row5441 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row5505 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row5633 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row5697 = *mask_values.pop_front().unwrap(); let column1_row5761 = *mask_values.pop_front().unwrap(); let column1_row5889 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row5953 = *mask_values.pop_front().unwrap(); let column1_row6017 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column1_row6402 = *mask_values.pop_front().unwrap(); let column1_row6404 = *mask_values.pop_front().unwrap(); let column1_row6406 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row6593 = *mask_values.pop_front().unwrap(); let column1_row6594 = *mask_values.pop_front().unwrap(); let column1_row6596 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row6658 = *mask_values.pop_front().unwrap(); let column1_row6660 = *mask_values.pop_front().unwrap(); let column1_row6722 = *mask_values.pop_front().unwrap(); let column1_row6724 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(12, mask_values.len() - 12); let column1_row7361 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row7366 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column1_row7558 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(6, mask_values.len() - 6); let column1_row7940 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(23, mask_values.len() - 23); let column1_row26369 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row31169 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(13, mask_values.len() - 13); let column1_row75844 = *mask_values.pop_front().unwrap(); let column1_row75908 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row80198 = *mask_values.pop_front().unwrap(); let column1_row80262 = *mask_values.pop_front().unwrap(); let column1_row86273 = *mask_values.pop_front().unwrap(); let column1_row89281 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(14, mask_values.len() - 14); let column1_row165377 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row171398 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row175108 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row178434 = *mask_values.pop_front().unwrap(); let column1_row192260 = *mask_values.pop_front().unwrap(); let column1_row192324 = *mask_values.pop_front().unwrap(); @@ -36796,24 +34352,7 @@ fn eval_composition_polynomial_inner_part5( let column1_row211460 = *mask_values.pop_front().unwrap(); let column1_row211524 = *mask_values.pop_front().unwrap(); let column1_row212740 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(18, mask_values.len() - 18); let column1_row320449 = *mask_values.pop_front().unwrap(); let column1_row320705 = *mask_values.pop_front().unwrap(); let column1_row320961 = *mask_values.pop_front().unwrap(); @@ -36829,446 +34368,56 @@ fn eval_composition_polynomial_inner_part5( let column1_row341825 = *mask_values.pop_front().unwrap(); let column1_row341889 = *mask_values.pop_front().unwrap(); let column1_row352769 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row359622 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row362756 = *mask_values.pop_front().unwrap(); let column1_row367044 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row370689 = *mask_values.pop_front().unwrap(); let column1_row376388 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(6, mask_values.len() - 6); let column1_row445188 = *mask_values.pop_front().unwrap(); let column1_row448772 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(13, mask_values.len() - 13); let column1_row502276 = *mask_values.pop_front().unwrap(); let column1_row506306 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(197, mask_values.len() - 197); let column10_row7 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(9, mask_values.len() - 9); let column10_row71 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column10_row135 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(13, mask_values.len() - 13); let column10_row2055 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column10_row4103 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column10_row7811 = *mask_values.pop_front().unwrap(); let column10_row8003 = *mask_values.pop_front().unwrap(); let column10_row8067 = *mask_values.pop_front().unwrap(); let column10_row8131 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(15, mask_values.len() - 15); let column10_row75847 = *mask_values.pop_front().unwrap(); let column10_row75911 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column10_row179843 = *mask_values.pop_front().unwrap(); let column10_row196419 = *mask_values.pop_front().unwrap(); let column10_row196483 = *mask_values.pop_front().unwrap(); let column10_row196547 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column10_row204807 = *mask_values.pop_front().unwrap(); let column10_row204871 = *mask_values.pop_front().unwrap(); let column10_row204935 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column10_row321543 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column10_row360455 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column10_row446471 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column10_row507715 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(121, mask_values.len() - 121); let keccak_keccak_sum_parities0_0 = column1_row6594 + column10_row8003; let keccak_keccak_sum_parities1_0 = column1_row6404 + column10_row4103; let keccak_keccak_sum_parities2_0 = column1_row6402 + column10_row7811; @@ -37293,7 +34442,7 @@ fn eval_composition_polynomial_inner_part5( let keccak_keccak_sum_parities0_23568 = column1_row195138 + column10_row196547; let total_sum = 0; - + // Constraint: keccak/keccak/theta_rho_pi_i1_j3/n4. let value = (keccak_keccak_sum_parities3_9224 @@ -43540,137 +40689,54 @@ fn eval_composition_polynomial_inner_part6( let temp = domain99; let domain141 = temp * (domain105); // Fetch mask variables. - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(17, mask_values.len() - 17); let column1_row1 = *mask_values.pop_front().unwrap(); let column1_row2 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row6 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row12 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(18, mask_values.len() - 18); let column1_row257 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row513 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(8, mask_values.len() - 8); let column1_row769 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(10, mask_values.len() - 10); let column1_row1025 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(14, mask_values.len() - 14); let column1_row2049 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row2305 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row2497 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row2753 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row3009 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row3329 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row3585 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(10, mask_values.len() - 10); let column1_row4356 = *mask_values.pop_front().unwrap(); let column1_row4609 = *mask_values.pop_front().unwrap(); let column1_row4612 = *mask_values.pop_front().unwrap(); let column1_row4865 = *mask_values.pop_front().unwrap(); let column1_row4868 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row5124 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row5380 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row5444 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row5508 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row5636 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column1_row5892 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row6145 = *mask_values.pop_front().unwrap(); let column1_row6148 = *mask_values.pop_front().unwrap(); let column1_row6209 = *mask_values.pop_front().unwrap(); @@ -43680,44 +40746,22 @@ fn eval_composition_polynomial_inner_part6( let column1_row6404 = *mask_values.pop_front().unwrap(); let column1_row6406 = *mask_values.pop_front().unwrap(); let column1_row6468 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row6532 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row6594 = *mask_values.pop_front().unwrap(); let column1_row6596 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(21, mask_values.len() - 21); let column1_row7553 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row7556 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row7745 = *mask_values.pop_front().unwrap(); let column1_row7746 = *mask_values.pop_front().unwrap(); let column1_row7748 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row7938 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row7942 = *mask_values.pop_front().unwrap(); let column1_row8193 = *mask_values.pop_front().unwrap(); let column1_row8194 = *mask_values.pop_front().unwrap(); @@ -43725,28 +40769,24 @@ fn eval_composition_polynomial_inner_part6( let column1_row8204 = *mask_values.pop_front().unwrap(); let column1_row8449 = *mask_values.pop_front().unwrap(); let column1_row8705 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column1_row18881 = *mask_values.pop_front().unwrap(); let column1_row19137 = *mask_values.pop_front().unwrap(); let column1_row19393 = *mask_values.pop_front().unwrap(); let column1_row22529 = *mask_values.pop_front().unwrap(); let column1_row22593 = *mask_values.pop_front().unwrap(); let column1_row22657 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row24577 = *mask_values.pop_front().unwrap(); let column1_row24578 = *mask_values.pop_front().unwrap(); let column1_row24582 = *mask_values.pop_front().unwrap(); let column1_row24588 = *mask_values.pop_front().unwrap(); let column1_row24833 = *mask_values.pop_front().unwrap(); let column1_row25089 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row30212 = *mask_values.pop_front().unwrap(); let column1_row30978 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column1_row57345 = *mask_values.pop_front().unwrap(); let column1_row57346 = *mask_values.pop_front().unwrap(); let column1_row57350 = *mask_values.pop_front().unwrap(); @@ -43757,523 +40797,77 @@ fn eval_composition_polynomial_inner_part6( let column1_row71428 = *mask_values.pop_front().unwrap(); let column1_row71942 = *mask_values.pop_front().unwrap(); let column1_row73474 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(8, mask_values.len() - 8); let column1_row115713 = *mask_values.pop_front().unwrap(); let column1_row122244 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(6, mask_values.len() - 6); let column1_row127489 = *mask_values.pop_front().unwrap(); let column1_row130433 = *mask_values.pop_front().unwrap(); let column1_row151041 = *mask_values.pop_front().unwrap(); let column1_row155398 = *mask_values.pop_front().unwrap(); let column1_row159748 = *mask_values.pop_front().unwrap(); let column1_row162052 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row172801 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row178433 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(48, mask_values.len() - 48); let column1_row356868 = *mask_values.pop_front().unwrap(); let column1_row358662 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(7, mask_values.len() - 7); let column1_row381956 = *mask_values.pop_front().unwrap(); let column1_row383426 = *mask_values.pop_front().unwrap(); let column1_row405764 = *mask_values.pop_front().unwrap(); let column1_row407810 = *mask_values.pop_front().unwrap(); let column1_row415748 = *mask_values.pop_front().unwrap(); let column1_row416196 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(8, mask_values.len() - 8); let column1_row463617 = *mask_values.pop_front().unwrap(); let column1_row463620 = *mask_values.pop_front().unwrap(); let column1_row465348 = *mask_values.pop_front().unwrap(); let column1_row466497 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row502017 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column1_row507458 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row513284 = *mask_values.pop_front().unwrap(); let column1_row513348 = *mask_values.pop_front().unwrap(); let column1_row513412 = *mask_values.pop_front().unwrap(); let column1_row514308 = *mask_values.pop_front().unwrap(); let column1_row514372 = *mask_values.pop_front().unwrap(); let column1_row514436 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(189, mask_values.len() - 189); let column10_row7 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(26, mask_values.len() - 26); let column10_row2055 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column10_row4103 = *mask_values.pop_front().unwrap(); let column10_row4167 = *mask_values.pop_front().unwrap(); let column10_row4231 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column10_row7811 = *mask_values.pop_front().unwrap(); let column10_row8003 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(12, mask_values.len() - 12); let column10_row32387 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column10_row67591 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column10_row159751 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(18, mask_values.len() - 18); let column10_row354311 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row384835 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column10_row409219 = *mask_values.pop_front().unwrap(); let column10_row409607 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row458759 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column10_row512007 = *mask_values.pop_front().unwrap(); let column10_row512071 = *mask_values.pop_front().unwrap(); let column10_row512135 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(118, mask_values.len() - 118); let keccak_keccak_sum_parities0_0 = column1_row6594 + column10_row8003; let keccak_keccak_sum_parities1_0 = column1_row6404 + column10_row4103; let keccak_keccak_sum_parities2_0 = column1_row6402 + column10_row7811; @@ -44298,7 +40892,7 @@ fn eval_composition_polynomial_inner_part6( let keccak_keccak_after_theta_rho_pi_xor_one_7200 = 1229782938247303441 - column1_row57601; let total_sum = 0; - + // Constraint: keccak/keccak/theta_rho_pi_i3_j1/n1. let value = (keccak_keccak_sum_parities1_19456 @@ -49421,688 +46015,121 @@ fn eval_composition_polynomial_inner_part7( let domain144 = point - 1; let domain149 = point - pow19; // Fetch mask variables. - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(17, mask_values.len() - 17); let column1_row1 = *mask_values.pop_front().unwrap(); let column1_row2 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row6 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row12 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(18, mask_values.len() - 18); let column1_row257 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column1_row513 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(8, mask_values.len() - 8); let column1_row769 = *mask_values.pop_front().unwrap(); let column1_row770 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row774 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row780 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(5, mask_values.len() - 5); let column1_row1025 = *mask_values.pop_front().unwrap(); let column1_row1026 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row1030 = *mask_values.pop_front().unwrap(); let column1_row1036 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(156, mask_values.len() - 156); let column1_row122881 = *mask_values.pop_front().unwrap(); let column1_row122882 = *mask_values.pop_front().unwrap(); let column1_row122886 = *mask_values.pop_front().unwrap(); let column1_row122892 = *mask_values.pop_front().unwrap(); let column1_row123137 = *mask_values.pop_front().unwrap(); let column1_row123393 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(34, mask_values.len() - 34); let column1_row253953 = *mask_values.pop_front().unwrap(); let column1_row253954 = *mask_values.pop_front().unwrap(); let column1_row253958 = *mask_values.pop_front().unwrap(); let column1_row253964 = *mask_values.pop_front().unwrap(); let column1_row254209 = *mask_values.pop_front().unwrap(); let column1_row254465 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(62, mask_values.len() - 62); let column1_row516097 = *mask_values.pop_front().unwrap(); let column1_row516098 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row516102 = *mask_values.pop_front().unwrap(); let column1_row516108 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row516353 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column1_row516609 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(101, mask_values.len() - 101); let column8_row38 = *mask_values.pop_front().unwrap(); let column8_row39 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column8_row102 = *mask_values.pop_front().unwrap(); let column8_row103 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column8_row166 = *mask_values.pop_front().unwrap(); let column8_row167 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column8_row294 = *mask_values.pop_front().unwrap(); let column8_row295 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column8_row358 = *mask_values.pop_front().unwrap(); let column8_row359 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column8_row422 = *mask_values.pop_front().unwrap(); let column8_row423 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(49, mask_values.len() - 49); let column10_row1 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column10_row5 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column10_row9 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row13 = *mask_values.pop_front().unwrap(); let column10_row17 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row21 = *mask_values.pop_front().unwrap(); let column10_row25 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(13, mask_values.len() - 13); let column10_row489 = *mask_values.pop_front().unwrap(); let column10_row497 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column10_row505 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(75, mask_values.len() - 75); let column11_row3 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row6 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(6, mask_values.len() - 6); let column11_row13 = *mask_values.pop_front().unwrap(); let column11_row14 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column11_row22 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column11_row29 = *mask_values.pop_front().unwrap(); let column11_row30 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column11_row38 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row45 = *mask_values.pop_front().unwrap(); let column11_row46 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row53 = *mask_values.pop_front().unwrap(); let column11_row54 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(2, mask_values.len() - 2); let column11_row61 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(4, mask_values.len() - 4); let column11_row77 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(7, mask_values.len() - 7); let column11_row109 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row117 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(3, mask_values.len() - 3); let column11_row195 = *mask_values.pop_front().unwrap(); let column11_row205 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(1, mask_values.len() - 1); let column11_row221 = *mask_values.pop_front().unwrap(); let column11_row237 = *mask_values.pop_front().unwrap(); let column11_row245 = *mask_values.pop_front().unwrap(); @@ -50122,39 +46149,7 @@ fn eval_composition_polynomial_inner_part7( let column11_row493 = *mask_values.pop_front().unwrap(); let column11_row501 = *mask_values.pop_front().unwrap(); let column11_row509 = *mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); - mask_values.pop_front().unwrap(); + let mut mask_values = mask_values.slice(33, mask_values.len() - 33); let keccak_keccak_after_theta_rho_pi_xor_one_32 = 1229782938247303441 - column1_row257; let keccak_keccak_after_theta_rho_pi_xor_one_15392 = 1229782938247303441 - column1_row123137; let keccak_keccak_after_theta_rho_pi_xor_one_31776 = 1229782938247303441 - column1_row254209;