Add bitwise operations - Githubissues

Winner

This bounty has been solved, see the entire solution here.

Overview

Support bitwise operations between encrypted integers in Concrete Numpy.

Description

Add support in Concrete Numpy for the following operations:

Bitwise AND between encrypted integers from 1 up to 16-bits
Bitwise OR between encrypted integers from 1 up to 16-bits
Bitwise NOT of encrypted integers from 1 up to 16-bits
Bitwise XOR of encrypted integers from 1 up to 16-bits

Here is an example of the bitwise AND operation on 8-bits encrypted values:

import concrete.numpy as cnp
import numpy as np

configuration = cnp.Configuration(
    enable_unsafe_features=True,
    use_insecure_key_cache=True,
    insecure_key_cache_location=".keys",
)

@cnp.compiler({"x": "encrypted", "y": "encrypted"})
def f(x, y):
    return x & y

inputset = [(np.random.randint(0, 2 ** 8), np.random.randint(0, 2 ** 8)) for _ in range(100)]
circuit = f.compile(inputset, configuration, verbose=True)

assert circuit.encrypt_run_decrypt(0b_0010_1100, 0b_0110_0100) == 0b_0010_0100

Here are some guidance to get you started:

Ignore bitwise operations in fusing candidate search in concrete/numpy/compilation/utils.py
Disable asserts for bitwise operations in concrete/numpy/mlir/graph_converter.py
Create a new converter in concrete/numpy/mlir/node_converter.py
Use the old implementation if one the inputs is a clear constant to preserve the old semantics
Implement new MLIR conversion logic (only existing MLIR operations must be used)

We expect your PR to comply with the following:

Create tests with 100% coverage (hint: make pytest runs without errors)
Make sure pcc checks are passing (hint: make pcc runs without errors)
And update documentation

Library targeted

Concrete-Numpy

Bounty type

Easy bounty

Reward

Up to €2,500

Submission

Apply directly to this bounty by opening an application here.

Questions?

Do you have a specific question about this bounty? Join the live conversation on the FHE.org discord server here. You can also send us an email at: bounty@zama.ai

zama-ai / bounty-program

Add bitwise operations #34