Processos de Decisão de Markov e Aleatoriedade Criptográfica Verificável (Commit-Reveal) no Gamão