github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1165 from Zokrates/change-default-backend

Browse source 
Change default backend in the CLI
This commit is contained in:
Thibaut Schaeffer 2022-06-13 20:02:00 +02:00 committed by GitHub
commit 7781819bb3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
5 changed files with 6 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
changelogs/unreleased/1165-dark64 Normal file
View file

@ -0,0 +1 @@
Change the default backend to `ark` in the CLI

4
zokrates_cli/examples/book/mpc_tutorial/test.sh
View file

@ -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
zokrates generate-proof -i circuit -b bellman
zokrates verify -b bellman

2
zokrates_cli/src/ops/generate_proof.rs
View file

@ -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")

2
zokrates_cli/src/ops/setup.rs
View file

@ -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")

2
zokrates_cli/src/ops/verify.rs
View file

@ -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),
)
}