Function dusk_schnorr::gadgets::double_key_verify[][src]

pub fn double_key_verify(
    composer: &mut TurboComposer,
    u: Witness,
    r: WitnessPoint,
    r_p: WitnessPoint,
    k: WitnessPoint,
    k_p: WitnessPoint,
    m: Witness
)
Expand description

Assert the correctness of the schnorr proof without using the secret key as witness.