Skip to content

Conversation

@shd
Copy link
Collaborator

@shd shd commented Dec 11, 2025

Description

Adds verification of SPDD, as compared with Haskell output

Related Issue(s)

Fixes #426

How was this tested?

  • unit tests, added to accounts_state/src/verifier.rs
  • compared results (run omnibus, with new 'verify-spdd-files' option, see omnibus.toml in processes)

Checklist

  • My code builds and passes local tests
  • I added/updated tests for my changes, where applicable
  • I updated documentation (if applicable)
  • CI is green for this PR

Impact / Side effects

@shd shd requested a review from sandtreader December 11, 2025 01:44
.map(|(p, e, s)| format!("{p}: eth {e} != comp {s}; "))
.collect::<String>();
error!(
"SPDD verificiation epoch {epoch} stake difference: {}",
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Typo

if !different.is_empty() {
let message = different
.iter()
.map(|(p, e, s)| format!("{p}: eth {e} != comp {s}; "))
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could we have newlines in it? Hard to read otherwise

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ok :)

Copy link
Collaborator

@sandtreader sandtreader left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is great, thanks. Very minor comments on logging.

@shd shd merged commit c099e2e into main Dec 12, 2025
3 of 6 checks passed
@shd shd deleted the shd/validate-spdd branch December 12, 2025 11:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants