INNER CODE UNIT · Python

gen_mult3_input

MPC-SoK/frameworks · cbmc-gc/source/geninput.py:25

def gen_mult3_input(fo):
    p = 1
    for player in ["A","B","C"]:
        val = int(random.getrandbits(10))
        p *= val
        pl = str_iv(player, val)
        fo.write(pl)
    fo.write("return_value == %d;\n" % p)


def gen_innerprod_input(fo):
    LEN = 10
    bits = 14
    arA = gen_random_array(LEN,bits)
    arB = gen_random_array(LEN,bits)
    ip = sum([a*b for (a,b) in zip(arA,arB)])

    for player,ar in [("A",arA),("B",arB)]:

View source record →