add meeting long distance friends example

src/lib.rs

@@ -22,7 +22,7 @@ pub use backend::{
 // ParameterSelector, };
 pub use bool::*;
 pub use ntt::{Ntt, NttBackendU64, NttInit};
-pub use shortint::{div_zero_error_flag, FheUint8};
+pub use shortint::{div_zero_error_flag, FheBool, FheUint8};
 
 pub use decomposer::{Decomposer, DecomposerIter, DefaultDecomposer};
 

src/shortint/enc_dec.rs

@@ -8,6 +8,12 @@ use crate::{
     RowMut, SampleExtractor,
 };
 
+/// Fhe Bool ciphertext
+#[derive(Clone)]
+pub struct FheBool<C> {
+    pub(super) data: C,
+}
+
 /// Fhe UInt8 type
 ///
 /// - Stores encryptions of bits in little endian (i.e least signficant bit
@@ -204,6 +210,25 @@ where
     }
 }
 
+impl<C, K> MultiPartyDecryptor<bool, FheBool<C>> for K
+where
+    K: MultiPartyDecryptor<bool, C>,
+{
+    type DecryptionShare = <K as MultiPartyDecryptor<bool, C>>::DecryptionShare;
+
+    fn aggregate_decryption_shares(
+        &self,
+        c: &FheBool<C>,
+        shares: &[Self::DecryptionShare],
+    ) -> bool {
+        self.aggregate_decryption_shares(&c.data, shares)
+    }
+
+    fn gen_decryption_share(&self, c: &FheBool<C>) -> Self::DecryptionShare {
+        self.gen_decryption_share(&c.data)
+    }
+}
+
 impl<C, K> Encryptor<u8, FheUint8<C>> for K
 where
     K: Encryptor<bool, C>,

src/shortint/mod.rs

@@ -1,9 +1,8 @@
 mod enc_dec;
 mod ops;
-mod types;
 
 pub type FheUint8 = enc_dec::FheUint8<Vec<u64>>;
-pub type FheBool = Vec<u64>;
+pub type FheBool = enc_dec::FheBool<Vec<u64>>;
 
 use std::cell::RefCell;
 
@@ -15,7 +14,7 @@ thread_local! {
 
 /// Returns Boolean ciphertext indicating whether last division was attempeted
 /// with decnomiantor set to 0.
-pub fn div_zero_error_flag() -> Option<Vec<u64>> {
+pub fn div_zero_error_flag() -> Option<FheBool> {
     DIV_ZERO_ERROR.with_borrow(|c| c.clone())
 }
 
@@ -83,7 +82,7 @@ mod frontend {
 
                     // set div by 0 error flag
                     let is_zero = is_zero(e, rhs.data(), key);
-                    DIV_ZERO_ERROR.set(Some(is_zero));
+                    DIV_ZERO_ERROR.set(Some(FheBool { data: is_zero }));
 
                     let (quotient, _) = arbitrary_bit_division_for_quotient_and_rem(
                         e,
@@ -118,7 +117,7 @@ mod frontend {
                     let key = RuntimeServerKey::global();
                     let (overflow, _) =
                         arbitrary_bit_adder(e, self.data_mut(), rhs.data(), false, key);
-                    overflow
+                    FheBool { data: overflow }
                 })
             }
 
@@ -128,7 +127,7 @@ mod frontend {
                     let key = RuntimeServerKey::global();
                     let (overflow, _) =
                         arbitrary_bit_adder(e, lhs.data_mut(), rhs.data(), false, key);
-                    (lhs, overflow)
+                    (lhs, FheBool { data: overflow })
                 })
             }
 
@@ -138,7 +137,7 @@ mod frontend {
                     let (out, mut overflow, _) =
                         arbitrary_bit_subtractor(e, self.data(), rhs.data(), key);
                     e.not_inplace(&mut overflow);
-                    (FheUint8 { data: out }, overflow)
+                    (FheUint8 { data: out }, FheBool { data: overflow })
                 })
             }
 
@@ -148,7 +147,7 @@ mod frontend {
 
                     // set div by 0 error flag
                     let is_zero = is_zero(e, rhs.data(), key);
-                    DIV_ZERO_ERROR.set(Some(is_zero));
+                    DIV_ZERO_ERROR.set(Some(FheBool { data: is_zero }));
 
                     let (quotient, remainder) = arbitrary_bit_division_for_quotient_and_rem(
                         e,
@@ -172,7 +171,8 @@ mod frontend {
             pub fn eq(&self, other: &FheUint8) -> FheBool {
                 BoolEvaluator::with_local_mut(|e| {
                     let key = RuntimeServerKey::global();
-                    arbitrary_bit_equality(e, self.data(), other.data(), key)
+                    let out = arbitrary_bit_equality(e, self.data(), other.data(), key);
+                    FheBool { data: out }
                 })
             }
 
@@ -182,7 +182,7 @@ mod frontend {
                     let key = RuntimeServerKey::global();
                     let mut is_equal = arbitrary_bit_equality(e, self.data(), other.data(), key);
                     e.not_inplace(&mut is_equal);
-                    is_equal
+                    FheBool { data: is_equal }
                 })
             }
 
@@ -190,7 +190,8 @@ mod frontend {
             pub fn lt(&self, other: &FheUint8) -> FheBool {
                 BoolEvaluator::with_local_mut(|e| {
                     let key = RuntimeServerKey::global();
-                    arbitrary_bit_comparator(e, other.data(), self.data(), key)
+                    let out = arbitrary_bit_comparator(e, other.data(), self.data(), key);
+                    FheBool { data: out }
                 })
             }
 
@@ -198,7 +199,8 @@ mod frontend {
             pub fn gt(&self, other: &FheUint8) -> FheBool {
                 BoolEvaluator::with_local_mut(|e| {
                     let key = RuntimeServerKey::global();
-                    arbitrary_bit_comparator(e, self.data(), other.data(), key)
+                    let out = arbitrary_bit_comparator(e, self.data(), other.data(), key);
+                    FheBool { data: out }
                 })
             }
 
@@ -209,7 +211,7 @@ mod frontend {
                     let mut a_greater_b =
                         arbitrary_bit_comparator(e, self.data(), other.data(), key);
                     e.not_inplace(&mut a_greater_b);
-                    a_greater_b
+                    FheBool { data: a_greater_b }
                 })
             }
 
@@ -219,7 +221,7 @@ mod frontend {
                     let key = RuntimeServerKey::global();
                     let mut a_less_b = arbitrary_bit_comparator(e, other.data(), self.data(), key);
                     e.not_inplace(&mut a_less_b);
-                    a_less_b
+                    FheBool { data: a_less_b }
                 })
             }
         }