Blockchain, Dsls, Game Theory, Safety, Correctness.
reducing the openness of the overall process (if that openness is required in the first place). Rate Limitations Another approach to reducing the risk from Sybil attacks is to limit the rate at which new parties can request to join the process. To implement this declaratively, I have implemented a