Acki Nacki Simulator presents the Acki Nacki asynchronous proof-of-stake protocol and provides formulas for successful double-spend attack probabilities. It lets users select plots to analyze outcomes for independent Block Keeper selection, Block Producer selection, and combinations of those approaches.
