fix wrong number of inputs for setup, clean

out.code

@@ -1,3 +0,0 @@
-def main(c,private a,private b):
-	c == (a * b)
-	return 1

src/main.rs

@@ -357,7 +357,6 @@ fn main() {
 
             // transform to R1CS
             let (variables, private_inputs_offset, a, b, c) = r1cs_program(&program_ast);
-            println!("\nvars\n{:?}\noffset\n{:?}\na\n{:?}\nb\n{:?}\nc\n{:?}", variables, private_inputs_offset, a, b, c);
 
             // write variables meta information to file
             let var_inf_path = Path::new(sub_matches.value_of("meta-information").unwrap());
@@ -382,7 +381,7 @@ fn main() {
             // run setup phase
             #[cfg(not(feature="nolibsnark"))]{
                 // number of inputs in the zkSNARK sense, i.e., input variables + output variables
-                let num_inputs = main_flattened.arguments.len() + 1; //currently exactly one output variable
+                let num_inputs = main_flattened.arguments.iter().filter(|x| !x.private).count() + 1;
                 println!("setup successful: {:?}", setup(variables, a, b, c, num_inputs, pk_path, vk_path));
             }
         }

variables.inf

@@ -1,4 +0,0 @@
-Private inputs offset:
-3
-R1CS variable order:
-~one c ~out a b 

verification.key

@@ -1,13 +0,0 @@
-		vk.A = [0x266e7eaf966e822ad67df2910d73845a5f6f84357b9a4b9f268f86132af68acc, 0x28e8d74d1acabb6f12b677b104dbdede11dc65d996aff7024379878cfdbee0ac], [0x1c44d164d2a2cc9ad9d1cf657a79e1aca93418f7bfdf23038d108a207e85947d, 0x69c08ecfae6f687d6169fb8e0bda5928d4cecf6c0594156ee4d524b155605f1]
-		vk.B = 0xa1f97fbcf835a5d6c5bbfa51271c777becf9258ca44ebf5ea95f6623ca5ec3d, 0x1cfb02b14ecc2afe1d28442daeff2de5ddb32666824b52172a5004b37b01e1b8
-		vk.C = [0x20bc704965f49aabab8cb48662d44e7607507a77d5a0b534854d4f41f291686a, 0x12b4846c1a68e1d5532cdb0d8845ad647ac342d3f59fab0bb38c3ee54c87cfa9], [0x2e68a6b86a772c0c3795b0408d055ed11f5edd820e37cb12ed64b3bb437cf689, 0xe63fac1b2b5b701a6e1c2434f1d2d2e14ab447b54201663d7d11acd4f742697]
-		vk.gamma = [0x2f83d95a24903e869333837260e4cfe093d38c793a2f0fb729c0151b4de1d12c, 0x24f2703c855f1fe175710638f4285a87e4f5c0eb44d9dd244e4f0f122bd6388], [0x11099e7a5417fdf1d7187e0758897e7b23ee416d17a89102593d45a7382d4517, 0x191d11e8bd087b2149eae6bd39b18d8dc52cb66f7d4e11f1cb287503a25c2672]
-		vk.gammaBeta1 = 0x26dba0aa9489f99298b132d71dad6b357ae3966eb779a1627e976403516c9d2b, 0x121fa218710bdc8c46e04189de8fc87c71c38b20d1bc308d6b6776ff3f40e58e
-		vk.gammaBeta2 = [0x2cf8945fa72e7888350cfb628dbd51a410c70c9ccd894eeac8e7cec7c1247112, 0x25b814c38b7a1688d330e65227c42c938ac9dbb726ed739429e2620224bcbe41], [0x515716d220659ee56d101f6decba47448f2f08a90a4a8356dcbf8f52a01fa42, 0x269fc99862f80116d8056e37561f0af799d662b07d5f5f3f026577af24de8e04]
-		vk.Z = [0x8177f58bf220749854973a5506c50e2322d2e71e3b37a541769912309632624, 0x24809a8325352314065f4358b2a5add05bac35bda0c97b076fadd3fe5bb970e4], [0x368bdbb340065e8c1c32ea178cccc07db257dbb9aba5db1f42a39deb990d838, 0x2937bd2682119fdc74b462c58f77b9c1c8f59fc9f39d953caacfa25b2640e289]
-		vk.IC.len() = 5
-		vk.IC[0] = 0x2c6a375ea005c3b538be391c1cf3e247e92307d99946c270432cc70962537cd4, 0xe618adba9796b2d5620f344168500268f92707cd4695b1967571b7a74caf6f6
-		vk.IC[1] = 0x296202906feb10bfa6c362faca9ec6cb093a56c3c9449facb5151be67e139277, 0x260e867ec4581cc8c709341b2919fe867c7740f1b624e9921120abafea857ac6
-		vk.IC[2] = 0x13d7b366f4703d9b50c8f1acdd7e7956f04f129c3d620ec4d27f92c55dc7979c, 0xfac1a26e067d3e05e10d7ec7c236ab463100e822191a13bca37cc613e521746
-		vk.IC[3] = 0x14ba5755c2cfa6a606bbe66611d2528ae7f20bac1a96712959d5099a02d11907, 0x13316e64b46d2f18a649803da0621a150af3076039d1597d505f1f073fe231a8
-		vk.IC[4] = 0x1c459f97b080e17647b1937a9dfedb48caf92d6f08097d16bb82070bb832ea55, 0x2ff33110d33bb728b2dec637238b07a59747fe0928b87c7e590c2a1585fddd67

witness

@@ -1,5 +0,0 @@
-c 8
-b 4
-~one 1
-a 2
-~out 1