Skip to content

[PVM-host] Fix accumulation pipeline and add arithmetic overflow guards#365

Merged
0xjunha merged 10 commits intomainfrom
fix-hostcalls
Feb 3, 2026
Merged

[PVM-host] Fix accumulation pipeline and add arithmetic overflow guards#365
0xjunha merged 10 commits intomainfrom
fix-hostcalls

Conversation

@0xjunha
Copy link
Copy Markdown
Member

@0xjunha 0xjunha commented Feb 3, 2026

Summary

1. Fix accumulation pipeline

  • Preimage requests for removed/missing accounts should be ignored.
  • Provided preimages should not be integrated if the request is dropped.
  • Storage / Preimages / Lookups entries should not be integrated in Service Account STFs if account metadata is removed.
  • Add deferred transfer gas limits from previous rounds in the outer accumulation (Δ+) for processable work reports count estimation.

2. Add overflow guards

  • Use checked_* methods for safe arithmetics with proper error handling.
  • Add guard for type conversions from register values in host functions.

@0xjunha 0xjunha merged commit 298653f into main Feb 3, 2026
1 check passed
@0xjunha 0xjunha deleted the fix-hostcalls branch February 3, 2026 05:59
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.

1 participant