[−]Function elgamal_ristretto::dleq::internal::proof_statement
pub fn proof_statement<CS: SchnorrCS>(
cs: &mut CS,
secrets: SecretVars<CS>,
publics: PublicVars<CS>
)
The underlying proof statement generated by the macro invocation.
This function exists separately from the proving and verification functions to allow composition of different proof statements with common variable assignments.