pub fn prove_dlog(secret: &Scalar) -> NizkProof
Prove knowledge of a discrete log: know x such that Y = x * G.