cairo-native 0.2.6

A compiler to convert Cairo's intermediate representation Sierra code to MLIR.
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

// Logistic map implementation.
//
// The value would normally be a number between zero and one, however since floats are not
// available, zero corresponds to a felt zero and one to PRIME - 1.
fn iterate_map(r: felt252, x: felt252) -> felt252 {
    r * x * -x
}

fn main() {
    // Initial value.
    let mut x = 1234567890123456789012345678901234567890;

    // Iterate the map.
    let mut i = 15000;
    let result = loop {
        x = iterate_map(4, x);

        if i == 0 {
            break x;
        }

        i = i - 1;
    };

    assert(
        result == 0x12d35a3ae9fe7c56f194b12b34d567a844432acd2b7da993a158c15447a424d,
        'invalid result'
    );
}