stoffel-vm 0.1.0

Register-based virtual machine runtime and MPC execution engine for Stoffel programs
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

//! Backend-oriented local arithmetic over serialized secret shares.
//!
//! These operations are local transformations on a party's share bytes. Keeping
//! them behind the MPC engine layer prevents the VM executor from knowing about
//! concrete share encodings.

macro_rules! dispatch_share_curve_config {
    ($curve_config:expr, $function:ident ( $($arg:expr),* $(,)? )) => {
        match $curve_config {
            crate::net::curve::MpcCurveConfig::Bls12_381 => {
                $function::<ark_bls12_381::Fr, ark_bls12_381::G1Projective>($($arg),*)
            }
            crate::net::curve::MpcCurveConfig::Bn254 => {
                $function::<ark_bn254::Fr, ark_bn254::G1Projective>($($arg),*)
            }
            crate::net::curve::MpcCurveConfig::Curve25519 => {
                $function::<ark_curve25519::Fr, ark_curve25519::EdwardsProjective>($($arg),*)
            }
            crate::net::curve::MpcCurveConfig::Ed25519 => {
                $function::<ark_ed25519::Fr, ark_ed25519::EdwardsProjective>($($arg),*)
            }
            crate::net::curve::MpcCurveConfig::Secp256k1 => {
                $function::<ark_secp256k1::Fr, ark_secp256k1::Projective>($($arg),*)
            }
            crate::net::curve::MpcCurveConfig::Secp256r1 => {
                $function::<ark_secp256r1::Fr, ark_secp256r1::Projective>($($arg),*)
            }
        }
    };
}

mod codec;
mod error;
mod interpolation;
mod ops;
mod scalar;

pub(crate) use codec::preserve_share_data_format_for_curve;
pub use error::{ShareAlgebraError, ShareAlgebraResult};
pub(crate) use interpolation::interpolate_local_for_curve;
pub(crate) use ops::{
    add_share_field_for_curve, add_share_for_curve, mul_share_field_for_curve, neg_share_for_curve,
    sub_share_for_curve,
};
pub(crate) use scalar::{
    add_share_scalar_for_curve, div_share_scalar_for_curve, mul_share_scalar_for_curve,
    scalar_sub_share_for_curve, sub_share_scalar_for_curve,
};

#[cfg(test)]
pub(crate) use scalar::scale_fixed_point_scalar;

#[cfg(test)]
mod tests;