Skip to content

Update zkllvm to pass flag to skip #173

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 5 commits into
base: master
Choose a base branch
from
Draft

Update zkllvm to pass flag to skip #173

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
c7c5872
Skip yul flag
hgedia Jul 14, 2023
c3b2c1d
yul args
hgedia Jul 17, 2023
9d8539a
Changing flag name
hgedia Jul 20, 2023
2e01f29
Resolving conflict
hgedia Jul 24, 2023
10c3b56
Merge pull request #1 from hgedia/save_commits
hgedia Jul 24, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 12 additions & 3 deletions bin/transpiler/src/main.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -68,14 +68,15 @@ bool read_buffer_from_file(std::ifstream &ifile, std::vector<std::uint8_t> &v) {
template<typename ProfilingType, typename ConstraintSystemType, typename ColumnsRotationsType,
typename ArithmetizationParams>
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_asm = true) {
ProfilingType::process_split(
nil::blueprint::main_sol_file_template,
nil::blueprint::gate_sol_file_template,
constraint_system,
columns_rotations,
out_folder_path,
optimize_gates
optimize_gates,
generate_asm
);
}

Expand Down Expand Up @@ -230,6 +231,7 @@ int main(int argc, char *argv[]) {
("output-folder-path,o", boost::program_options::value<std::string>(), "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-asm", "Skip optimised assembly/yul code generation")
;
// clang-format on

Expand All @@ -248,6 +250,7 @@ int main(int argc, char *argv[]) {
std::string circuit_file_name;
std::string output_folder_path;
std::string public_input;
bool generate_asm = true;

if (vm.count("mode")) {
mode = vm["mode"].as<std::string>();
Expand Down Expand Up @@ -292,6 +295,8 @@ int main(int argc, char *argv[]) {
return 1;
}



std::ifstream ifile;
ifile.open(circuit_file_name);
if (!ifile.is_open()) {
Expand Down Expand Up @@ -378,8 +383,12 @@ int main(int argc, char *argv[]) {
bool optimize_gates = false;
if( vm.count("optimize-gates") )
optimize_gates = true;
if(vm.count("no-asm")){
generate_asm = false ;
}

print_sol_files<ProfilingType, ConstraintSystemType, ColumnsRotationsType, ArithmetizationParams>(
constraint_system, columns_rotations, output_folder_path, optimize_gates);
constraint_system, columns_rotations, output_folder_path, optimize_gates, generate_asm);
}

if ((mode == "gen-circuit-params") || (mode == "gen-test-proof")) {
Expand Down