Transaction proofs (InProofV1 and OutProofV1) have incomplete Schnorr challenges

[SarangNoether]

It's possible to generate proofs for incoming and outgoing transactions of knowledge of either the transaction private key or the recipient private view key, using two-component Schnorr proofs. However, the challenge used in the proof generation and verification functions does not include all public proof parameters.

[UkoeHB]

EDIT: (moved to new issue)

[SarangNoether]

This would almost certainly be separate functionality from the existing proof functions.

[SarangNoether]

This issue specifically deals with the existing challenge construction, which is incomplete.

[UkoeHB]

Ah, I can make a separate issue then. Thought this was about 'proofs about tx info' in general.

[SarangNoether]

No worries. I'd prefer to keep it separate, to track the fix.

[SarangNoether]

Addressed in https://github.com/monero-project/monero/pull/6329.