From b29bc7577981537684cd7d4c7ad8e92211cec489 Mon Sep 17 00:00:00 2001 From: dark64 Date: Mon, 13 Jun 2022 12:47:54 +0200 Subject: [PATCH 1/3] change default backend in the cli --- zokrates_cli/src/ops/generate_proof.rs | 2 +- zokrates_cli/src/ops/setup.rs | 2 +- zokrates_cli/src/ops/verify.rs | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/zokrates_cli/src/ops/generate_proof.rs b/zokrates_cli/src/ops/generate_proof.rs index 422d64c1..6dba4fef 100644 --- a/zokrates_cli/src/ops/generate_proof.rs +++ b/zokrates_cli/src/ops/generate_proof.rs @@ -69,7 +69,7 @@ pub fn subcommand() -> App<'static, 'static> { .takes_value(true) .required(false) .possible_values(cli_constants::BACKENDS) - .default_value(constants::BELLMAN), + .default_value(constants::ARK), ) .arg( Arg::with_name("proving-scheme") diff --git a/zokrates_cli/src/ops/setup.rs b/zokrates_cli/src/ops/setup.rs index da2c10ea..fb1d6fcc 100644 --- a/zokrates_cli/src/ops/setup.rs +++ b/zokrates_cli/src/ops/setup.rs @@ -59,7 +59,7 @@ pub fn subcommand() -> App<'static, 'static> { .takes_value(true) .required(false) .possible_values(cli_constants::BACKENDS) - .default_value(constants::BELLMAN), + .default_value(constants::ARK), ) .arg( Arg::with_name("proving-scheme") diff --git a/zokrates_cli/src/ops/verify.rs b/zokrates_cli/src/ops/verify.rs index 9a2d9c17..8f48a79f 100644 --- a/zokrates_cli/src/ops/verify.rs +++ b/zokrates_cli/src/ops/verify.rs @@ -47,7 +47,7 @@ pub fn subcommand() -> App<'static, 'static> { .takes_value(true) .required(false) .possible_values(cli_constants::BACKENDS) - .default_value(constants::BELLMAN), + .default_value(constants::ARK), ) } From 99f08015a1c96bfaa2cf39f98773a3aa6a466bb4 Mon Sep 17 00:00:00 2001 From: dark64 Date: Mon, 13 Jun 2022 12:49:28 +0200 Subject: [PATCH 2/3] add changelog --- changelogs/unreleased/1165-dark64 | 1 + 1 file changed, 1 insertion(+) create mode 100644 changelogs/unreleased/1165-dark64 diff --git a/changelogs/unreleased/1165-dark64 b/changelogs/unreleased/1165-dark64 new file mode 100644 index 00000000..8ec88688 --- /dev/null +++ b/changelogs/unreleased/1165-dark64 @@ -0,0 +1 @@ +Change the default backend to `ark` in the CLI \ No newline at end of file From 9283aceeaf5b3185fa9db7696d9c0e5e94ebcdd8 Mon Sep 17 00:00:00 2001 From: dark64 Date: Mon, 13 Jun 2022 15:42:49 +0200 Subject: [PATCH 3/3] fix mpc integration test --- zokrates_cli/examples/book/mpc_tutorial/test.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/zokrates_cli/examples/book/mpc_tutorial/test.sh b/zokrates_cli/examples/book/mpc_tutorial/test.sh index 9c3728e8..743b881b 100755 --- a/zokrates_cli/examples/book/mpc_tutorial/test.sh +++ b/zokrates_cli/examples/book/mpc_tutorial/test.sh @@ -34,5 +34,5 @@ zokrates mpc export -i final.params # use the keys to generate proofs and verify zokrates compute-witness -i circuit -a 123456789 987654321 --verbose -zokrates generate-proof -i circuit -zokrates verify \ No newline at end of file +zokrates generate-proof -i circuit -b bellman +zokrates verify -b bellman \ No newline at end of file