Remove MerkleProofSpec

[exeokan]

Description

Removes the trait MerkleProofSpec, and instead of generic parameters, uses DefaultWitness and DefaultHasher in ProverStorage.

Linked Issues

• Fixes Remove trait MerkleProofSpec #1005

[kpp]

Fix

[codecov]

Codecov Report

Attention: Patch coverage is 83.78378% with 6 lines in your changes missing coverage. Please review.

Project coverage is 78.2%. Comparing base (e7d18d2) to head (4953c47).
Report is 1 commits behind head on nightly.

Files with missing lines	Patch %	Lines
...-sdk/module-system/sov-state/src/prover_storage.rs	62.5%	3 Missing ⚠️
...eign-sdk/module-system/sov-state/src/zk_storage.rs	40.0%	3 Missing ⚠️

Additional details and impacted files

Files with missing lines	Coverage Δ
bin/citrea/src/eth.rs	100.0% <100.0%> (ø)
bin/citrea/src/rollup/bitcoin.rs	0.0% <ø> (ø)
bin/citrea/src/rollup/mock.rs	95.7% <ø> (ø)
...dk/full-node/sov-prover-storage-manager/src/lib.rs	97.3% <100.0%> (-0.1%)	⬇️
...odule-system/sov-modules-api/src/containers/mod.rs	100.0% <100.0%> (ø)
...dule-system/sov-modules-api/src/default_context.rs	69.4% <ø> (ø)
...-sdk/module-system/sov-state/src/prover_storage.rs	85.2% <62.5%> (-0.5%)	⬇️
...eign-sdk/module-system/sov-state/src/zk_storage.rs	62.0% <40.0%> (ø)

... and 1 file with indirect coverage changes