Debugging errors in test files

Laser_beam · October 5, 2023, 9:21am

Oh I see such fast releases from 2.4.0 to 2.5.0 rc1 …great…but what;s new in the release?
and what is rc1?

umutsahin · October 5, 2023, 9:23am

You can find the changelog for v2.4.0 here Release Concrete v2.4.0 · zama-ai/concrete · GitHub.

As for v2.5.0-rc1, since it’s only a release candidate, there is no changelog, but it fixes the wopPBS simulation issue!

Laser_beam · October 5, 2023, 9:24am

Ok ,I will try upgrading it and try executing

umutsahin · October 5, 2023, 9:44am

Let us know how it went!

Laser_beam · October 5, 2023, 10:15am

It works perfectly well…

umutsahin · October 5, 2023, 11:12am

Glad to hear it

Let us know if you have more questions!

Laser_beam · October 5, 2023, 11:36am

A liitle deviation from above questions
Export a scalar 64 bits integer to a concreteprocol::Value
what is this concreteprocol::Value?

whats the use of valuedecrypter(is it different from decrypt)? any test files coresponding to this!

encryption.has_value(),any idea where this has_value() function is defined?

Rish · October 6, 2023, 7:40am

@Laser beam This might help

github.com

zama-ai/concrete/blob/main/compilers/concrete-compiler/compiler/lib/Bindings/Python/concrete/compiler/value_decrypter.py

"""ValueDecrypter."""

# pylint: disable=no-name-in-module,import-error

from typing import List, Union

import numpy as np
from mlir._mlir_libs._concretelang._compiler import (
    ValueDecrypter as _ValueDecrypter,
)

from .client_parameters import ClientParameters
from .key_set import KeySet
from .value import Value
from .wrapper import WrapperCpp

# pylint: enable=no-name-in-module,import-error


class ValueDecrypter(WrapperCpp):

This file has been truncated. show original

Rish · October 6, 2023, 7:43am

any idea where is this this located?
mlir._mlir_libs._concretelang._compiler

Laser_beam · October 7, 2023, 6:18am

Thanks @Rish ,I would also request sombody to throw light on following questions

umutsahin · October 9, 2023, 10:09am

Hey @Laser_beam,

Export a scalar 64 bits integer to a concreteprocol::Value

This is the part where values are created: https://github.com/zama-ai/concrete/blob/main/frontends/concrete-python/concrete/fhe/compilation/client.py#L138-L148.

It’s a complicated process to get to this point, what’s your objective?

What is this concreteprocol::Value?

It’s a type defined in the python bindings of the Concrete compiler. See:

concrete/compilers/concrete-compiler/compiler/lib/Bindings/Python/concrete/compiler/value.py at main · zama-ai/concrete · GitHub for the python definition of the class
concrete/compilers/concrete-compiler/compiler/lib/Bindings/Python/CompilerAPIModule.cpp at 76b72b7feb0670fcd7f3b1c80e5aba68b072a875 · zama-ai/concrete · GitHub for the binding definition of the class
concrete/compilers/concrete-compiler/compiler/include/concretelang/ClientLib/Types.h at 76b72b7feb0670fcd7f3b1c80e5aba68b072a875 · zama-ai/concrete · GitHub for the definition of the underlying data structure

whats the use of valuedecrypter(is it different from decrypt)? any test files coresponding to this!

It’s a helper class to decrypt encrypted values. It’s tested with all tests in the test suite of Concrete Python.

encryption.has_value(),any idea where this has_value() function is defined?

Where did you see that code? Is it in C++ or in Python? If it’s in C++, it can be the has_value function of std::optional (see std::optional<T>::operator bool, std::optional<T>::has_value - cppreference.com).