mirror of
https://github.com/zama-ai/concrete.git
synced 2026-01-13 06:48:02 -05:00
86 lines
2.3 KiB
Python
86 lines
2.3 KiB
Python
"""
|
|
Tests of execution of dot operation.
|
|
"""
|
|
|
|
import numpy as np
|
|
import pytest
|
|
|
|
from concrete import fhe
|
|
|
|
|
|
@pytest.mark.parametrize(
|
|
"size",
|
|
[1, 4, 6, 10],
|
|
)
|
|
def test_constant_dot(size, helpers):
|
|
"""
|
|
Test dot where one of the operators is a constant.
|
|
"""
|
|
|
|
configuration = helpers.configuration()
|
|
|
|
bound = int(np.floor(np.sqrt(127 / size)))
|
|
cst = np.random.randint(0, bound, size=(size,))
|
|
|
|
@fhe.compiler({"x": "encrypted"})
|
|
def left_function(x):
|
|
return np.dot(x, cst)
|
|
|
|
@fhe.compiler({"x": "encrypted"})
|
|
def right_function(x):
|
|
return np.dot(cst, x)
|
|
|
|
@fhe.compiler({"x": "encrypted"})
|
|
def method(x):
|
|
return x.dot(cst)
|
|
|
|
inputset = [np.random.randint(0, bound, size=(size,)) for i in range(100)]
|
|
|
|
left_function_circuit = left_function.compile(inputset, configuration)
|
|
right_function_circuit = right_function.compile(inputset, configuration)
|
|
method_circuit = method.compile(inputset, configuration)
|
|
|
|
sample = np.random.randint(0, bound, size=(size,))
|
|
|
|
helpers.check_execution(left_function_circuit, left_function, sample)
|
|
helpers.check_execution(right_function_circuit, right_function, sample)
|
|
helpers.check_execution(method_circuit, method, sample)
|
|
|
|
|
|
@pytest.mark.parametrize("size", [1, 10])
|
|
@pytest.mark.parametrize("bit_width", [2, 6])
|
|
@pytest.mark.parametrize("signed", [True, False])
|
|
@pytest.mark.parametrize("only_negative", [True, False])
|
|
def test_dot(size, bit_width, only_negative, signed, helpers):
|
|
"""
|
|
Test dot.
|
|
"""
|
|
|
|
configuration = helpers.configuration()
|
|
|
|
minimum = 0 if not signed else -(2 ** (bit_width - 1))
|
|
maximum = 2**bit_width if not signed else 2 ** (bit_width - 1)
|
|
|
|
if only_negative:
|
|
maximum = 1
|
|
|
|
@fhe.compiler({"x": "encrypted", "y": "encrypted"})
|
|
def function(x, y):
|
|
return np.dot(x, y)
|
|
|
|
inputset = [
|
|
(
|
|
np.random.randint(minimum, maximum, size=(size,)),
|
|
np.random.randint(minimum, maximum, size=(size,)),
|
|
)
|
|
for i in range(100)
|
|
]
|
|
circuit = function.compile(inputset, configuration)
|
|
|
|
sample = [
|
|
np.random.randint(minimum, maximum, size=(size,)),
|
|
np.random.randint(minimum, maximum, size=(size,)),
|
|
]
|
|
|
|
helpers.check_execution(circuit, function, sample, retries=3)
|