INNER CODE UNIT · Python

ip

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

    ip = sum([a*b for (a,b) in zip(arA,arB)])

    for player,ar in [("A",arA),("B",arB)]:
        pl = str_iv(player, str_struct(["xs"],[ar]))
        fo.write(pl)

    fo.write("return_value == %d;\n" % ip)

def gen_xtabs_input(fo):
    LEN = 50
    BINS = 5
    bits = 8

    # parallel arrays (id, value)
    arA = [gen_random_array(LEN,bits), gen_random_array(LEN,bits)]
    arB = [gen_random_array(LEN, bits), [b % BINS for b in gen_random_array(LEN)]]

    # calculate correct answer

View source record →