mominbuet

def addBits(r, a, b, carry):
    # Xor(t1[0], a, carry[0])
    t1 = vm.gate_xor(a, carry)
    # Xor(t2[0], b, carry[0])
    t2 = vm.gate_xor(b, carry)

    # Xor(r[0], a, t2[0])
    r[0] = vm.gate_xor(a, t2)
    # And(t1[0], t1[0], t2[0])
    t1 = vm.gate_and(t1, t2)