github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 20:28:36 +00:00
Code Issues Projects Releases Wiki Activity

clean

Browse source
This commit is contained in:
schaeff 2023-02-14 16:23:36 +01:00
parent a90582099e
commit 80b6ad12df
2 changed files with 2 additions and 21 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
zokrates_cli/src/ops/nova/mod.rs
View file

@ -1,10 +1,11 @@
use clap::{App, ArgMatches, SubCommand};
use clap::{App, ArgMatches, SubCommand, AppSettings};
pub mod prove;
pub fn subcommand() -> App<'static, 'static> {
SubCommand::with_name("nova")
.about("Nova IVC")
.setting(AppSettings::SubcommandRequiredElseHelp)
.subcommands(vec![prove::subcommand().display_order(1)])
}

20
zokrates_cli/src/ops/nova/prove.rs
View file

@ -46,17 +46,6 @@ pub fn subcommand() -> App<'static, 'static> {
.required(false)
.default_value(cli_constants::ABI_SPEC_DEFAULT_PATH)
)
.arg(
Arg::with_name("arguments")
.short("a")
.long("arguments")
.help("Arguments for the program's main function, when not using ABI encoding. Expects a space-separated list of field elements like `-a 1 2 3`")
.takes_value(true)
.multiple(true) // allows multiple values
.required(false)
.conflicts_with("abi")
.conflicts_with("stdin")
)
.arg(
Arg::with_name("proof-path")
.short("j")
@ -67,13 +56,6 @@ pub fn subcommand() -> App<'static, 'static> {
.required(false)
.default_value(cli_constants::JSON_PROOF_PATH),
)
.arg(
Arg::with_name("stdin")
.long("stdin")
.help("Read arguments from stdin")
.conflicts_with("arguments")
.required(false)
)
}
pub fn exec(sub_matches: &ArgMatches) -> Result<(), String> {
@ -121,8 +103,6 @@ fn cli_nova_prove_step<'ast, T: NovaField, I: Iterator<Item = ir::Statement<'ast
.encode()
};
println!("Init {:#?}", init);
let steps: Vec<_> = {
let path = Path::new(sub_matches.value_of("steps").unwrap());
let json_str = std::fs::read_to_string(path).unwrap();