pub fn ring_vrf_sign_checked<T, P, A>(
        &self, 
        inout: VRFInOut,
        extra: T,
        copath: RingSecretCopath<A>,
        proving_key: RingSRS<P>,
    ) -> SynthesisResult<(VRFPreOut, RingVRFProof<Bls12>)>
    where
        T: SigningTranscript,
        P: groth16::ParameterSource<Bls12>,
        P::G1Builder: SourceBuilder<<Bls12 as Engine>::G1Affine>,
        P::G2Builder: SourceBuilder<<Bls12 as Engine>::G2Affine>,
        A: 'static + PoseidonArity,
    {
        let VRFInOut { input, output } = inout;
        let proof = self.ring_vrf_prove(input, extra, copath, proving_key, &mut rand_hack()) ?;
        Ok((output, proof))
    }
/// Run our Schnorr VRF on the `VRFInOut` input-output pair,
/// producing its output component and and correspodning Schnorr
/// proof.
Run our Schnorr VRF on the `VRFInOut` input-output pair,
producing its output component and and correspodning Schnorr
proof.
Run our Schnorr VRF on the ` VRFInOut ` input - output pair producing its output component and and correspodning Schnorr proof .
pub fn ring_vrf_sign_checked<T, P, A>(
        &self, 
        inout: VRFInOut,
        extra: T,
        copath: RingSecretCopath<A>,
        proving_key: RingSRS<P>,
    ) -> SynthesisResult<(VRFPreOut, RingVRFProof<Bls12>)>
    where
        T: SigningTranscript,
        P: groth16::ParameterSource<Bls12>,
        P::G1Builder: SourceBuilder<<Bls12 as Engine>::G1Affine>,
        P::G2Builder: SourceBuilder<<Bls12 as Engine>::G2Affine>,
        A: 'static + PoseidonArity,
    {
        let VRFInOut { input, output } = inout;
        let proof = self.ring_vrf_prove(input, extra, copath, proving_key, &mut rand_hack()) ?;
        Ok((output, proof))
    }
pub fn ring_vrf_sign_checked < T , P , A > ( & self , inout : VRFInOut , extra : T , copath : RingSecretCopath < A > , proving_key : RingSRS < P > , ) -> SynthesisResult < ( VRFPreOut , RingVRFProof < Bls12 > ) > where T : SigningTranscript , P : groth16 :: ParameterSource < Bls12 > , P :: G1Builder : SourceBuilder < < Bls12 as Engine > :: G1Affine > , P :: G2Builder : SourceBuilder < < Bls12 as Engine > :: G2Affine > , A : ' static + PoseidonArity , { let VRFInOut { input , output } = inout ; let proof = self . ring_vrf_prove ( input , extra , copath , proving_key , & mut rand_hack ( ) ) ? ; Ok ( ( output , proof ) ) }
Run our Schnorr VRF on the `VRFInOut` input-output pair,
producing its output component and and correspodning Schnorr
proof.
Run our Schnorr VRF on the ` VRFInOut ` input - output pair producing its output component and and correspodning Schnorr proof .
&self
inout
VRFInOut
extra
T
copath
RingSecretCopath<A>
proving_key
RingSRS<P>
&self
inout
VRFInOut
extra
T
copath
RingSecretCopath<A>
proving_key
RingSRS<P>