From 841b379553d027fce27725231975165ce52dcf88 Mon Sep 17 00:00:00 2001 From: Filip Krawczyk Date: Thu, 25 Jan 2024 00:47:34 +0100 Subject: [PATCH] Change composition test's number to hex --- src/air/tests/test_composition.cairo | 118 +++++++++++++-------------- 1 file changed, 59 insertions(+), 59 deletions(-) diff --git a/src/air/tests/test_composition.cairo b/src/air/tests/test_composition.cairo index ac351f776..63d965f3d 100644 --- 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,