Use verifier in citrea-stf

[rakanalh]

Description

This is just copy pasting the StateTransitionVerifier into a module inside Citrea-STF which should be sufficient for us to customize rather than updating the sov-sdk version.

Thoughts @eyusufatik?

Linked Issues

• Fixes Move STFVerifier to its own crate #858

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 63 lines in your changes missing coverage. Please review.

Project coverage is 78.2%. Comparing base (478e470) to head (0319174).

Additional details and impacted files

Files	Coverage Δ
crates/citrea-stf/src/verifier.rs	0.0% <0.0%> (ø)

... and 1 file with indirect coverage changes

[eyusufatik]

Makes sense

can you also update our guest code (bin/citrea/provers)

[rakanalh]

Makes sense

can you also update our guest code (bin/citrea/provers)

That's the beauty of it,,, these don't need any update because they don't import StateTransitionVerifier from sov-stf-runner. They import StfVerifier from citrea-stf

citrea/bin/citrea/provers/risc0/guest-mock/src/bin/mock_da.rs

Line 39 in 478e470

let stf_verifier = StfVerifier::new(stf, MockDaVerifier {});