From c5d1ef7734444e61a8dd982e67b32dd42c036a0a Mon Sep 17 00:00:00 2001
From: poma <semenov.roma@gmail.com>
Date: Wed, 20 Nov 2019 20:27:08 +0300
Subject: [PATCH] check selector in mixer

---
 circuits/merkleTree.circom | 1 +
 1 file changed, 1 insertion(+)

diff --git a/circuits/merkleTree.circom b/circuits/merkleTree.circom
index 1764f14..ce8862d 100644
--- a/circuits/merkleTree.circom
+++ b/circuits/merkleTree.circom
@@ -20,6 +20,7 @@ template DualMux() {
     signal input s;
     signal output out[2];
 
+    s * (1 - s) === 0
     out[0] <== (in[1] - in[0])*s + in[0];
     out[1] <== (in[0] - in[1])*s + in[1];
 }