arcis-imports

A standard library of types and functions for writing MPC circuits with the Arcis framework. This crate provides the essential building blocks for developing encrypted computations, including type definitions, cryptographic primitives, and utility functions commonly needed in MPC circuit development.

Usage

use arcis_imports::{ArcisType, Enc, Shared, Mxe, Reveal};

// Define encrypted data with different cipher types
let shared_data: Enc<Shared, u32> = Enc::new(42);
let mxe_data: Enc<Mxe, String> = Enc::new("secret".to_string());

// Use the Reveal trait to decrypt values within circuits
let revealed = encrypted_value.reveal();

Main Exports

Core Traits

• ArcisType - Trait for types that can be used in Arcis circuits
• Reveal - Trait for revealing encrypted values
• Cipher - Trait defining encryption/decryption operations

Types

• Enc<C, T> - Generic encrypted data wrapper
• Shared - Shared secret cipher implementation
• Mxe - MXE (Multi-party eXchange Encryption) cipher
• Number - Basic numeric type for circuit computations
• ArcisRNG - Random number generator for circuits

Re-exports

• All standard library functions and types
• Procedural macros from arcis_interpreter_proc_macros