Write simulator to evaluate security of Prop247 parameter choices

At Wilmington, we decided to write a simulator to evaluate the security of various parameter choices. We even made a pseudocode sketch of it. A picture of the pseudocode sketch is attached.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information