Blockchain, Ethereum, Simulation.
Photo by Adrien Converse This post is the product of collaboration between Gauntlet and Peteris Erins (Auditless) in the intersection of formal verification and incentive simulation. We thank Haseeb Qureshi and Charlie Noyes for their review feedback. We believe that agent-based simulation can help