def scalar_ok

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/ecdsa.bend as Ecdsa

import Base

34# 1 <= x < n
35def scalar_ok(+one: Nat, +x: Nat) -> Bool:
36  Bool.and(Bool.not(Nat.is_eq(x, 0n)), Nat.is_lt(x, n(one)))

Uses (7)