def verify_raw

bend-collections@1.0.0.0 · src/crypto/ed25519/ed25519.bend:71

import Base
import bend-collections@1.0.0.0/src/crypto/curve25519/field.bend as F
import bend-collections@1.0.0.0/src/crypto/ed25519/scalar.bend as SC
import bend-collections@1.0.0.0/src/crypto/ed25519/point.bend as PT

71def verify_raw(+pk: List<&2, U32>, +msg: List<&2, U32>, +sig: List<&2, U32>) -> Bool:
72  +sb = F.drop(32n, sig)
73  verify_with(PT.consts(pk), pk, msg, F.take(32n, sig), sb, SC.lt_l(sb))