def ProveZeroOne(ck, c, m, r):
    assert Com(ck, m, r) == c
    (G, g, h, o) = ck
    a, s, t = o.random(), o.random(), o.random()
    ca = Com(ck, a, s)
    cb = Com(ck, a*m, t)
    x = challenge([g, h, ca, cb]) % o
    f = (x * m + a) % o
    za = (r * x + s) % o
    zb = (r * (x - f) + t) % o
    return (x, f, za, zb)
process a line in the form "#include foo" to return a string representing the file
dataset/ETHPy150Open gdanezis/petlib/examples/GK15ringsig.py/ProveZeroOne--crossover with--dataset/ETHPy150Open appcelerator-archive/poc-nodejs-desktop/Resources/nodejs/builds/linux/node/lib/node/wafadmin/Tools/preproc.py/extract_include