Closed ninokeldishvili closed 1 month ago
need to assume that alice != bob, not that aliceSeed != bobSeed seeds are modulo'd so the output can collide
Add vm.assume(alice != bob) wherever missing
By submitting this for review, I'm confirming I've done the following:
Motivation
need to assume that alice != bob, not that aliceSeed != bobSeed seeds are modulo'd so the output can collide
Solution
Add vm.assume(alice != bob) wherever missing
Checks
By submitting this for review, I'm confirming I've done the following: