Function elgamal_ristretto::dl_knowledge::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.