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
use crate::core::{
    compile_passes::optimizer::Optimizer,
    expressions::{curve_expr::CurveExpr, expr::Expr},
};

impl Optimizer {
    pub fn optimize_curve_expr(&mut self, expr: CurveExpr<usize>) -> Expr<usize> {
        match expr {
            CurveExpr::Reveal(id) => self.expr_store.get_expr(id).clone(),
            _ => Expr::Curve(expr),
        }
    }
}