A verificação weil identidade dos apostadores é alguma dasjenige implementações trazidas através da lei das bets. –