This is a task that generates the garbled circuit from the input circuit. In addition, it outputs the encoding table for the inputs of the circuit.
2 data objects (garbled circuit, input encodings)
group (with GCEvaluate task)
input script
0 data objects
Restriction: task must have exactly two input and zero output data objects
Error: exactly 2 outputs and no inputs are required
Restriction: “groupId” property must exist under stereotype details object - group must have been selected and saved and “groupId” information must not have been deleted from model’s file
Error: groupId is undefined
Restriction: “inputScript” property must exist under stereotype details object - “inputScript” can be empty, but must not have been deleted from model’s file
Error: inputScript is undefined
Restriction: “garbledCircuit” property must exist under stereotype details object - “garbledCircuit” must have been selected and saved and “garbledCircuit” information must not have been deleted from model’s file
Error: garbledCircuit is undefined
Restriction: “inputEncoding” property must exist under stereotype details object - “inputEncoding” must have been selected and saved and “inputEncoding” information must not have been deleted from model’s file
Error: inputEncoding is undefined
Restriction: input data object fixed (by its id) in “garbledCircuit” property must exist also on model
Error: garbledCircuit object is missing
Restriction: input data object fixed (by its id) in “inputEncoding” property must exist also on model
Error: inputEncoding object is missing
Restriction: garbled circuit and input encoding objects must be different data objects - they must have different ids
Error: garbledCircuit and inputEncoding must be different objects
Restriction: there must be exactly one GCEvaluate and one GCGarble task in a stereotype group
Error: element with GCEvaluate stereotype is missing from the group
Restriction: both stereotype group tasks must have the same garbled circuit data object - garbled circuit data object must be with the same name for both tasks
Error: garbledCircuit objects must be same for both group members
Restriction: both group tasks from the same stereotype group must be on different lanes
Error: both group tasks must be on separate lane
Restriction: GCGarble task from the stereotype group must be in incoming path, but not in outgoing path of GCEvaluate task from the same stereotype group
Error: element with GCGarble stereotype in this group must be before element with GCEvaluate stereotype