BIP-374 now reduces its challenge modulo the curve order
The discrete log equality proof spec went to version 0.3.0: the challenge is reduced mod n on generation, a verifier must reject e above the order, and test vectors cover both cases.
The discrete log equality proof spec went to version 0.3.0: the challenge is reduced mod n on generation, a verifier must reject e above the order, and test vectors cover both cases.