refactor(data-space): reuse Bytes for Prove and Verify mode

[vapourismo]

Closes RV-897

What

Use the Bytes state component in DataSpace's Prove and Verify modal representation.

Why

In Prove and Verify mode, DataSpace's main complexity comes from handling the underlying byte array. This complexity can be replaced with the Bytes component, thereby deduplicating it.

How

Bytes::new now takes a length to make non-empty instantiation easier. This is used by the DataSpace component. The zero-length creation is available via Default.

Source allows distinction between borrowed and owned representation via Borrow. We make use of this when instantiating the Bytes component in DataSpace's start_proof implementation, as borrowing Bytes's Normal-mode representation isn't an option from a DataSpace<Normal>.

DataSpace::populate_pages_with_bytes uses the new Bytes::zero_init_range to achieve whole-page writes.

Manually Testing

make all

Tasks for the Author

• Link all Linear issues related to this MR using magic words (e.g. part of, relates to, closes).
• Eliminate dead code and other spurious artefacts introduced in your changes.
• Document new public functions, methods and types.
• Make sure the documentation for updated functions, methods, and types is correct.
• Add tests for bugs that have been fixed.
• Explain changes to regression test captures when applicable.
• Write commit messages in agreement with our guidelines.
• Self-review your changes to ensure they are high-quality.
• Complete all of the above before assigning this MR to reviewers.

[codecov]

Codecov Report

❌ Patch coverage is 87.24832% with 19 lines in your changes missing coverage. Please review.
✅ Project coverage is 90.98%. Comparing base (773c5d8) to head (fdb75d9).
⚠️ Report is 3 commits behind head on main.

Files with missing lines	Patch %	Lines
data/src/components/bytes.rs	84.07%	17 Missing and 1 partial ⚠️
data/src/components/data_space.rs	96.00%	0 Missing and 1 partial ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #759      +/-   ##
==========================================
+ Coverage   90.80%   90.98%   +0.17%     
==========================================
  Files         111      111              
  Lines       20963    20878      -85     
  Branches    20963    20878      -85     
==========================================
- Hits        19036    18995      -41     
+ Misses       1534     1491      -43     
+ Partials      393      392       -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[github-actions]

Benchmark results for revision d0a0c8a:

Metric	Duration	TPS
Mean	1.523528424s	26.256
Worst	1.562796712s	25.595
Best	1.514389278s	26.413
Standard Deviation	±9.527336ms	±0.161

Full results

Run	Transfers	Duration	TPS
1	40	1.527056262s	26.194
2	40	1.562796712s	25.595
3	40	1.520560732s	26.306
4	40	1.524464869s	26.239
5	40	1.522572374s	26.271
6	40	1.525098335s	26.228
7	40	1.519685259s	26.321
8	40	1.520324673s	26.310
9	40	1.520658655s	26.304
10	40	1.5168443s	26.371
11	40	1.524345353s	26.241
12	40	1.522021293s	26.281
13	40	1.519867604s	26.318
14	40	1.521634895s	26.288
15	40	1.52252333s	26.272
16	40	1.514389278s	26.413
17	40	1.518431828s	26.343
18	40	1.517548662s	26.358
19	40	1.524602527s	26.236
20	40	1.525141538s	26.227

Compare the results above with those for the default branch.