.
american roulette algorithm zksp