Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

derive debug trait for FhewBoolEvaluator #42

Closed

Conversation

ChihChengLiang
Copy link

This PR adds the Debug trait to FhewBoolEvaluator

However, I'm not sure if I'm doing the right way.

The need for the debug trait is reasoned as follows:

  1. The server has to deserialize encrypted bit ciphertext for the computation.
  2. We wrap the deserialized ciphertext with FheBool, because it has the BitAnd, BitOr, and BitXor implemented.
  3. So my deserialization method have the output signature Vec<FheBool<FhewBoolEvaluator<R, M>>>
  4. This comes with a problem if I want to unwrap the vector to fit a slice. Because unwrap requires a Debug trait for FhewBoolEvaluator

https://github.com/ChihChengLiang/haunted/pull/5/files

@ChihChengLiang ChihChengLiang changed the title adding debug derive debug trait for FhewBoolEvaluator Sep 25, 2024
@ChihChengLiang
Copy link
Author

Debug is already added in #41

@han0110
Copy link
Collaborator

han0110 commented Sep 25, 2024

Ideally clients will only produce FhewBoolCiphertextOwned<R::Elem> and serialize it to send to server, and server will deserialize then wrap it with evaluator by FheBool::from_ct(evaluator, ct) or FheU8::from_cts(evaluator, cts) for further computation. Then we can avoid client side to handle evaluator stuff.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants