miden-precompiles 0.29.1

Concrete precompile implementations for the Miden VM deferred 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
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

//! secp256k1 parameters for the fixed curve precompile.

use miden_core::deferred::PrecompileError;

use super::{CurvePoint, CurveSpec, ShortWeierstrassSpec, short_weierstrass};
use crate::math::{k1_base::K1Base, k1_scalar::K1Scalar, uint::Limbs};

/// Stable local curve selector for secp256k1.
pub const SECP256K1_ID: miden_core::Felt = miden_core::Felt::new_unchecked(1);

/// Standard secp256k1 generator x-coordinate, little-endian u32 limbs.
pub const SECP256K1_GENERATOR_X: Limbs = [
    0x16f8_1798,
    0x59f2_815b,
    0x2dce_28d9,
    0x029b_fcdb,
    0xce87_0b07,
    0x55a0_6295,
    0xf9dc_bbac,
    0x79be_667e,
];

/// Standard secp256k1 generator y-coordinate, little-endian u32 limbs.
pub const SECP256K1_GENERATOR_Y: Limbs = [
    0xfb10_d4b8,
    0x9c47_d08f,
    0xa685_5419,
    0xfd17_b448,
    0x0e11_08a8,
    0x5da4_fbfc,
    0x26a3_c465,
    0x483a_da77,
];

/// Marker type for the secp256k1 curve.
#[derive(Debug, Default, Clone, Copy)]
pub struct Secp256k1;

impl CurveSpec for Secp256k1 {
    /// Stable local curve selector retained for host-side metadata.
    const ID: miden_core::Felt = SECP256K1_ID;

    type BaseField = K1Base;
    type ScalarField = K1Scalar;

    /// Standard secp256k1 generator x-coordinate, little-endian u32 limbs.
    const GENERATOR_X: Limbs = SECP256K1_GENERATOR_X;

    /// Standard secp256k1 generator y-coordinate, little-endian u32 limbs.
    const GENERATOR_Y: Limbs = SECP256K1_GENERATOR_Y;

    fn point_from_affine(x: Limbs, y: Limbs) -> Result<CurvePoint, PrecompileError> {
        short_weierstrass::point_from_affine::<Self>(x, y)
    }

    fn add(lhs: CurvePoint, rhs: CurvePoint) -> Result<CurvePoint, PrecompileError> {
        short_weierstrass::add::<Self>(lhs, rhs)
    }

    fn neg(point: CurvePoint) -> Result<CurvePoint, PrecompileError> {
        Ok(short_weierstrass::neg::<Self>(point))
    }

    fn mul_scalar(point: CurvePoint, scalar: Limbs) -> Result<CurvePoint, PrecompileError> {
        short_weierstrass::mul_scalar::<Self>(point, scalar)
    }
}

impl ShortWeierstrassSpec for Secp256k1 {
    /// Coefficient `A = 0` for `y^2 = x^3 + 7`.
    const A: Limbs = [0; 8];

    /// Coefficient `B = 7` for `y^2 = x^3 + 7`.
    const B: Limbs = [7, 0, 0, 0, 0, 0, 0, 0];
}