Update Python typings

.github/workflows/workspace.yml

@@ -175,13 +175,17 @@ jobs:
         run: python examples/server_api_simple.py
         working-directory: ferveo-python
 
-      - name: Install pytest
-        run: pip install pytest
+      - name: Install pip dependencies
+        run: pip install pytest mypy
 
       - name: Run pytest
         run: pytest
         working-directory: ferveo-python
 
+      - name: Run mypy.stubtest
+        run: python -m mypy.stubtest ferveo
+        working-directory: ferveo-python
+
   codecov:
     runs-on: ubuntu-latest
     needs: [ test ]

Pipfile

@@ -0,0 +1,11 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+
+[dev-packages]
+
+[requires]
+python_version = "3.10"

ferveo-python/Cargo.toml

@@ -8,7 +8,6 @@ publish = false
 
 [lib]
 crate-type = ["cdylib"]
-name = "ferveo_py"
 
 [features]
 extension-module = ["pyo3/extension-module"]
@@ -18,12 +17,5 @@ default = ["extension-module"]
 ferveo = { package = "ferveo-pre-release", path = "../ferveo", features = ["bindings-python"] }
 pyo3 = "0.18.2"
 
-# We avoid declaring "pyo3/extension-module" in `dependencies` since it causes compile-time issues:
-# https://github.com/PyO3/pyo3/issues/340
-# Instead, we expose it in certain cases:
-# https://github.com/PyO3/maturin/issues/325
-[tool.maturin]
-features = ["pyo3/extension-module"]
-
 [build-dependencies]
 pyo3-build-config = "*"

ferveo-python/Pipfile

@@ -0,0 +1,11 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+
+[dev-packages]
+
+[requires]
+python_version = "3.10"

ferveo-python/README.md

@@ -3,10 +3,3 @@
 ## Build
 
 You will need to have `setuptools-rust` installed. Then, for development, you can just do `pip install -e .` as usual.
-
-## Publish
-
-```bash
-maturin build --release
-maturin publish
-```

ferveo-python/examples/exception.py

@@ -1,4 +1,4 @@
-from ferveo_py import (
+from ferveo import (
     Keypair,
     Validator,
     Dkg,

ferveo-python/examples/server_api_precomputed.py

@@ -1,4 +1,4 @@
-from ferveo_py import (
+from ferveo import (
     encrypt,
     combine_decryption_shares_precomputed,
     decrypt_with_shared_secret,

ferveo-python/examples/server_api_simple.py

@@ -1,4 +1,4 @@
-from ferveo_py import (
+from ferveo import (
     encrypt,
     combine_decryption_shares_simple,
     decrypt_with_shared_secret,

ferveo-python/ferveo/__init__.py

@@ -1,4 +1,4 @@
-from .ferveo_py import (
+from ._ferveo import (
     encrypt,
     combine_decryption_shares_simple,
     combine_decryption_shares_precomputed,