Organize STM - Module Aggregate Signature

[curiecrypt]

Content

This PR includes aggregate_signature module covering StmAggrVerificationKey, StmAggregateSignature, StmClerk, and CoreVerifier.

Pre-submit checklist

• Branch
  • Tests are provided (if possible)
  • Crates versions are updated (if relevant)
  • CHANGELOG file is updated (if relevant)
  • Commit sequence broadly makes sense
  • Key commits have useful messages
• PR
  • All check jobs of the CI have succeeded
  • Self-reviewed the diff
  • Useful pull request description
  • Reviewer requested
• Documentation
  • Update README file (if relevant)
  • Update documentation website (if relevant)
  • Add dev blog post (if relevant)
  • Add ADR blog post or Dev ADR entry (if relevant)
  • No new TODOs introduced

Comments

Issue(s)

Relates to #2369

[github-actions]

Test Results

    3 files  ±0     77 suites  ±0   16m 38s ⏱️ + 1m 49s
1 940 tests ±0  1 940 ✅ ±0  0 💤 ±0  0 ❌ ±0 
3 292 runs  ±0  3 292 ✅ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit 2480c3e. ± Comparison against base commit ca7cbd9.

This pull request removes 15 and adds 15 tests. Note that renamed tests count towards both.

mithril-stm ‑ stm::tests::batch_verify
mithril-stm ‑ stm::tests::test_adversary_quorum
mithril-stm ‑ stm::tests::test_aggregate_sig
mithril-stm ‑ stm::tests::test_core_verifier
mithril-stm ‑ stm::tests::test_dedup
mithril-stm ‑ stm::tests::test_initializer_serialize_deserialize
mithril-stm ‑ stm::tests::test_invalid_proof_index_bound
mithril-stm ‑ stm::tests::test_invalid_proof_index_unique
mithril-stm ‑ stm::tests::test_invalid_proof_path
mithril-stm ‑ stm::tests::test_invalid_proof_quorum
…

mithril-stm ‑ aggregate_signature::tests::batch_verify
mithril-stm ‑ aggregate_signature::tests::test_adversary_quorum
mithril-stm ‑ aggregate_signature::tests::test_aggregate_sig
mithril-stm ‑ aggregate_signature::tests::test_core_verifier
mithril-stm ‑ aggregate_signature::tests::test_dedup
mithril-stm ‑ aggregate_signature::tests::test_initializer_serialize_deserialize
mithril-stm ‑ aggregate_signature::tests::test_invalid_proof_index_bound
mithril-stm ‑ aggregate_signature::tests::test_invalid_proof_index_unique
mithril-stm ‑ aggregate_signature::tests::test_invalid_proof_path
mithril-stm ‑ aggregate_signature::tests::test_invalid_proof_quorum
…

♻️ This comment has been updated with latest results.

[jpraynaud]

LGTM 👍