zeroproof_simulations
