.
american roulette algorithm zkvm