arcis 0.12.0

A standard library of types and functions for writing MPC circuits with the Arcis framework.
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

//! Documentation of the `std` subset that the arcis interpreter accepts
//! inside `#[encrypted]` code.
//!
//! # How to read this module
//!
//! Each submodule documents the methods supported on a particular kind of
//! type (`slice`, `iter`, `integer`, `float`, `option`, `cell`, `boxed`,
//! `mem`). For type categories where extension traits work cleanly, the
//! submodule defines a trait whose only purpose is to give rustdoc a page to
//! attach the documentation to; for [`iter`] (where a parallel trait would
//! conflict with [`Iterator`]) the supported methods are listed in the
//! module-level documentation instead.
//!
//! The method bodies are documentation-only stubs that panic if called outside
//! the interpreter. Inside `#[encrypted]` code the interpreter intercepts the
//! call before the body runs.
//!
//! The traits are never imported by user code. Names exist purely so that
//! rustdoc renders pages like [`slice::SupportedSlice`] showing which methods
//! arcis recognizes, on which receivers, with what complexity and caveats.
//!
//! Items defined by arcis itself (`.reveal()`, `.to_arcis()`,
//! `BaseField25519::*`, …) are documented on the types they belong to, not
//! here.

#![allow(unused)]

pub mod boxed;
pub mod cell;
pub mod float;
pub mod integer;
pub mod iter;
pub mod mem;
pub mod option;
pub mod slice;