Enable lookup

akokoshn · nkaskov · commit 604da5e7f901 · 2023-12-01T13:20:21.000+02:00
diff --git a/bin/assigner/src/main.cpp b/bin/assigner/src/main.cpp
diff --git a/bin/transpiler/src/main.cpp b/bin/transpiler/src/main.cpp
@@ -253,7 +253,7 @@ int main(int argc, char *argv[]) {
     using BlueprintFieldType = typename curve_type::base_field_type;
     constexpr std::size_t WitnessColumns = 15;
     constexpr std::size_t PublicInputColumns = 1;
-    constexpr std::size_t ConstantColumns = 5;
+    constexpr std::size_t ConstantColumns = 30;
     constexpr std::size_t SelectorColumns = 35;
 
     using ArithmetizationParams =
diff --git a/examples/cpp/CMakeLists.txt b/examples/cpp/CMakeLists.txt
@@ -78,9 +78,9 @@ add_example_with_proving(arithmetics_cpp_example SOURCES arithmetics.cpp INPUT a
 add_example_with_proving(integer_arithmetics_cpp_example SOURCES integer_arithmetics.cpp INPUT integer_arithmetics.inp)
 add_example_with_proving(poseidon_cpp_example SOURCES poseidon.cpp INPUT poseidon.inp)
 add_example_with_proving(merkle_tree_poseidon_cpp_example SOURCES merkle_tree_poseidon.cpp INPUT merkle_tree_poseidon.inp)
-add_example_with_proving(merkle_tree_sha2_256_cpp_example SOURCES merkle_tree_sha2_256.cpp INPUT merkle_tree_sha2_256.inp)
-add_example_with_proving(validate_merkle_path_sha2_256_cpp_example SOURCES validate_merkle_path_sha2_256.cpp INPUT validate_merkle_path_sha2_256.inp)
-add_example_with_proving(sha256_cpp_example SOURCES sha2_256.cpp INPUT sha2_256.inp)
+#add_example_with_proving(merkle_tree_sha2_256_cpp_example SOURCES merkle_tree_sha2_256.cpp INPUT merkle_tree_sha2_256.inp)
+add_example_without_proving(validate_merkle_path_sha2_256_cpp_example SOURCES validate_merkle_path_sha2_256.cpp INPUT validate_merkle_path_sha2_256.inp)
+add_example_without_proving(sha256_cpp_example SOURCES sha2_256.cpp INPUT sha2_256.inp)
 add_example_with_proving(balance_cpp_example SOURCES balance.cpp INPUT balance.inp)
 add_example_with_proving(memory_cpp_example SOURCES memory.cpp INPUT memory.inp)
 add_example_with_proving(polynomial_cpp_example SOURCES polynomial.cpp INPUT polynomial.inp COMPILER_OPTIONS -std=c++20)
diff --git a/examples/rust/CMakeLists.txt b/examples/rust/CMakeLists.txt
@@ -41,6 +41,6 @@ add_rust_example(arithmetics_arkworks_rust_example EXAMPLE_NAME arithmetics_arkw
 add_rust_example(ed25519_curve_add_rust_example EXAMPLE_NAME ed25519_curve_add INPUT ed25519_curve_add.inp)
 add_rust_example(eddsa_signature_verification_rust_example EXAMPLE_NAME eddsa_signature_verification INPUT eddsa_signature_verification_rust.inp)
 add_rust_example(eddsa_signature_verification_builtins_rust_example EXAMPLE_NAME eddsa_signature_verification_builtins INPUT eddsa_signature_verification_rust.inp)
-add_rust_example(merkle_tree_sha2_256_rust_example EXAMPLE_NAME merkle_tree_sha2_256 INPUT merkle_tree_sha2_256_rust.inp)
-add_rust_example(sha2_256_rust_example EXAMPLE_NAME sha2_256 INPUT sha2_256_rust.inp)
+#add_rust_example(merkle_tree_sha2_256_rust_example EXAMPLE_NAME merkle_tree_sha2_256 INPUT merkle_tree_sha2_256_rust.inp)
+#add_rust_example(sha2_256_rust_example EXAMPLE_NAME sha2_256 INPUT sha2_256_rust.inp)
 add_rust_example(sha2_512_rust_example EXAMPLE_NAME sha2_512 INPUT sha2_512_rust.inp)
diff --git a/libs/assigner b/libs/assigner
@@ -1 +1 @@
-Subproject commit 3bb2f6ed332e7ddc850952b4cfda3cc701b47f85
+Subproject commit 6dd86fb9ec59a7bd2f9ace50c19daf92c601b97e
diff --git a/libs/blueprint b/libs/blueprint
@@ -1 +1 @@
-Subproject commit 0cbb80dcae7e546f619d77ee7b2c664eba43dc89
+Subproject commit ca6012a52ce26f797c818668e1ad441138d109ec
diff --git a/libs/crypto3 b/libs/crypto3
@@ -1 +1 @@
-Subproject commit 355b3d5cb9da12f840d6afcbee81fb9f5a55a863
+Subproject commit 2dcbf3ac72e82bcdb6bf04b8795deb432d98eebf
