def Kex.reject

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/kex.bend:32

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/kex.bend as K

32def Kex.reject(+sk: List<&2, U32>, +pk: List<&2, U32>, +h: {Bool.and(FS.tight(sk), FS.tight(pk)) == False{} : Bool}) -> Type:
33  {K.shared_secret(sk, pk) == None{} : Maybe<&2, List<&2, U32>>}