/// Create a Groth16 proof that is *not* zero-knowledge.
Create a Groth16 proof that is *not* zero-knowledge.
Create a Groth16 proof that is * not * zero - knowledge .
pub fn create_proof_no_zk<E, C>(circuit: C, pk: &ProvingKey<E>) -> R1CSResult<Proof<E>>
where
    E: PairingEngine,
    C: ConstraintSynthesizer<E::Fr>,
{
    create_proof_with_reduction_no_zk::<E, C, LibsnarkReduction>(circuit, pk)
}
pub fn create_proof_no_zk < E , C > ( circuit : C , pk : & ProvingKey < E > ) -> R1CSResult < Proof < E > > where E : PairingEngine , C : ConstraintSynthesizer < E :: Fr > , { create_proof_with_reduction_no_zk :: < E , C , LibsnarkReduction > ( circuit , pk ) }
Create a Groth16 proof that is *not* zero-knowledge.
Create a Groth16 proof that is * not * zero - knowledge .
circuit
C
pk
&ProvingKey<E>