Merge branch 'main' into feature/distance

examples/README.md

@@ -5,7 +5,8 @@ The following are the currently available examples:
 - [Linear Regression](./linear_regression): shows how to run a linear regression using Nada AI
 - [Neural Net](./neural_net): shows how to build & run a simple Feed-Forward Neural Net (both linear layers & activations) using Nada AI
 - [Complex Model](./complex_model): shows how to build more intricate model architectures using Nada AI. Contains convolutions, pooling operations, linear layers and activations
+- [Time Series](./time_series): shows how to run a Facebook Prophet time series forecasting model using Nada AI
 
-The Nada program source code is stored in `src/main.py`.
+The Nada program source code is stored in `src/<EXAMPLE_NAME>.py`.
 
 In order to follow the end-to-end example, head to `network/compute.py`. You can run it by simply running `nada build` to build the Nada program followed by `python network/compute.py`.

examples/complex_model/nada-project.toml

@@ -3,5 +3,5 @@ version = "0.1.0"
 authors = [""]
 
 [[programs]]
-path = "src/main.py"
+path = "src/complex_model.py"
 prime_size = 128

examples/complex_model/network/compute.py

@@ -188,8 +188,14 @@ def forward(self, x: torch.Tensor) -> torch.Tensor:
         nillion.Secrets({}),
     )
 
-    # Sort & rescale the obtained results by the quantization scale (here: 16)
-    outputs = [result[1] / 2**16 for result in sorted(result.items())]
+    # Sort & rescale the obtained results by the quantization scale
+    outputs = outputs = [
+        na_client.float_from_rational(result[1])
+        for result in sorted(
+            result.items(),
+            key=lambda x: int(x[0].replace("my_output", "").replace("_", "")),
+        )
+    ]
 
     print(f"🖥️  The result is {outputs}")
 

examples/complex_model/target/.gitignore

@@ -0,0 +1,5 @@
+# This directory is kept purposely, so that no compilation errors arise.
+# Ignore everything in this directory
+*
+# Except this file
+!.gitignore

examples/complex_model/tests/complex_model.yaml

@@ -1,5 +1,5 @@
 ---
-program: main
+program: complex_model
 inputs:
   secrets:
     # We assume all values were originally floats, scaled & rounded by a factor of 2**16

examples/linear_regression/nada-project.toml

@@ -3,5 +3,5 @@ version = "0.1.0"
 authors = [""]
 
 [[programs]]
-path = "src/main.py"
+path = "src/linear_regression.py"
 prime_size = 128

examples/linear_regression/network/compute.py

@@ -162,8 +162,8 @@ async def main():
         [model_store_id, data_store_id],
         nillion.Secrets({}),
     )
-    # Rescale the obtained result by the quantization scale (here: 16)
-    outputs = [result["my_output_0"] / 2**16]
+    # Rescale the obtained result by the quantization scale
+    outputs = [na_client.float_from_rational(result["my_output_0"])]
     print(f"🖥️  The result is {outputs}")
 
     expected = fit_model.predict(np.ones((NUM_FEATS,)).reshape(1, -1))

examples/linear_regression/target/.gitignore

@@ -0,0 +1,5 @@
+# This directory is kept purposely, so that no compilation errors arise.
+# Ignore everything in this directory
+*
+# Except this file
+!.gitignore

examples/linear_regression/tests/linear_regression.yaml

@@ -1,5 +1,5 @@
 ---
-program: main
+program: linear_regression
 inputs:
   secrets:
     # We assume all values were originally floats, scaled & rounded by a factor of 2**16

examples/neural_net/nada-project.toml

@@ -1,7 +1,7 @@
-name = "complex_model"
+name = "neural_net"
 version = "0.1.0"
 authors = [""]
 
 [[programs]]
-path = "src/main.py"
+path = "src/neural_net.py"
 prime_size = 128

examples/neural_net/network/compute.py

@@ -5,7 +5,7 @@
 import numpy as np
 import time
 import nada_algebra as na
-from nada_ai import TorchClient
+from nada_ai.client import TorchClient
 import torch
 from dotenv import load_dotenv
 
@@ -166,8 +166,14 @@ def forward(self, x: na.NadaArray) -> na.NadaArray:
         nillion.Secrets({}),
     )
 
-    # Sort & rescale the obtained results by the quantization scale (here: 16)
-    outputs = [result[1] / 2**16 for result in sorted(result.items())]
+    # Sort & rescale the obtained results by the quantization scale
+    outputs = [
+        na_client.float_from_rational(result[1])
+        for result in sorted(
+            result.items(),
+            key=lambda x: int(x[0].replace("my_output", "").replace("_", "")),
+        )
+    ]
 
     print(f"🖥️  The result is {outputs}")
 

