parasol_runtime 0.10.0

This crate supports the Parasol CPU, providing key generation, encryption, and FHE evaluation functionality.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

use std::sync::Arc;

use mux_circuits::sub::full_subtractor;
use parasol_concurrency::AtomicRefCell;

use crate::{Encryption, FheCircuit, L1GlweCiphertext};

/// Generators for addition [`FheCircuit`]s.
pub mod add;

/// Generators for multiplication [`FheCircuit`]s
pub mod mul;

/// Generators for subtraction [`FheCircuit`]s.
pub mod sub;

/// sub two ciphertexts together using a full subtractor. The borrow in is
/// optional, and if it is not provided, the borrow out will be ignored.
pub fn sub_circuit(
    width: usize,
    c1: &[Arc<AtomicRefCell<L1GlweCiphertext>>],
    c2: &[Arc<AtomicRefCell<L1GlweCiphertext>>],
    c_borrow: Option<&[Arc<AtomicRefCell<L1GlweCiphertext>>]>,
    enc: &Encryption,
) -> (FheCircuit, Vec<Arc<AtomicRefCell<L1GlweCiphertext>>>) {
    let mut graph = FheCircuit::new();
    let sub_circuit = full_subtractor(width, c_borrow.is_some());

    // order of the inputs for the ripple borrow suber is borrow then c1 then
    // c2
    let inputs = c_borrow
        .unwrap_or(&[])
        .iter()
        .chain(c1.iter().zip(c2.iter()).flat_map(|(a, b)| [a, b]))
        .cloned()
        .collect::<Vec<_>>();

    let outputs = graph.insert_mux_circuit_and_connect_inputs(&sub_circuit, &inputs, enc);

    (graph, outputs)
}