Make `HashSigScheme` configurable & Match with current leanSpec

[syjn99]

Describe the feature

Note

This issue is NOT for PQ Devnet 0, but can be parallelized.

https://github.com/leanEthereum/leanSpec/blob/a2bc45b66b1fa8506dfae54f9966563d1e54101c/src/lean_spec/subspecs/xmss/constants.py#L102-L137

In current leanSpec, you can find configuration sets for production(PROD_CONFIG)/testing(TEST_CONFIG) respectively.

ream/crates/crypto/post_quantum/src/hashsig/mod.rs

Line 8 in 8bfe85b

pub type HashSigScheme = SIGWinternitzLifetime18W4;

We're currently defining our default signature scheme like above. However, I'm quite sure we won't use that scheme (SIGWinternitzLifetime18W4) as it is far beyond how the latest discussion is going on.

• PROD_CONFIG is equal to SIGTopLevelTargetSumLifetime32Dim64Base8
• TEST_CONFIG doesn't match with existing signature scheme in hash-sig but we can just define it.

I would like to suggest that: we should be able to plug in-and-out which signature scheme to use. Or at least we should support a very tiny version of signature scheme. I guess #668 partially intended to do this.

Additional context

No response

[shariqnaiyer]

I can take this up!

[syjn99]

@shariqnaiyer You can take this after #765 is finished.

[Timosdev99]

Are you still working on this?

[shariqnaiyer]

Are you still working on this?

Yes I shall be making a PR within the next day.

[Timosdev99]

Alright