SNARK-friendly STM: Move signle signature artifacts to concatenation proof

[curiecrypt]

Content

This PR includes...

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 #2795

[github-actions]

Test Results

    4 files  ±0    169 suites  ±0   22m 49s ⏱️ -9s
2 278 tests ±0  2 278 ✅ ±0  0 💤 ±0  0 ❌ ±0 
7 146 runs  ±0  7 146 ✅ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit f4f405e. ± Comparison against base commit 3199222.

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

mithril-stm ‑ protocol::single_signature::signature::tests::golden::golden_conversions
mithril-stm ‑ protocol::single_signature::signature_registered_party::tests::golden::golden_conversions

mithril-stm ‑ proof_system::concatenation::signature::tests::golden::golden_conversions
mithril-stm ‑ proof_system::concatenation::signature_registered_party::tests::golden::golden_conversions

♻️ This comment has been updated with latest results.