parasol_cpu 0.10.0

This crate contains the Parasol CPU, which runs programs over a mix of encrypted and plaintext data.
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
42

use std::sync::Arc;

use parasol_cpu::{ArgsBuilder, FheComputer, Memory};
use parasol_runtime::{
    Encryption, Evaluation,
    fluent::{UInt, UInt32},
};

use crate::{get_ck, get_sk};

#[test]
fn can_run_from_elf() {
    let memory = Arc::new(Memory::new_from_elf(include_bytes!("../test_data/payment")).unwrap());

    let sk = get_sk();
    let ck = get_ck();

    let enc = Encryption::default();
    let eval = Evaluation::with_default_params(ck);

    let mut proc = FheComputer::new(&enc, &eval);

    let balance = memory
        .try_allocate_type(&UInt32::encrypt_secret(42, &enc, sk))
        .unwrap();

    let args = ArgsBuilder::new()
        .arg(UInt32::encrypt_secret(26, &enc, sk))
        .arg(balance)
        .no_return_value();

    let prog = memory.get_function_entry("payment").unwrap();

    proc.run_program(prog, &memory, args).unwrap();

    let new_balance = memory
        .try_load_type::<UInt<32, _>>(balance)
        .unwrap()
        .decrypt(&enc, sk);

    assert_eq!(new_balance, 16);
}