diff --git a/workflow/build_circuit.sh b/workflow/build_circuit.sh
old mode 100644
new mode 100755
diff --git a/workflow/circ_params.sh b/workflow/circ_params.sh
old mode 100644
new mode 100755
diff --git a/workflow/gen_input.sh b/workflow/gen_input.sh
old mode 100644
new mode 100755
diff --git a/workflow/params.sh b/workflow/params.sh
old mode 100644
new mode 100755
diff --git a/workflow/prove.sh b/workflow/prove.sh
old mode 100644
new mode 100755
diff --git a/workflow/prove_and_verify.sh b/workflow/prove_and_verify.sh
old mode 100644
new mode 100755