From c7c58720cf926322052c1c593266196e11f97c38 Mon Sep 17 00:00:00 2001 From: Haresh G Date: Fri, 14 Jul 2023 15:24:05 +0530 Subject: [PATCH 1/3] Skip yul flag --- bin/transpiler/src/main.cpp | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/bin/transpiler/src/main.cpp b/bin/transpiler/src/main.cpp index 1773c788..0432d48e 100644 --- a/bin/transpiler/src/main.cpp +++ b/bin/transpiler/src/main.cpp @@ -68,7 +68,7 @@ bool read_buffer_from_file(std::ifstream &ifile, std::vector &v) { template void print_sol_files(ConstraintSystemType &constraint_system, ColumnsRotationsType &columns_rotations, - std::string out_folder_path = ".", bool optimize_gates = false) { + std::string out_folder_path = ".", bool optimize_gates = false, bool generate_yul = true) { ProfilingType::process_split( nil::blueprint::main_sol_file_template, nil::blueprint::gate_sol_file_template, @@ -229,6 +229,7 @@ int main(int argc, char *argv[]) { ("output-folder-path,o", boost::program_options::value(), "Output folder absolute path.\ It'll be better to create an empty folder for output") ("optimize-gates", "Put multiple sequental small gates into one .sol file") + ("no-yul", "Skip optimised yul code generation") ; // clang-format on @@ -247,6 +248,7 @@ int main(int argc, char *argv[]) { std::string circuit_file_name; std::string output_folder_path; std::string public_input; + bool generate_yul = true; if (vm.count("mode")) { mode = vm["mode"].as(); @@ -291,6 +293,8 @@ int main(int argc, char *argv[]) { return 1; } + + std::ifstream ifile; ifile.open(circuit_file_name); if (!ifile.is_open()) { @@ -381,10 +385,15 @@ int main(int argc, char *argv[]) { bool optimize_gates = false; if( vm.count("optimize-gates") ) optimize_gates = true; + if(vm.count("no-yul")){ + generate_yul = false ; + } + print_sol_files( - constraint_system, columns_rotations, output_folder_path, optimize_gates); + constraint_system, columns_rotations, output_folder_path, optimize_gates, generate_yul); } + if (mode == "gen-test-proof") { typename nil::crypto3::zk::snark::placeholder_public_preprocessor< BlueprintFieldType, placeholder_params>::preprocessed_data_type public_preprocessed_data = From c3b2c1db489f68d70f0d074684673650d5c81dea Mon Sep 17 00:00:00 2001 From: Haresh G Date: Mon, 17 Jul 2023 15:16:39 +0530 Subject: [PATCH 2/3] yul args --- bin/transpiler/src/main.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/transpiler/src/main.cpp b/bin/transpiler/src/main.cpp index 0432d48e..4dba92f2 100644 --- a/bin/transpiler/src/main.cpp +++ b/bin/transpiler/src/main.cpp @@ -75,7 +75,8 @@ void print_sol_files(ConstraintSystemType &constraint_system, ColumnsRotationsTy constraint_system, columns_rotations, out_folder_path, - optimize_gates + optimize_gates, + generate_yul ); } From 9d8539a3f281fdec116ba47b3911092989e5f020 Mon Sep 17 00:00:00 2001 From: Haresh G Date: Thu, 20 Jul 2023 17:18:12 +0530 Subject: [PATCH 3/3] Changing flag name --- bin/transpiler/src/main.cpp | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/bin/transpiler/src/main.cpp b/bin/transpiler/src/main.cpp index 4dba92f2..81257393 100644 --- a/bin/transpiler/src/main.cpp +++ b/bin/transpiler/src/main.cpp @@ -68,7 +68,7 @@ bool read_buffer_from_file(std::ifstream &ifile, std::vector &v) { template void print_sol_files(ConstraintSystemType &constraint_system, ColumnsRotationsType &columns_rotations, - std::string out_folder_path = ".", bool optimize_gates = false, bool generate_yul = true) { + std::string out_folder_path = ".", bool optimize_gates = false, bool generate_asm = true) { ProfilingType::process_split( nil::blueprint::main_sol_file_template, nil::blueprint::gate_sol_file_template, @@ -76,7 +76,7 @@ void print_sol_files(ConstraintSystemType &constraint_system, ColumnsRotationsTy columns_rotations, out_folder_path, optimize_gates, - generate_yul + generate_asm ); } @@ -230,7 +230,7 @@ int main(int argc, char *argv[]) { ("output-folder-path,o", boost::program_options::value(), "Output folder absolute path.\ It'll be better to create an empty folder for output") ("optimize-gates", "Put multiple sequental small gates into one .sol file") - ("no-yul", "Skip optimised yul code generation") + ("no-asm", "Skip optimised assembly/yul code generation") ; // clang-format on @@ -249,7 +249,7 @@ int main(int argc, char *argv[]) { std::string circuit_file_name; std::string output_folder_path; std::string public_input; - bool generate_yul = true; + bool generate_asm = true; if (vm.count("mode")) { mode = vm["mode"].as(); @@ -386,12 +386,12 @@ int main(int argc, char *argv[]) { bool optimize_gates = false; if( vm.count("optimize-gates") ) optimize_gates = true; - if(vm.count("no-yul")){ - generate_yul = false ; + if(vm.count("no-asm")){ + generate_asm = false ; } print_sol_files( - constraint_system, columns_rotations, output_folder_path, optimize_gates, generate_yul); + constraint_system, columns_rotations, output_folder_path, optimize_gates, generate_asm); }