sp1-lib 6.2.2

SP1 zkVM library functions
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

use crate::{syscall_ed_add, utils::AffinePoint};

/// The number of limbs in [Ed25519AffinePoint].
pub const N: usize = 8;

/// An affine point on the Ed25519 curve.
#[derive(Copy, Clone)]
#[repr(align(8))]
pub struct Ed25519AffinePoint(pub [u64; N]);

impl AffinePoint<N> for Ed25519AffinePoint {
    /// The generator/base point for the Ed25519 curve. Reference: https://datatracker.ietf.org/doc/html/rfc7748#section-4.1
    const GENERATOR: [u64; N] = [
        13254768563189591678,
        7223677240904510747,
        11837459681205989215,
        14107110925517789205,
        3231187496542550688,
        8386596743812984063,
        16293584715996958308,
        12755452578091664582,
    ];

    #[allow(deprecated)]
    const GENERATOR_T: Self = Self(Self::GENERATOR);

    fn new(limbs: [u64; N]) -> Self {
        Self(limbs)
    }

    fn identity() -> Self {
        Self::identity()
    }

    fn limbs_ref(&self) -> &[u64; N] {
        &self.0
    }

    fn limbs_mut(&mut self) -> &mut [u64; N] {
        &mut self.0
    }

    fn add_assign(&mut self, other: &Self) {
        let a = self.limbs_mut();
        let b = other.limbs_ref();
        unsafe {
            syscall_ed_add(a, b);
        }
    }

    fn is_identity(&self) -> bool {
        self.0 == Self::IDENTITY
    }

    /// In Edwards curves, doubling is the same as adding a point to itself.
    fn double(&mut self) {
        let a = self.limbs_mut();
        unsafe {
            syscall_ed_add(a, a);
        }
    }
}

impl Ed25519AffinePoint {
    const IDENTITY: [u64; N] = [0, 0, 0, 0, 1, 0, 0, 0];

    pub fn identity() -> Self {
        Self(Self::IDENTITY)
    }
}