1// used for the RO challenges.
2// From [Srinath Setty](https://microsoft.com/en-us/research/people/srinath/): In Nova, soundness
3// error ≤ 2/|S|, where S is the subset of the field F from which the challenges are drawn. In this
4// case, we keep the size of S close to 2^128.
5pub const NOVA_N_BITS_RO: usize = 128;