Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix fullOrder leak. Semi-fungibles via CopyBags #4305

Merged
merged 1 commit into from
Jan 29, 2022

Conversation

erights
Copy link
Member

@erights erights commented Jan 16, 2022

Fixes #4261

Fixes that many copySet functions, and functions over keys of a copySet, were not checking that their elements were indeed keys, rather than other kinds of passables. To do this well involved both renamings for clarity (elements vs keys) and moving the exported functions to where they could close the loop and certify sets as correct, including that they contain only keys.

@erights erights self-assigned this Jan 16, 2022
@erights erights force-pushed the markm-stateful-merge-only branch 3 times, most recently from 4342b0b to 6c1a981 Compare January 17, 2022 23:12
@erights erights requested a review from mhofman January 17, 2022 23:23
@erights erights changed the title Tie breaking state fresh during each merge operation Leak observable full ordering only during each call to merge Jan 17, 2022
@erights erights added the audit-zestival Vulnerability assessment of ERTP + Zoe label Jan 18, 2022
@erights erights force-pushed the markm-stateful-merge-only branch 10 times, most recently from ff747c3 to 32cd07f Compare January 23, 2022 00:29
@erights erights requested a review from dckc January 24, 2022 21:25
@erights erights changed the title Leak observable full ordering only during each call to merge Fix fullOrder leak. Semi-fungibles via CopyBags Jan 29, 2022
@erights erights added the automerge:squash Automatically squash merge label Jan 29, 2022
@mergify mergify bot merged commit 79c4276 into master Jan 29, 2022
@mergify mergify bot deleted the markm-stateful-merge-only branch January 29, 2022 05:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
audit-zestival Vulnerability assessment of ERTP + Zoe automerge:squash Automatically squash merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

setMathHelpers leaks history-dependent full ordering of remotables
2 participants