def verify

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/ed25519.bend:307

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/curve25519/field.bend as FS

307def verify(+one: Nat, +pk: List<&2, U32>, +msg: List<&2, U32>, +sig: List<&2, U32>) -> Bool:
308  +p = FS.prime(one)
309  +s = FS.value(rest(32n, sig))
310  verify_with(one, p, dconst(one, p), pk, msg, first(32n, sig), s, Nat.is_lt(s, ell(one)))