libcrux-ml-dsa 0.0.8

Libcrux ML-DSA implementation
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

/// The following macros are defined so that the extraction from Rust to C code
/// can go through.

#[cfg(eurydice)]
macro_rules! cloop {
    (for ($i:ident, $chunk:ident) in $val:ident.$values:ident.chunks_exact($($chunk_size:expr),*).enumerate() $body:block) => {
        for $i in 0..$val.$values.len() / ($($chunk_size)*) {
            let $chunk = &$val.$values[$i*($($chunk_size)*) .. $i*($($chunk_size)*)+($($chunk_size)*)];
            $body
        }
    };
    (for ($i:ident, $chunk:ident) in $val:ident.chunks_exact($($chunk_size:expr),*).enumerate() $body:block) => {
        for $i in 0..$val.len() / ($($chunk_size)*) {
            let $chunk = &$val[$i*($($chunk_size)*) .. $i*($($chunk_size)*)+($($chunk_size)*)];
            $body
        }
    };
    (for $chunk:ident in $values:ident.chunks_exact($($chunk_size:expr),*) $body:block) => {
        for _cloop_i in 0..$values.len() / ($($chunk_size)*) {
            let $chunk = &$values[_cloop_i*($($chunk_size)*) .. _cloop_i*($($chunk_size)*)+($($chunk_size)*)];
            $body
        }
    };
    (for ($i:ident, $item:ident) in $val:ident.iter().enumerate() $body:block) => {
        for $i in 0..$val.len() {
            let $item = &$val[$i];
            $body
        }
    };
    (for $item:ident in $val:ident.iter() $body:block) => {
        for _cloop_j in 0..$val.len() {
            let $item = &$val[_cloop_j];
            $body
        }
    };
    (for ($i:ident, $item:ident) in $self:ident.$val:ident.iter().enumerate() $body:block) => {
        for $i in 0..$self.$val.len() {
            let $item = &$self.$val[$i];
            $body
        }
    };
    (for ($i:ident, $item:ident) in $val:ident.into_iter().enumerate() $body:block) => {
        for $i in 0..$val.len() {
            let $item = $val[$i];
            $body
        }
    };
    (for ($i:ident, $item:ident) in $val:ident.$values:ident.into_iter().enumerate() $body:block) => {
        for $i in 0..$val.$values.len() {
            let $item = $val.$values[$i];
            $body
        }
    };
    (for $item:ident in $val:ident.$values:ident.into_iter() $body:block) => {
        for _cloop_k in 0..$val.$values.len() {
            let $item = $val.$values[_cloop_k];
            $body
        }
    };
    (for $i:ident in ($start:literal..$end:expr).step_by($step:literal) $body:block) => {
        for $i in ($start..($end / $step + 1)) {
            let $i = $i * $step;
            if $i >= $end { break; }
            $body
        }
    };
}

#[cfg(not(eurydice))]
macro_rules! cloop {
    (for ($i:ident, $chunk:ident) in $val:ident.$values:ident.chunks_exact($($chunk_size:expr),*).enumerate() $body:block) => {
        for ($i, $chunk) in $val.$values.chunks_exact($($chunk_size),*).enumerate() $body
    };
    (for ($i:ident, $chunk:ident) in $val:ident.chunks_exact($($chunk_size:expr),*).enumerate() $body:block) => {
        for ($i, $chunk) in $val.chunks_exact($($chunk_size),*).enumerate() $body
    };
    (for $chunk:ident in $values:ident.chunks_exact($($chunk_size:expr),*) $body:block) => {
        for $chunk in $values.chunks_exact($($chunk_size),*) $body
    };
    (for ($i:ident, $item:ident) in $val:ident.iter().enumerate() $body:block) => {
        for ($i, $item) in $val.iter().enumerate() $body
    };
    (for $item:ident in $val:ident.iter() $body:block) => {
        for $item in $val.iter() $body
    };
    (for ($i:ident, $item:ident) in $self:ident.$val:ident.iter().enumerate() $body:block) => {
        for ($i, $item) in $self.$val.iter().enumerate() $body
    };
    (for ($i:ident, $item:ident) in $val:ident.into_iter().enumerate() $body:block) => {
        for ($i, $item) in $val.into_iter().enumerate() $body
    };
    (for ($i:ident, $item:ident) in $val:ident.$values:ident.into_iter().enumerate() $body:block) => {
        for ($i, $item) in $val.$values.into_iter().enumerate() $body
    };
    (for $item:ident in $val:ident.$values:ident.into_iter() $body:block) => {
        for $item in $val.$values.into_iter() $body
    };
    (for $i:ident in ($start:literal..$end:expr).step_by($step:literal) $body:block) => {
        for $i in ($start..$end).step_by($step) $body
    };
}

pub(crate) use cloop;