examples/neural_net/target/.gitignore

@@ -0,0 +1,5 @@
+# This directory is kept purposely, so that no compilation errors arise.
+# Ignore everything in this directory
+*
+# Except this file
+!.gitignore

examples/neural_net/tests/neural_net.yaml

@@ -1,5 +1,5 @@
 ---
-program: main
+program: neural_net
 inputs:
   secrets:
     # We assume all values were originally floats, scaled & rounded by a factor of 2**16

examples/time_series/nada-project.toml

@@ -0,0 +1,7 @@
+name = "time_series"
+version = "0.1.0"
+authors = [""]
+
+[[programs]]
+path = "src/time_series.py"
+prime_size = 128

examples/time_series/network/compute.py

@@ -0,0 +1,189 @@
+import asyncio
+import py_nillion_client as nillion
+import os
+import sys
+import time
+import numpy as np
+import nada_algebra as na
+import pandas as pd
+from nada_ai.client import ProphetClient
+from prophet import Prophet
+from dotenv import load_dotenv
+
+# Add the parent directory to the system path to import modules from it
+sys.path.append(os.path.abspath(os.path.join(os.path.dirname(__file__), "../..")))
+
+# Import helper functions for creating nillion client and getting keys
+from neural_net.network.helpers.nillion_client_helper import create_nillion_client
+from neural_net.network.helpers.nillion_keypath_helper import (
+    getUserKeyFromFile,
+    getNodeKeyFromFile,
+)
+import nada_algebra.client as na_client
+
+# Load environment variables from a .env file
+load_dotenv()
+
+
+# Decorator function to measure and log the execution time of asynchronous functions
+def async_timer(file_path):
+    def decorator(func):
+        async def wrapper(*args, **kwargs):
+            start_time = time.time()
+            result = await func(*args, **kwargs)
+            end_time = time.time()
+            elapsed_time = end_time - start_time
+
+            # Log the execution time to a file
+            with open(file_path, "a") as file:
+                file.write(f"{elapsed_time:.6f},\n")
+            return result
+
+        return wrapper
+
+    return decorator
+
+
+# Asynchronous function to store a program on the nillion client
+@async_timer("bench/store_program.txt")
+async def store_program(client, user_id, cluster_id, program_name, program_mir_path):
+    action_id = await client.store_program(cluster_id, program_name, program_mir_path)
+    program_id = f"{user_id}/{program_name}"
+    print("Stored program. action_id:", action_id)
+    print("Stored program_id:", program_id)
+    return program_id
+
+
+# Asynchronous function to store secrets on the nillion client
+@async_timer("bench/store_secrets.txt")
+async def store_secrets(client, cluster_id, program_id, party_id, party_name, secrets):
+    secret_bindings = nillion.ProgramBindings(program_id)
+    secret_bindings.add_input_party(party_name, party_id)
+
+    # Store the secret for the specified party
+    store_id = await client.store_secrets(cluster_id, secret_bindings, secrets, None)
+    return store_id
+
+
+# Asynchronous function to perform computation on the nillion client
+@async_timer("bench/compute.txt")
+async def compute(
+    client, cluster_id, compute_bindings, store_ids, computation_time_secrets
+):
+    compute_id = await client.compute(
+        cluster_id,
+        compute_bindings,
+        store_ids,
+        computation_time_secrets,
+        nillion.PublicVariables({}),
+    )
+
+    # Monitor and print the computation result
+    print(f"The computation was sent to the network. compute_id: {compute_id}")
+    while True:
+        compute_event = await client.next_compute_event()
+        if isinstance(compute_event, nillion.ComputeFinishedEvent):
+            print(f"✅  Compute complete for compute_id {compute_event.uuid}")
+            return compute_event.result.value
+
+
+# Main asynchronous function to coordinate the process
+async def main():
+    cluster_id = os.getenv("NILLION_CLUSTER_ID")
+    userkey = getUserKeyFromFile(os.getenv("NILLION_USERKEY_PATH_PARTY_1"))
+    nodekey = getNodeKeyFromFile(os.getenv("NILLION_NODEKEY_PATH_PARTY_1"))
+    client = create_nillion_client(userkey, nodekey)
+    party_id = client.party_id
+    user_id = client.user_id
+    party_names = na_client.parties(2)
+    program_name = "main"
+    program_mir_path = f"./target/{program_name}.nada.bin"
+
+    if not os.path.exists("bench"):
+        os.mkdir("bench")
+
+    na.set_log_scale(50)
+
+    # Store the program
+    program_id = await store_program(
+        client, user_id, cluster_id, program_name, program_mir_path
+    )
+
+    # Train prophet model
+    model = Prophet()
+
+    ds = pd.date_range("2024-05-01", "2024-05-17").tolist()
+    y = np.arange(1, 18).tolist()
+
+    fit_model = model.fit(df=pd.DataFrame({"ds": ds, "y": y}))
+
+    print("Model params are:", fit_model.params)
+    print("Number of detected changepoints:", fit_model.n_changepoints)
+
+    # Create and store model secrets via ModelClient
+    model_client = ProphetClient(fit_model)
+    model_secrets = nillion.Secrets(
+        model_client.export_state_as_secrets("my_prophet", na.SecretRational)
+    )
+
+    model_store_id = await store_secrets(
+        client, cluster_id, program_id, party_id, party_names[0], model_secrets
+    )
+
+    # Store inputs to perform inference for
+    future_df = fit_model.make_future_dataframe(periods=3)
+    inference_ds = fit_model.setup_dataframe(future_df.copy())
+
+    my_input = {}
+    my_input.update(
+        na_client.array(inference_ds["floor"].to_numpy(), "floor", na.SecretRational)
+    )
+    my_input.update(
+        na_client.array(inference_ds["t"].to_numpy(), "t", na.SecretRational)
+    )
+
+    input_secrets = nillion.Secrets(my_input)
+
+    data_store_id = await store_secrets(
+        client, cluster_id, program_id, party_id, party_names[1], input_secrets
+    )
+
+    # Set up the compute bindings for the parties
+    compute_bindings = nillion.ProgramBindings(program_id)
+    [
+        compute_bindings.add_input_party(party_name, party_id)
+        for party_name in party_names
+    ]
+    compute_bindings.add_output_party(party_names[1], party_id)
+
+    print(f"Computing using program {program_id}")
+    print(f"Use secret store_id: {model_store_id} {data_store_id}")
+
+    # Perform the computation and return the result
+    result = await compute(
+        client,
+        cluster_id,
+        compute_bindings,
+        [model_store_id, data_store_id],
+        nillion.Secrets({}),
+    )
+
+    # Sort & rescale the obtained results by the quantization scale
+    outputs = [
+        na_client.float_from_rational(result[1])
+        for result in sorted(
+            result.items(),
+            key=lambda x: int(x[0].replace("my_output", "").replace("_", "")),
+        )
+    ]
+
+    print(f"🖥️  The result is {outputs}")
+
+    expected = fit_model.predict(inference_ds)["yhat"].to_numpy()
+    print(f"🖥️  VS expected plain-text result {expected}")
+    return result
+
+
+# Run the main function if the script is executed directly
+if __name__ == "__main__":
+    asyncio.run(main())

