Update array accessing to prevent unexpected behaviors on bad circuits

Author: SadPencil

libsnark/jsnark_interface/CircuitReader.cpp

@@ -531,7 +531,7 @@ void CircuitReader::addSplitConstraint(char* inputStr, char* outputStr,
 		VariablePtr vptr;
 		if (variableMap.find(bitWireId) == variableMap.end()) {
 			variables.push_back(make_shared<Variable>("bit out"));
-			variableMap.at(outputWireId) = currentVariableIdx;
+			variableMap.at(bitWireId) = currentVariableIdx;
 			vptr = variables[currentVariableIdx];
 			currentVariableIdx++;
 		} else {