Programas de lealtad en casinos y contratos inteligentes: cómo diseñar recompensas justas y verificables