NFGen 0.0.2

NFGen: Automatic Non-Linear Function Evaluation Code Generator for General-purpose MPC Platforms

NFGen

NFGen: Automatic Non-Linear Function Evaluation Code Generator for General-purpose MPC Platforms

Introduction

NFGen is designed to generate non-linear function evaluation code for general-purpose MPC platforms.

The requirement for the underlying MPC platform is three basic routines addition, multiplication and greater-than are provided and these three routines can be composed sequentially.

Example

1. Import the required package

import sympy as sp
from NFGen.main import generate_nonlinear_config
import NFGen.CodeTemplet.templet as temp
import NFGen.PerformanceModel.time_ops as to

2. Write the non-linear function definition config (NFD)

platform = "Rep3" # using MP-SPDZ Rep3 protocol as an example.
f = 48
n = 96
profiler_file = './NFGen/PerformanceModel/' + platform + "_kmProfiler.pkl"

# fundenmental functions, indicating they are cipher-text non-linear operations.
def func_reciprocal(x):
        return 1 / x

def func_exp(x, lib=sp):
    return lib.exp(x)

# target function.
def sigmoid(x):
    return 1 * func_reciprocal((1 + func_exp(-x)))

# define NFD
sigmoid_config = {
    "function": sigmoid, # function config.
    "range": (-10, 10),
    "k_max": 10, # set the maximum order.
    "tol": 1e-3, # percision config.
    "ms": 1000, # maximum samples.
    "zero_mask": 1e-6,
    "n": n, # <n, f> fixed-point config.
    "f": f,
    "profiler": profiler_file, # profiler model source file.
    "code_templet": temp.templet_spdz, # spdz templet.
    "code_language": "python", # indicating the templet language.
    "config_file": "./sigmoig_spdz.py", # generated code file.
    "time_dict": to.basic_time[platform], # basic operation time cost.
    # "test_graph": "./graph/" # (optional, need mkdir for this folder first), whether generate the graph showing the approximation and the real function.
}

3. Generate the evaluation code using NFGen.

# using NFGen to generate the target function code.
generate_nonlinear_config(sigmoid_config)