lambdaworks-math 0.10.0

Modular math library for cryptography
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

#pragma once

#include "fp_u256.h.metal"

#include "../fft/fft.h.metal"
#include "../fft/twiddles.h.metal"
#include "../fft/permutation.h.metal"

// Prime Field of U256 with modulus 0x800000000000011000000000000000000000000000000000000000000000001, used for Starks
namespace {
    typedef Fp256<
    /* =N **/ /*u256(*/ 576460752303423505, 0, 0, 1 /*)*/,
    /* =R_SQUARED **/ /*u256(*/ 576413109808302096, 18446744073700081664, 5151653887, 18446741271209837569 /*)*/,
    /* =N_PRIME **/ /*u256(*/ 576460752303423504, 18446744073709551615, 18446744073709551615, 18446744073709551615 /*)*/
    > Fp;
}

template [[ host_name("radix2_dit_butterfly_stark256") ]] 
[[kernel]] void radix2_dit_butterfly<Fp>(
    device Fp*,
    constant Fp*,
    constant uint32_t&,
    uint32_t,
    uint32_t
);

template [[ host_name("calc_twiddles_stark256") ]] 
[[kernel]] void calc_twiddles<Fp>(
    device Fp*,
    constant Fp&, 
    uint
);

template [[ host_name("calc_twiddles_inv_stark256") ]] 
[[kernel]] void calc_twiddles_inv<Fp>(
    device Fp*,
    constant Fp&, 
    uint
);

template [[ host_name("calc_twiddles_bitrev_stark256") ]] 
[[kernel]] void calc_twiddles_bitrev<Fp>(
    device Fp*,
    constant Fp&, 
    uint,
    uint
);

template [[ host_name("calc_twiddles_bitrev_inv_stark256") ]] 
[[kernel]] void calc_twiddles_bitrev_inv<Fp>(
    device Fp*,
    constant Fp&, 
    uint,
    uint
);

template [[ host_name("bitrev_permutation_stark256") ]] 
[[kernel]] void bitrev_permutation<Fp>(
    device Fp*, 
    device Fp*, 
    uint, 
    uint
);