examples/time_series/network/helpers/nillion_client_helper.py

@@ -0,0 +1,12 @@
+import os
+import py_nillion_client as nillion
+from helpers.nillion_payments_helper import create_payments_config
+
+
+def create_nillion_client(userkey, nodekey):
+    bootnodes = [os.getenv("NILLION_BOOTNODE_MULTIADDRESS")]
+    payments_config = create_payments_config()
+
+    return nillion.NillionClient(
+        nodekey, bootnodes, nillion.ConnectionMode.relay(), userkey, payments_config
+    )

examples/time_series/network/helpers/nillion_keypath_helper.py

@@ -0,0 +1,10 @@
+import os
+import py_nillion_client as nillion
+
+
+def getUserKeyFromFile(userkey_filepath):
+    return nillion.UserKey.from_file(userkey_filepath)
+
+
+def getNodeKeyFromFile(nodekey_filepath):
+    return nillion.NodeKey.from_file(nodekey_filepath)

examples/time_series/network/helpers/nillion_payments_helper.py

@@ -0,0 +1,12 @@
+import os
+import py_nillion_client as nillion
+
+
+def create_payments_config():
+    return nillion.PaymentsConfig(
+        os.getenv("NILLION_BLOCKCHAIN_RPC_ENDPOINT"),
+        os.getenv("NILLION_WALLET_PRIVATE_KEY"),
+        int(os.getenv("NILLION_CHAIN_ID")),
+        os.getenv("NILLION_PAYMENTS_SC_ADDRESS"),
+        os.getenv("NILLION_BLINDING_FACTORS_MANAGER_SC_ADDRESS"),
+    )