no import ecdh

aws · Aug 2, 2024 · 0bb55e0 · 0bb55e0
1 parent 41365ab
commit 0bb55e0
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 4 deletions.
diff --git a/...hyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/ECDH.py b/...hyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/ECDH.py
@@ -321,9 +321,6 @@ def GetOutOfBoundsPublicKey(dafny_curve):
         return Wrappers.Result_Success(b"todo")
 
 
-
-
-
 class CustomECCAlgorithm(cryptography.hazmat.primitives.asymmetric.ec.EllipticCurve):
     def __init__(self, name, key_size):
         self.name = name

diff --git a/...imitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/__init__.py b/...imitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/__init__.py
@@ -3,7 +3,7 @@
 from . import (
     AESEncryption,
     AesKdfCtr,
-    ECDH,
+    # ECDH,
     ExternDigest,
     ExternRandom,
     HMAC,