.
american roulette algorithm zkvx