Skip to content

Commit

Permalink
fix: add docs and empty-cmd flag (#686)
Browse files Browse the repository at this point in the history
  • Loading branch information
JSeam2 authored Jan 11, 2024
1 parent 07a5080 commit be09850
Show file tree
Hide file tree
Showing 3 changed files with 8 additions and 1 deletion.
2 changes: 1 addition & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -157,7 +157,7 @@ ezkl = ["onnx", "serde", "serde_json", "log", "colored", "env_logger", "tabled/c
mv-lookup = ["halo2_proofs/mv-lookup", "snark-verifier/mv-lookup", "halo2_solidity_verifier/mv-lookup"]
det-prove = []
icicle = ["halo2_proofs/icicle_gpu"]

empty-cmd = []

# icicle patch to 0.1.0 if feature icicle is enabled
[patch.'https://github.com/ingonyama-zk/icicle']
Expand Down
6 changes: 6 additions & 0 deletions src/commands.rs
Original file line number Diff line number Diff line change
Expand Up @@ -232,6 +232,8 @@ impl Cli {
#[allow(missing_docs)]
#[derive(Debug, Subcommand, Clone, Deserialize, Serialize, PartialEq, PartialOrd)]
pub enum Commands {
#[cfg(feature = "empty-cmd")]
/// Creates an empty buffer
Empty,
/// Loads model and prints model table
Table {
Expand Down Expand Up @@ -473,6 +475,7 @@ pub enum Commands {
num_runs: usize,
},
#[cfg(not(target_arch = "wasm32"))]
/// Deploys a test contact that the data attester reads from and creates a data attestation formatted input.json file that contains call data information
#[command(arg_required_else_help = true)]
SetupTestEVMData {
/// The path to the .json data file, which should include both the network input (possibly private) and the network output (public input to the proof)
Expand All @@ -497,6 +500,7 @@ pub enum Commands {
output_source: TestDataSource,
},
#[cfg(not(target_arch = "wasm32"))]
/// The Data Attestation Verifier contract stores the account calls to fetch data to feed into ezkl. This call data can be updated by an admin account. This tests that admin account is able to update this call data.
#[command(arg_required_else_help = true)]
TestUpdateAccountCalls {
/// The path to the verifier contract's address
Expand Down Expand Up @@ -646,6 +650,7 @@ pub enum Commands {
logrows: u32,
},
#[cfg(not(target_arch = "wasm32"))]
/// Deploys an evm verifier that is generated by ezkl
DeployEvmVerifier {
/// The path to the Solidity code (generated using the create-evm-verifier command)
#[arg(long, default_value = DEFAULT_SOL_CODE)]
Expand All @@ -664,6 +669,7 @@ pub enum Commands {
private_key: Option<String>,
},
#[cfg(not(target_arch = "wasm32"))]
/// Deploys an evm verifier that allows for data attestation
#[command(name = "deploy-evm-da")]
DeployEvmDataAttestation {
/// The path to the .json data file, which should include both the network input (possibly private) and the network output (public input to the proof)
Expand Down
1 change: 1 addition & 0 deletions src/execute.rs
Original file line number Diff line number Diff line change
Expand Up @@ -132,6 +132,7 @@ pub async fn run(command: Commands) -> Result<String, Box<dyn Error>> {
std::env::set_current_dir(WORKING_DIR.as_path())?;

match command {
#[cfg(feature = "empty-cmd")]
Commands::Empty => Ok(String::new()),
#[cfg(not(target_arch = "wasm32"))]
Commands::Fuzz {
Expand Down

0 comments on commit be09850

Please sign in to comment.