implement list of transactions proofs and artifacts v2 in client

[turmelclem]

Content

This PR add cardano_transaction_v2 and cardano_block to the client library with the ability to retrieve snapshots, retrieves proofs and verify them, validate the certificate chain and validate that the verified blocs/transactions are signed by the certificate.

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

Closes #3031

[github-actions]

Test Results

    5 files  ± 0    201 suites  +8   1h 10m 32s ⏱️ +36s
2 802 tests +23  2 802 ✅ +23  0 💤 ±0  0 ❌ ±0 
9 900 runs  +94  9 900 ✅ +94  0 💤 ±0  0 ❌ ±0 

Results for commit c7bf1b4. ± Comparison against base commit 09d7683.

♻️ This comment has been updated with latest results.

[jpraynaud]

LGTM 👍

[Alenar]

LGTM !

[Copilot]

Pull request overview

Adds support in the Rust client library (behind the unstable feature) for Cardano blocks proofs and Cardano transactions v2 proofs, including snapshot listing/fetching, plus supporting test utilities and aggregator-client queries.

Changes:

• Introduce CardanoBlockClient and CardanoTransactionV2Client in mithril-client, wire them into Client, and add MessageBuilder helpers for certificate/message matching.
• Add new internal/mithril-aggregator-client GET queries for v2 proof endpoints and for cardano-blocks-transactions artifact listing/fetching.
• Extend test infrastructure (fake aggregator routes + mithril-common test crypto helpers) and update the documentation website.

Reviewed changes

Copilot reviewed 28 out of 29 changed files in this pull request and generated 5 comments.

Show a summary per file

File	Description
mithril-common/src/test/entities_extensions.rs	Refactors block-range grouping helper into a reusable extension trait + adds unit test.
mithril-common/src/test/double/dummies.rs	Adds Dummy implementations for new proof-related message parts/messages.
mithril-common/src/test/crypto_helper/mod.rs	Exposes new helper modules for MKMap/MKProof test utilities.
mithril-common/src/test/crypto_helper/helpers.rs	Adds shared MKMap folding helper used by multiple test extensions.
mithril-common/src/test/crypto_helper/mk_extensions.rs	Adds MKProof/MKMap test extension traits for building proofs and proof messages.
mithril-common/src/test/crypto_helper/cardano/extensions.rs	Removes MKProof test extension from Cardano-specific extensions (moved to mk_extensions).
mithril-client/tests/extensions/routes/proof_v2.rs	Adds fake aggregator routes for v2 transaction proofs and block proofs.
mithril-client/tests/extensions/routes/mod.rs	Gating of new proof v2 routes behind unstable.
mithril-client/tests/extensions/fake_aggregator/mod.rs	Adds unstable fake aggregator module for v2 proofs.
mithril-client/tests/extensions/fake_aggregator/cardano_proof_v2.rs	Builds and serves v2 proofs + certificate wiring for integration tests.
mithril-client/tests/cardano_transaction_v2_proof.rs	New integration test for fetching/verifying tx v2 proofs and matching a certificate.
mithril-client/tests/cardano_block_proof.rs	New integration test for fetching/verifying block proofs and matching a certificate.
mithril-client/src/type_alias.rs	Re-exports v2 proof/snapshot/message types behind unstable.
mithril-client/src/message.rs	Adds MessageBuilder helpers for block proofs and tx v2 proofs (unstable).
mithril-client/src/lib.rs	Exposes new clients behind unstable.
mithril-client/src/client.rs	Wires new clients into Client + ClientBuilder behind unstable.
mithril-client/src/cardano_transaction_v2_client.rs	Implements tx v2 proof + snapshot list/get client API and unit tests.
mithril-client/src/cardano_block_client.rs	Implements block proof + snapshot list/get client API and unit tests.
mithril-client/src/aggregator_client.rs	Adds HTTP implementations for new v2 queries (unstable).
mithril-client/Cargo.toml	Registers new unstable-only integration tests.
internal/mithril-aggregator-client/src/query/get/mod.rs	Exports new GET queries.
internal/mithril-aggregator-client/src/query/get/get_cardano_transaction_proof_v2.rs	Adds query for /proof/v2/cardano-transaction.
internal/mithril-aggregator-client/src/query/get/get_cardano_block_proof.rs	Adds query for /proof/v2/cardano-block.
internal/mithril-aggregator-client/src/query/get/get_cardano_blocks_transactions.rs	Adds query for fetching a blocks+txs snapshot artifact by hash.
internal/mithril-aggregator-client/src/query/get/get_cardano_blocks_transactions_list.rs	Adds query for listing blocks+txs snapshot artifacts.
docs/website/root/manual/develop/nodes/mithril-client-library.md	Documents new unstable client capabilities (blocks proofs + tx v2 proofs).