Use borsh to interact with guest code

[kpp]

Description

Linked Issues

• Fixes use Borsh for input deserialization and output deserialization #751
• Fixes Update borsh #376
• Fixes Get rid of borsh::maybestd #373

Testing

Need to run prove and verify.

[eyusufatik]

files changed 47

o_o

[codecov]

Codecov Report

Attention: Patch coverage is 69.32668% with 123 lines in your changes missing coverage. Please review.

Project coverage is 78.2%. Comparing base (f43cae1) to head (27694c9).
Report is 11 commits behind head on nightly.

Additional details and impacted files

Files	Coverage Δ
crates/bitcoin-da/src/helpers/test_utils.rs	100.0% <100.0%> (ø)
crates/bitcoin-da/src/service.rs	60.2% <100.0%> (+0.3%)	⬆️
crates/bitcoin-da/src/spec/block.rs	23.0% <ø> (ø)
crates/bitcoin-da/src/verifier.rs	97.0% <100.0%> (+<0.1%)	⬆️
crates/fullnode/src/runner.rs	75.5% <100.0%> (+0.7%)	⬆️
crates/prover/src/runner.rs	74.0% <ø> (+0.6%)	⬆️
crates/sequencer/src/sequencer.rs	91.7% <100.0%> (+0.6%)	⬆️
...ates/sovereign-sdk/adapters/mock-da/src/service.rs	95.2% <ø> (-1.2%)	⬇️
...overeign-sdk/adapters/mock-da/src/types/address.rs	96.3% <ø> (+1.8%)	⬆️
...es/sovereign-sdk/adapters/mock-da/src/types/mod.rs	86.2% <100.0%> (+13.7%)	⬆️
... and 50 more

... and 6 files with indirect coverage changes

[rakanalh]

files changed 47

o_o

84 now 😅

[eyusufatik]

In test test_all_flow

Proof structure

• Proof 1
  • L2 blocks [1, 4]
    • 2 transactions in block 3, 1 transaction in block 4
• Proof 2
  • L2 blocks [5, 8]
    • 2 transactions in block 7

kpp/guest_borsh

Running sequencer commitments in DA slot
going into apply_soft_confirmations_from_sequencer_commitments
out of apply_soft_confirmations_from_sequencer_commitments
user cycles: 24164419
total cycles: 35651584
segments: 34
test e2e::test_all_flow has been running for over 60 seconds
Running sequencer commitments in DA slot
going into apply_soft_confirmations_from_sequencer_commitments
out of apply_soft_confirmations_from_sequencer_commitments
user cycles: 19407593
total cycles: 29360128
segments: 28

nightly

Running sequencer commitments in DA slot
going into apply_soft_confirmations_from_sequencer_commitments
test e2e::test_all_flow has been running for over 60 seconds
out of apply_soft_confirmations_from_sequencer_commitments
user cycles: 31174218
total cycles: 43122688
segments: 42
Running sequencer commitments in DA slot
going into apply_soft_confirmations_from_sequencer_commitments
out of apply_soft_confirmations_from_sequencer_commitments
user cycles: 25686951
total cycles: 35651584
segments: 34

[rakanalh]

LGTM