Merge pull request #15 from ebfull/pedersen-hashes

Pedersen hashes inside and outside the circuit

Cargo.toml

@@ -16,7 +16,7 @@ features = ["expose-arith"]
 rand = "0.3"
 blake2 = "0.7"
 digest = "0.7"
-bellman = "0.0.6"
+bellman = "0.0.7"
 
 [features]
 default = ["u128-support"]

src/circuit/boolean.rs

@@ -270,6 +270,25 @@ impl<Var: Copy> Boolean<Var> {
         }
     }
 
+    pub fn lc<E: Engine>(&self, one: Var, coeff: E::Fr) -> LinearCombination<Var, E>
+    {
+        match self {
+            &Boolean::Constant(c) => {
+                if c {
+                    LinearCombination::<Var, E>::zero() + (coeff, one)
+                } else {
+                    LinearCombination::<Var, E>::zero()
+                }
+            },
+            &Boolean::Is(ref v) => {
+                LinearCombination::<Var, E>::zero() + (coeff, v.get_variable())
+            },
+            &Boolean::Not(ref v) => {
+                LinearCombination::<Var, E>::zero() + (coeff, one) - (coeff, v.get_variable())
+            }
+        }
+    }
+
     /// Construct a boolean from a known constant
     pub fn constant(b: bool) -> Self {
         Boolean::Constant(b)

src/circuit/mod.rs

@@ -6,6 +6,7 @@ pub mod uint32;
 pub mod blake2s;
 pub mod num;
 pub mod mont;
+pub mod pedersen_hash;
 
 use bellman::SynthesisError;