add square root example

compiler/src/compiler.rs

@@ -115,13 +115,14 @@ impl<F: Field + PrimeField, G: GroupType<F>> Compiler<F, G> {
 
 impl<F: Field + PrimeField, G: GroupType<F>> ConstraintSynthesizer<F> for Compiler<F, G> {
     fn generate_constraints<CS: ConstraintSystem<F>>(self, cs: &mut CS) -> Result<(), SynthesisError> {
-        let _result =
+        let result =
             generate_constraints::<_, G, _>(cs, self.program, self.program_inputs.get_inputs()).map_err(|e| {
                 log::error!("{}", e);
                 SynthesisError::Unsatisfiable
             })?;
 
         // Write results to file or something
+        log::info!("{}", result);
 
         Ok(())
     }

compiler/src/constraints/value.rs

@@ -193,7 +193,14 @@ impl<F: Field + PrimeField, G: GroupType<F>> fmt::Display for ConstrainedValue<F
             ConstrainedValue::Integer(ref value) => write!(f, "{}", value),
             ConstrainedValue::Field(ref value) => write!(f, "{:?}", value),
             ConstrainedValue::Group(ref value) => write!(f, "{:?}", value),
-            ConstrainedValue::Boolean(ref value) => write!(f, "{}", value.get_value().unwrap()),
+            ConstrainedValue::Boolean(ref value) => write!(
+                f,
+                "{}",
+                value
+                    .get_value()
+                    .map(|v| v.to_string())
+                    .unwrap_or(format!("[allocated]"))
+            ),
             ConstrainedValue::Array(ref array) => {
                 write!(f, "[")?;
                 for (i, e) in array.iter().enumerate() {

examples/square_root/.gitignore

@@ -0,0 +1 @@
+outputs/

examples/square_root/Leo.toml

@@ -0,0 +1,3 @@
+[package]
+name = "square_root"
+version = "0.1.0"

examples/square_root/inputs/square_root.in

@@ -0,0 +1,4 @@
+// The program inputs for square_root/src/main.leo
+[main]
+a: field = 337;
+b: field = 113569;

examples/square_root/src/main.leo

@@ -0,0 +1,5 @@
+// The 'square_root' main function.
+// prove knowledge of the square root `a` of a number `b`:
+function main(a: field, b: field) -> bool {
+    return a * a == b
+}