Change composition test's number to hex

HerodotusDev · Jan 24, 2024 · 841b379 · 841b379
1 parent a567d4b
commit 841b379
Showing 1 changed file with 59 additions and 59 deletions.
diff --git a/src/air/tests/test_composition.cairo b/src/air/tests/test_composition.cairo
@@ -12,73 +12,73 @@ use cairo_verifier::table_commitment::table_commitment::{TableCommitment, TableC
 fn test_eval_composition_polynomial() {
     let public_input = PublicInput {
         log_n_steps: 14,
-        rc_min: 32762,
-        rc_max: 32769,
-        layout: 2110234636557836973669,
+        rc_min: 0x7ffa,
+        rc_max: 0x8001,
+        layout: 0x726563757273697665,
         dynamic_params: array![],
         segments: array![
-            SegmentInfo { begin_addr: 1, stop_ptr: 5 },
-            SegmentInfo { begin_addr: 37, stop_ptr: 104 },
-            SegmentInfo { begin_addr: 104, stop_ptr: 106 },
-            SegmentInfo { begin_addr: 106, stop_ptr: 106 },
-            SegmentInfo { begin_addr: 490, stop_ptr: 490 },
-            SegmentInfo { begin_addr: 2538, stop_ptr: 2538 },
+            SegmentInfo { begin_addr: 0x1, stop_ptr: 0x5 },
+            SegmentInfo { begin_addr: 0x25, stop_ptr: 0x68 },
+            SegmentInfo { begin_addr: 0x68, stop_ptr: 0x6a },
+            SegmentInfo { begin_addr: 0x6a, stop_ptr: 0x6a },
+            SegmentInfo { begin_addr: 0x1ea, stop_ptr: 0x1ea },
+            SegmentInfo { begin_addr: 0x9ea, stop_ptr: 0x9ea },
         ],
         padding_addr: 1,
-        padding_value: 290341444919459839,
+        padding_value: 0x40780017fff7fff,
         main_page: array![
-            AddrValue { address: 1, value: 290341444919459839 },
-            AddrValue { address: 2, value: 4 },
-            AddrValue { address: 3, value: 1226245742482522112 },
-            AddrValue { address: 4, value: 4 },
-            AddrValue { address: 5, value: 74168662805676031 },
-            AddrValue { address: 6, value: 0 },
-            AddrValue { address: 7, value: 290341444919459839 },
-            AddrValue { address: 8, value: 1 },
-            AddrValue { address: 9, value: 4612671182992998400 },
-            AddrValue { address: 10, value: 5189976364521848832 },
-            AddrValue { address: 11, value: 1 },
-            AddrValue { address: 12, value: 5189976364521848832 },
-            AddrValue { address: 13, value: 1 },
-            AddrValue { address: 14, value: 5191102260133724160 },
-            AddrValue { address: 15, value: 1226245742482522112 },
-            AddrValue { address: 16, value: 9 },
-            AddrValue { address: 17, value: 4612389712311255039 },
-            AddrValue { address: 18, value: 5198983563776262144 },
-            AddrValue { address: 19, value: 2 },
-            AddrValue { address: 20, value: 5191102238658887680 },
-            AddrValue { address: 21, value: 5191102242953854976 },
-            AddrValue { address: 22, value: 5191102247248822272 },
-            AddrValue { address: 23, value: 2345108766317314046 },
-            AddrValue { address: 24, value: 146226256843603965 },
-            AddrValue { address: 25, value: 4 },
-            AddrValue { address: 26, value: 5191102242953854976 },
-            AddrValue { address: 27, value: 2345108766317314046 },
-            AddrValue { address: 28, value: 5191102242953854976 },
-            AddrValue { address: 29, value: 5200109442208333824 },
-            AddrValue { address: 30, value: 5198983563776458752 },
+            AddrValue { address: 1, value: 0x40780017fff7fff },
+            AddrValue { address: 2, value: 0x4 },
+            AddrValue { address: 3, value: 0x1104800180018000 },
+            AddrValue { address: 4, value: 0x4 },
+            AddrValue { address: 5, value: 0x10780017fff7fff },
+            AddrValue { address: 6, value: 0x0 },
+            AddrValue { address: 7, value: 0x40780017fff7fff },
+            AddrValue { address: 8, value: 0x1 },
+            AddrValue { address: 9, value: 0x400380007ffa8000 },
+            AddrValue { address: 10, value: 0x480680017fff8000 },
+            AddrValue { address: 11, value: 0x1 },
+            AddrValue { address: 12, value: 0x480680017fff8000 },
+            AddrValue { address: 13, value: 0x1 },
+            AddrValue { address: 14, value: 0x480a80007fff8000 },
+            AddrValue { address: 15, value: 0x1104800180018000 },
+            AddrValue { address: 16, value: 0x9 },
+            AddrValue { address: 17, value: 0x400280017ffa7fff },
+            AddrValue { address: 18, value: 0x482680017ffa8000 },
+            AddrValue { address: 19, value: 0x2 },
+            AddrValue { address: 20, value: 0x480a7ffb7fff8000 },
+            AddrValue { address: 21, value: 0x480a7ffc7fff8000 },
+            AddrValue { address: 22, value: 0x480a7ffd7fff8000 },
+            AddrValue { address: 23, value: 0x208b7fff7fff7ffe },
+            AddrValue { address: 24, value: 0x20780017fff7ffd },
+            AddrValue { address: 25, value: 0x4 },
+            AddrValue { address: 26, value: 0x480a7ffc7fff8000 },
+            AddrValue { address: 27, value: 0x208b7fff7fff7ffe },
+            AddrValue { address: 28, value: 0x480a7ffc7fff8000 },
+            AddrValue { address: 29, value: 0x482a7ffc7ffb8000 },
+            AddrValue { address: 30, value: 0x482680017ffd8000 },
             AddrValue {
                 address: 31,
-                value: 3618502788666131213697322783095070105623107215331596699973092056135872020480
+                value: 0x800000000000011000000000000000000000000000000000000000000000000
             },
-            AddrValue { address: 32, value: 1226245742482522112 },
+            AddrValue { address: 32, value: 0x1104800180018000 },
             AddrValue {
                 address: 33,
-                value: 3618502788666131213697322783095070105623107215331596699973092056135872020473
+                value: 0x800000000000010fffffffffffffffffffffffffffffffffffffffffffffff9
             },
-            AddrValue { address: 34, value: 2345108766317314046 },
-            AddrValue { address: 35, value: 37 },
-            AddrValue { address: 36, value: 0 },
-            AddrValue { address: 37, value: 104 },
-            AddrValue { address: 38, value: 106 },
-            AddrValue { address: 39, value: 490 },
-            AddrValue { address: 40, value: 2538 },
-            AddrValue { address: 100, value: 106 },
-            AddrValue { address: 101, value: 106 },
-            AddrValue { address: 102, value: 490 },
-            AddrValue { address: 103, value: 2538 },
-            AddrValue { address: 104, value: 10 },
-            AddrValue { address: 105, value: 144 },
+            AddrValue { address: 34, value: 0x208b7fff7fff7ffe },
+            AddrValue { address: 35, value: 0x25 },
+            AddrValue { address: 36, value: 0x0 },
+            AddrValue { address: 37, value: 0x68 },
+            AddrValue { address: 38, value: 0x6a },
+            AddrValue { address: 39, value: 0x1ea },
+            AddrValue { address: 40, value: 0x9ea },
+            AddrValue { address: 100, value: 0x6a },
+            AddrValue { address: 101, value: 0x6a },
+            AddrValue { address: 102, value: 0x1ea },
+            AddrValue { address: 103, value: 0x9ea },
+            AddrValue { address: 104, value: 0xa },
+            AddrValue { address: 105, value: 0x90 },
         ],
         continuous_page_headers: array![],
     };
@@ -326,9 +326,9 @@ fn test_eval_composition_polynomial() {
         @public_input,
         mask_values.span(),
         constraint_coefficients.span(),
-        point: 1169401663230966389975125371649768831607811948352985489235372269924806113807,
-        trace_domain_size: 262144,
-        trace_generator: 2018678091584329218435280089678148721952597162209143564155364750690020073542
+        point: 0x295db9e6b36bd5b5d2591d7d76a57e241821fd478b9f667778f0a09960d3a0f,
+        trace_domain_size: 0x40000,
+        trace_generator: 0x4768803ef85256034f67453635f87997ff61841e411ee63ce7b0a8b9745a046
     );
     assert(
         res == 0x245c787b658a0461241e840f1ffcf76ca5d29e6571e7a8edd80fdd968fddd45,