.
casino roulette algorithm zkvf