Skip to content

inout: return PadError for incorrect Padding implementations - #1563

Merged
newpavlov merged 2 commits into
masterfrom
inout_pad_asserts
Oct 19, 2026
Merged

newpavlov merged 2 commits into
masterfrom
inout_pad_asserts

Conversation

@newpavlov

Copy link
Copy Markdown
Member

Malicious implementation of Padding can break type safety invariant for InOutBuf constructed in PaddedInOutBuf::get_blocks. This PR introduces a new error branch which checks implicit assumptions which must be always valid for correct padding implementations.

@newpavlov
newpavlov merged commit abae456 into master Oct 19, 2026
12 checks passed
@newpavlov
newpavlov deleted the inout_pad_asserts branch October 19, 2026 12:58
@newpavlov newpavlov mentioned this pull request Oct 19, 2026
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