arcis-compiler 0.9.7

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

use crate::core::{
    compile_passes::{
        build_arithmetic_circuits::ArithmeticCircuitBuilder,
        build_boolean_circuits::BooleanCircuitBuilder,
        compilation_pass::CompilationPass,
        expand_complex_expr::ComplexExprExpanderTestnet,
        introduce_eda_bits::EdaBitIntroducer,
    },
    ir::IntermediateRepresentation,
};
use primitives::algebra::elliptic_curve::Curve25519Ristretto;

mod build_arithmetic_circuits;
mod build_boolean_circuits;
mod circuit_builder;
pub mod circuit_pass;
mod compilation_pass;
mod dead_code_eliminator;
mod dead_gate_eliminator;
mod expand_complex_expr;
mod introduce_eda_bits;
mod optimizer;
mod to_async_mpc_circuit;

type Gate = core_utils::circuit::Gate<Curve25519Ristretto>;

pub const BUILD_FN_SEQ: [fn(IntermediateRepresentation) -> IntermediateRepresentation; 4] = [
    // Build arithmetic circuits.
    ArithmeticCircuitBuilder::make_and_run,
    // Build boolean circuits.
    BooleanCircuitBuilder::make_and_run,
    // Introduce eda bits.
    EdaBitIntroducer::make_and_run,
    // Lincomb is not a gate on async-mpc, so we remove it.
    ComplexExprExpanderTestnet::make_and_run,
];

pub use dead_code_eliminator::DeadCodeEliminator;
pub use dead_gate_eliminator::DeadGateEliminator;
pub use introduce_eda_bits::new_eda_bit;
pub use optimizer::Optimizer;