Verify chunked txs

[rakanalh]

Description

Linked Issues

• Fixes Light client proof verify chunked txs #1591

[eyusufatik]

You'll also need to implement

BitcoinService::extract_relevant_blobs_with_proof line 993

and BitcoinVerifier::verify_transactions line 153

[eyusufatik]

realized there is a dos attack vector with our aproach. let me think of a solution

[codecov]

Codecov Report

Attention: Patch coverage is 43.03030% with 94 lines in your changes missing coverage. Please review.

Project coverage is 78.0%. Comparing base (8feb715) to head (72bebeb).

Files with missing lines	Patch %	Lines
crates/light-client-prover/src/circuit.rs	57.1%	33 Missing ⚠️
crates/bitcoin-da/src/verifier.rs	0.0%	32 Missing ⚠️
crates/bitcoin-da/src/helpers/parsers.rs	0.0%	12 Missing ⚠️
crates/bitcoin-da/src/service.rs	50.0%	7 Missing ⚠️
crates/bitcoin-da/src/spec/blob.rs	33.3%	4 Missing ⚠️
crates/light-client-prover/src/da_block_handler.rs	0.0%	3 Missing ⚠️
...tes/sovereign-sdk/adapters/mock-da/src/verifier.rs	0.0%	3 Missing ⚠️

Additional details and impacted files

Files with missing lines	Coverage Δ
...c/helpers/builders/light_client_proof_namespace.rs	100.0% <100.0%> (ø)
...sovereign-sdk/adapters/mock-da/src/db_connector.rs	99.5% <100.0%> (ø)
...ates/sovereign-sdk/adapters/mock-da/src/service.rs	95.2% <100.0%> (+<0.1%)	⬆️
...es/sovereign-sdk/adapters/mock-da/src/types/mod.rs	72.9% <100.0%> (+1.8%)	⬆️
...ereign-sdk/full-node/db/sov-db/src/schema/types.rs	73.0% <ø> (ø)
...reign-sdk/rollup-interface/src/state_machine/da.rs	73.6% <ø> (ø)
...n-sdk/rollup-interface/src/state_machine/zk/mod.rs	93.7% <ø> (ø)
crates/light-client-prover/src/da_block_handler.rs	0.0% <0.0%> (ø)
...tes/sovereign-sdk/adapters/mock-da/src/verifier.rs	81.1% <0.0%> (-3.7%)	⬇️
crates/bitcoin-da/src/spec/blob.rs	73.1% <33.3%> (-5.3%)	⬇️
... and 4 more

... and 4 files with indirect coverage changes