Merge pull request #100 from matter-labs/development

Some zargo fixes
matter-labs · Feb 14, 2020 · 3f93282 · 3f93282
2 parents 5d2d0cc + f380c54
commit 3f93282
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/zargo/src/command/proof_check.rs b/zargo/src/command/proof_check.rs
@@ -22,7 +22,9 @@ use crate::manifest::Error as ManifestError;
 use crate::manifest::Manifest;
 
 #[derive(Debug, StructOpt)]
-#[structopt(about = "Runs a circuit and saves its output")]
+#[structopt(
+    about = "Runs the full circuit building, running, trusted setup, proving & verifying sequence"
+)]
 pub struct Command {
     #[structopt(
         short = "v",

diff --git a/zargo/src/directory/source/main.rs b/zargo/src/directory/source/main.rs
@@ -67,10 +67,10 @@ impl Main {
 //! The '{}' main module.
 //!
 
-fn main(witness: u8) -> bool {{
-    dbg!("Zello, World {{}}!", witness);
+fn main(witness: u8) -> u8 {{
+    dbg!("Zello, World!");
 
-    true
+    witness
 }}
 "#,
             self.circuit_name