arcis-compiler 0.9.4

A framework for writing secure multi-party computation (MPC) circuits to be executed on the Arcium network.
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58

pub mod constants;
pub mod mxe_key_recovery_finalize;
pub mod mxe_key_recovery_init;
pub mod mxe_keygen;

#[cfg(test)]
mod tests {
    use crate::{
        core::circuits::pre_compiled::constants::ARTIFACTS_DIR,
        profile_info::{PerformanceStore, PerformanceTracker},
        ArcisInstruction,
        AsyncMPCCircuit,
    };
    use std::fs;
    #[test]
    fn track_pre_compiled_performance() {
        let strict_mode = std::env::var("STRICT_PERF_TRACKING").is_ok();
        let perf_path = format!("{ARTIFACTS_DIR}/perf.csv");
        let mut perf_store = PerformanceStore::from_csv(strict_mode, perf_path.as_str())
            .expect("CSV reading failed");
        let mut n_circuits = 0;
        for entry in fs::read_dir(ARTIFACTS_DIR).expect("Failed to read ARTIFACTS_DIR") {
            let entry = entry.expect("Failed to entry");
            let mut path = entry.path();
            if !path.is_dir() {
                continue;
            }
            let suffix = "circuit.arcis";
            path.push(suffix);
            if !path.is_file() {
                continue;
            }
            let Some(path_str) = path.as_os_str().to_str() else {
                continue;
            };
            let circuit_name =
                &path_str[(ARTIFACTS_DIR.len() + 1)..(path_str.len() - suffix.len() - 1)];

            let circuit = fs::read(path_str).expect("Failed to read stored circuit");
            let circuit: AsyncMPCCircuit =
                bincode::deserialize(&circuit).expect("Deserialization failed");
            let circuit = ArcisInstruction {
                circuit,
                metadata: Default::default(),
            };
            perf_store
                .track(circuit_name, circuit.profile_info())
                .expect("Performance issue:");
            n_circuits += 1;
        }
        perf_store.to_csv(&perf_path).expect("CSV writing failed");
        assert_eq!(
            n_circuits,
            perf_store.get_instructions().len(),
            "An entry in perf.csv was not used."
        );
    }
}