Sep 12, 2026One rounding, not many: why a provably-fair verifier must match the server bit for bitBetkyo Research