def Sign.reject

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sign.bend:31

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

31def Sign.reject(+pk: List<&2, U32>, +msg: List<&2, U32>, +sig: List<&2, U32>, +h: {Bool.and(FS.tight(pk), FS.bytes_ok(64n, sig)) == False{} : Bool}) -> Type:
32  {SG.verify(pk, msg, sig) == False{} : Bool}