macro_rules! gen_proof_arbitrary_range { ($self: ident, $challenge: ident, $proof: ident) => { ... }; }