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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117

use super::ops::{
    scalar_sub_share_typed, share_div_scalar_typed, share_scalar_op_typed, ShareScalarOp,
};
use super::{ShareAlgebraError, ShareAlgebraResult};
use crate::net::curve::MpcCurveConfig;
use stoffel_vm_types::core_types::ShareType;

#[inline]
pub(crate) fn scale_fixed_point_scalar(
    fractional_bits: usize,
    scalar: i64,
) -> ShareAlgebraResult<i64> {
    let shift =
        u32::try_from(fractional_bits).map_err(|_| ShareAlgebraError::FixedPointScaleOverflow)?;
    let scale = 1i128
        .checked_shl(shift)
        .ok_or(ShareAlgebraError::FixedPointScaleOverflow)?;
    let scaled = (scalar as i128)
        .checked_mul(scale)
        .ok_or(ShareAlgebraError::FixedPointScalarOverflow)?;
    i64::try_from(scaled).map_err(|_| ShareAlgebraError::FixedPointScalarOutOfRange)
}

pub(crate) fn add_share_scalar_for_curve(
    curve_config: MpcCurveConfig,
    ty: ShareType,
    share_bytes: &[u8],
    scalar: i64,
) -> ShareAlgebraResult<Vec<u8>> {
    match ty {
        ShareType::SecretInt { .. } | ShareType::SecretUInt { .. } => dispatch_share_curve_config!(
            curve_config,
            share_scalar_op_typed(share_bytes, scalar, ShareScalarOp::Add)
        ),
        ShareType::SecretFixedPoint { precision } => {
            let scaled_scalar = scale_fixed_point_scalar(precision.f(), scalar)?;
            dispatch_share_curve_config!(
                curve_config,
                share_scalar_op_typed(share_bytes, scaled_scalar, ShareScalarOp::Add)
            )
        }
    }
}

pub(crate) fn sub_share_scalar_for_curve(
    curve_config: MpcCurveConfig,
    ty: ShareType,
    share_bytes: &[u8],
    scalar: i64,
) -> ShareAlgebraResult<Vec<u8>> {
    match ty {
        ShareType::SecretInt { .. } | ShareType::SecretUInt { .. } => dispatch_share_curve_config!(
            curve_config,
            share_scalar_op_typed(share_bytes, scalar, ShareScalarOp::Sub)
        ),
        ShareType::SecretFixedPoint { precision } => {
            let scaled_scalar = scale_fixed_point_scalar(precision.f(), scalar)?;
            dispatch_share_curve_config!(
                curve_config,
                share_scalar_op_typed(share_bytes, scaled_scalar, ShareScalarOp::Sub)
            )
        }
    }
}

pub(crate) fn scalar_sub_share_for_curve(
    curve_config: MpcCurveConfig,
    ty: ShareType,
    scalar: i64,
    share_bytes: &[u8],
) -> ShareAlgebraResult<Vec<u8>> {
    match ty {
        ShareType::SecretInt { .. } | ShareType::SecretUInt { .. } => {
            dispatch_share_curve_config!(curve_config, scalar_sub_share_typed(scalar, share_bytes))
        }
        ShareType::SecretFixedPoint { precision } => {
            let scaled_scalar = scale_fixed_point_scalar(precision.f(), scalar)?;
            dispatch_share_curve_config!(
                curve_config,
                scalar_sub_share_typed(scaled_scalar, share_bytes)
            )
        }
    }
}

pub(crate) fn mul_share_scalar_for_curve(
    curve_config: MpcCurveConfig,
    ty: ShareType,
    share_bytes: &[u8],
    scalar: i64,
) -> ShareAlgebraResult<Vec<u8>> {
    match ty {
        ShareType::SecretInt { .. }
        | ShareType::SecretUInt { .. }
        | ShareType::SecretFixedPoint { .. } => {
            dispatch_share_curve_config!(
                curve_config,
                share_scalar_op_typed(share_bytes, scalar, ShareScalarOp::Mul)
            )
        }
    }
}

pub(crate) fn div_share_scalar_for_curve(
    curve_config: MpcCurveConfig,
    ty: ShareType,
    share_bytes: &[u8],
    scalar: i64,
) -> ShareAlgebraResult<Vec<u8>> {
    match ty {
        ShareType::SecretInt { .. }
        | ShareType::SecretUInt { .. }
        | ShareType::SecretFixedPoint { .. } => {
            dispatch_share_curve_config!(curve_config, share_div_scalar_typed(share_bytes, scalar))
        }
    }
}