@@ -105,25 +105,26 @@ TEST(Databus, UnnormalizedEntryAccess)
105105 Builder builder;
106106 databus_ct databus;
107107 std::array<fr, 3 > raw_calldata_entries = { 3 , 2 , 1 };
108- std::array<fr, 3 > raw_returndata_entries = { 6 , 4 , 2 };
108+ std::array<fr, 3 > raw_returndata_entries = { 3 , 2 , 1 };
109109 std::vector<field_ct> calldata_entries;
110110 for (fr entry : raw_calldata_entries) {
111+ calldata_entries.emplace_back (witness_ct (&builder, entry));
111112 field_ct entry_witness = witness_ct (&builder, entry);
112- // add the value to itself to make it unnormalized
113- calldata_entries.emplace_back (entry_witness + entry_witness);
114113 }
115114 std::vector<field_ct> returndata_entries;
116115 for (fr entry : raw_returndata_entries) {
117- returndata_entries.emplace_back (witness_ct (&builder, entry));
116+ field_ct entry_witness = witness_ct (&builder, entry);
117+ // add the value to itself to make it unnormalized
118+ returndata_entries.emplace_back (entry_witness + entry_witness);
118119 }
119120 databus.calldata .set_values (calldata_entries);
120121 databus.return_data .set_values (returndata_entries);
121122 field_ct idx_0 = witness_ct (&builder, 0 );
122123 field_ct idx_1 = witness_ct (&builder, 1 );
123124 field_ct idx_2 = witness_ct (&builder, 2 );
124- databus.return_data [idx_0].assert_equal (databus.calldata [idx_0]);
125- databus.return_data [idx_1].assert_equal (databus.calldata [idx_1]);
126- databus.return_data [idx_2].assert_equal (databus.calldata [idx_2]);
125+ databus.return_data [idx_0].assert_equal (databus.calldata [idx_0] + databus. calldata [idx_0] );
126+ databus.return_data [idx_1].assert_equal (databus.calldata [idx_1] + databus. calldata [idx_1] );
127+ databus.return_data [idx_2].assert_equal (databus.calldata [idx_2] + databus. calldata [idx_2] );
127128 EXPECT_TRUE (CircuitChecker::check (builder));
128129}
129130
0 commit comments