Skip to content

Instantly share code, notes, and snippets.

@gterzian
Created June 27, 2025 17:01
Show Gist options
  • Save gterzian/414ba8a3e88401e2f438214b0180ffae to your computer and use it in GitHub Desktop.
Save gterzian/414ba8a3e88401e2f438214b0180ffae to your computer and use it in GitHub Desktop.

You are right to point out that the updated specification now correctly models the separation of concerns, allowing for the key generation to occur outside the critical section. The new pending_keys and keys_batch variables effectively create a contract that ensures the race condition I previously described is avoided.

I have updated the implementation to reflect this new design.

@gterzian
Copy link
Author

The keys_batch part if non-sense, since that one is an auxiliary variable.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment