308 implement basic logup algorithm

[martun]

This is an implementation of the basic version of LogUp in the lookup argument. It also optimized lookup input calculation.

We should do the same in the permutation argument later, here's a task for that:

https://www.notion.so/nilfoundation/Implement-logUp-like-structure-in-permutation-argument-and-remove-unnecessary-values-like-lookup_pa-19ec61485260801bb249d2ea9fda05f4

[github-actions]

Clang Test Results

  177 files  ± 0    177 suites  ±0   23m 2s ⏱️ -12s
8 453 tests  - 96  8 447 ✅  - 96  6 💤 ±0  0 ❌ ±0 
8 519 runs   - 96  8 513 ✅  - 96  6 💤 ±0  0 ❌ ±0 

Results for commit 0a226d8. ± Comparison against base commit b95c1b9.

This pull request removes 105 and adds 9 tests. Note that renamed tests count towards both.

lpc_math_polynomial_suite ‑ lpc_basic_skipping_layers_test
lpc_math_polynomial_suite ‑ lpc_dfs_basic_test
lpc_params_test_suite ‑ lpc_batches_num_3_test
lpc_params_test_suite ‑ lpc_different_hash_types_test
pack_equal_test_suite ‑ bubb_to_bubb_1
pack_equal_test_suite ‑ bubb_to_bubb_2
pack_equal_test_suite ‑ bubb_to_bubb_3
pack_equal_test_suite ‑ bubb_to_bulb_1
pack_equal_test_suite ‑ bubb_to_bulb_2
pack_equal_test_suite ‑ bubb_to_lubb_1
…

pack_imploder_test_suite ‑ be_to_be_1
pack_imploder_test_suite ‑ be_to_be_2
pack_imploder_test_suite ‑ be_to_le_1
pack_imploder_test_suite ‑ be_to_le_2
pack_imploder_test_suite ‑ be_to_le_3
pack_imploder_test_suite ‑ bubb_to_lulb_4
placeholder_circuit4_lookup_test ‑ circuit3
placeholder_circuit4_lookup_test ‑ circuit4
polynomial_dfs_operations_with_constants_test_suite ‑ polynomial_dfs_inverse_test

♻️ This comment has been updated with latest results.

[github-actions]

Gcc Test Results

  177 files  ±0    177 suites  ±0   20m 24s ⏱️ - 2m 35s
8 546 tests  - 1  8 540 ✅  - 1  6 💤 ±0  0 ❌ ±0 
8 612 runs   - 8  8 606 ✅  - 8  6 💤 ±0  0 ❌ ±0 

Results for commit 0a226d8. ± Comparison against base commit b95c1b9.

This pull request removes 6 and adds 5 tests. Note that renamed tests count towards both.

lpc_math_polynomial_suite ‑ lpc_basic_skipping_layers_test
lpc_math_polynomial_suite ‑ lpc_dfs_basic_test
lpc_params_test_suite ‑ lpc_batches_num_3_test
lpc_params_test_suite ‑ lpc_different_hash_types_test
placeholder_circuit3_lookup_test ‑ lookup_test
placeholder_circuit4_lookup_test ‑ lookup_test

blueprint_plonk_test_suite ‑ blueprint_plonk_hashes_keccak_round_bbf_not_random_pallas
blueprint_plonk_test_suite ‑ blueprint_plonk_hashes_keccak_round_bbf_random_pallas
placeholder_circuit4_lookup_test ‑ circuit3
placeholder_circuit4_lookup_test ‑ circuit4
polynomial_dfs_operations_with_constants_test_suite ‑ polynomial_dfs_inverse_test

♻️ This comment has been updated with latest results.