def VerifyZeroOne(ck, c, proof):
    (G, g, h, o) = ck
    (x, f, za, zb) = proof

    assert 0 < x < o
    assert 0 < f < o
    assert 0 < za < o
    assert 0 < zb < o

    ca = Com(ck,f,za) - x * c
    cb = Com(ck, 0, zb) - (x-f) * c
    xp = challenge([g, h, ca, cb]) % o
    return xp == x
Set input_boolean to True.
dataset/ETHPy150Open gdanezis/petlib/examples/GK15ringsig.py/VerifyZeroOne--crossover with--dataset/ETHPy150Open home-assistant/home-assistant/homeassistant/components/input_boolean.py/turn_on