Skip to content

Commit

Permalink
Post-rebase cleanup.
Browse files Browse the repository at this point in the history
  • Loading branch information
sjudson committed Jun 18, 2024
1 parent 586c924 commit 153a346
Show file tree
Hide file tree
Showing 7 changed files with 12 additions and 15 deletions.
4 changes: 1 addition & 3 deletions tools/src/command/compress.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3,16 +3,14 @@ use std::{io, path::PathBuf};
use anyhow::Context;
use clap::Args;

use nexus_config::{vm as vm_config, Config};
use nexus_api::config::{vm as vm_config, Config};

use super::{public_params::format_params_file, spartan_key::SetupArgs};
use super::prove::{save_proof, TERMINAL_MODE};

use crate::{
command::{cache_path, spartan_key::spartan_setup},
LOG_TARGET, TERMINAL_MODE,
};
use nexus_api::config::{vm as vm_config, Config};

#[derive(Debug, Args)]
pub struct CompressArgs {
Expand Down
2 changes: 1 addition & 1 deletion tools/src/command/mod.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
use clap::Subcommand;
use std::path::PathBuf;

use nexus_config::{Config, MiscConfig};
use nexus_api::config::{Config, MiscConfig};

use super::ENV;

Expand Down
5 changes: 2 additions & 3 deletions tools/src/command/prove.rs
Original file line number Diff line number Diff line change
Expand Up @@ -6,16 +6,15 @@ use std::{
use anyhow::Context;
use clap::Args;

use nexus_config::{vm as vm_config, Config};
use nexus_api::config::{vm as vm_config, Config};

use crate::{
command::{
jolt,
public_params::{setup_params, SetupArgs},
},
utils::{cargo, path_to_artifact},
LOG_TARGET,
TERMINAL_MODE,
LOG_TARGET, TERMINAL_MODE,
};

#[derive(Debug, Args)]
Expand Down
2 changes: 1 addition & 1 deletion tools/src/command/public_params.rs
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ use std::{

use anyhow::Context;

use nexus_config::{
use nexus_api::config::{
vm::{self as vm_config, ProverImpl},
Config,
};
Expand Down
2 changes: 1 addition & 1 deletion tools/src/command/public_params/command_args.rs
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
use std::path::PathBuf;

use clap::{Args, Subcommand};
use nexus_config::vm as vm_config;
use nexus_api::config::vm as vm_config;

#[derive(Debug, Args)]
pub struct PublicParamsArgs {
Expand Down
2 changes: 1 addition & 1 deletion tools/src/command/spartan_key.rs
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ use std::{

use anyhow::Context;

use nexus_config::{vm as vm_config, Config};
use nexus_api::config::{vm as vm_config, Config};
use nexus_api::prover::nova::{srs::get_min_srs_size, types::ComPP};

use super::public_params::{format_params_file, format_srs_file};
Expand Down
10 changes: 5 additions & 5 deletions tools/src/command/verify.rs
Original file line number Diff line number Diff line change
Expand Up @@ -8,18 +8,18 @@ use anyhow::Context;
use ark_serialize::CanonicalDeserialize;
use clap::Args;

use nexus_config::{
vm::{NovaImpl, ProverImpl, VmConfig},
Config,
};
use nexus_api::prover::nova::types::{ComPCDNode, ComProof, IVCProof, PCDNode};
use super::{
jolt,
prove::{CommonProveArgs, LocalProveArgs},
public_params::format_params_file,
spartan_key::format_key_file,
};
use crate::{command::cache_path, LOG_TARGET, TERMINAL_MODE};
use nexus_api::config::{
vm::{NovaImpl, ProverImpl, VmConfig},
Config,
};
use nexus_api::prover::nova::types::{ComPCDNode, ComProof, IVCProof, PCDNode};

#[derive(Debug, Args)]
pub struct VerifyArgs {
Expand Down

0 comments on commit 153a346

Please sign in to comment.