def cred_secret_issue_user_check(params, pub, EGenc, sig):
    G, g, h, o = params
    (sKis, Cis) = EGenc

    ## First check the inputs (EG ciphertexts) are well formed.
    assert len(sKis) == len(Cis)
    zk = secret_proof(params, len(Cis))

    ## Run the proof
    env = ZKEnv(zk) 
    env.g, env.h = g, h
    env.pub = pub

    env.sKi = sKis
    env.Ci = Cis

    ## Extract the proof
    if not zk.verify_proof(env.get(), sig):
        raise Exception("Proof of knowledge of plaintexts failed.")

    return True
Forward local events to remote target.
dataset/ETHPy150Open gdanezis/petlib/examples/amacscreds.py/cred_secret_issue_user_check--crossover with--dataset/ETHPy150Open home-assistant/home-assistant/homeassistant/remote.py/EventBus.fire