Method instantiate

ciphercore-base/src/ops/adder.rs:58–83

(&self, context: Context, arguments_types: Vec<Type>)

#[typetag::serde]
impl CustomOperationBody for BinaryAdd {
    fn instantiate(&self, context: Context, arguments_types: Vec<Type>) -> Result<Graph> {
        validate_arguments_in_broadcast_bit_ops(arguments_types.clone(), &self.get_name())?;
        let input_type0 = arguments_types[0].clone();
        let input_type1 = arguments_types[1].clone();

        // Adder input consists of two binary strings x and y
        let g = context.create_graph()?;
        let (input0, input1) = pull_out_bits_pair(g.input(input_type0)?, g.input(input_type1)?)?;
        let added = g.custom_op(
            CustomOperation::new(BinaryAddTransposed {
                overflow_bit: self.overflow_bit,
            }),
            vec![input0, input1],
        )?;
        let output = if self.overflow_bit {
            g.create_tuple(vec![
                put_in_bits(added.tuple_get(0)?)?,
                put_in_bits(added.tuple_get(1)?)?,
            ])?
        } else {
            put_in_bits(added)?
        };
        output.set_as_output()?;
        g.finalize()?;
        Ok(g)
    }

    fn get_name(&self) -> String {
        format!("BinaryAdd(overflow_bit={})", self.overflow_bit)