Compile time constants for Fiat Shamir

[manishbista28]

Describe the feature

We need to have some compile time constant to generate fiat-shamir challenge to avoid replay attacks. These constants could be something like a single hash of verification keys or some other digest. It could also be version number that increments with changes to the code.

This issue is created to discuss suitable values for compile time constants that should not proving and verification times.

Current implementation does not make use of such parameters or their values.

Additional context

No response

[AaronFeickert]

If we can treat all relevant global parameters as safely mapped to a known version number, we can use this. However, all non-global statement parameters must be included in full, of course; these cannot be known at compile time, and are variable per proof.