cairo-native 0.8.0

A compiler to convert Cairo's IR Sierra code to MLIR and execute it.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

use debug::PrintTrait;
//use poseidon::hades_permutation;

// FIXME: Hack to make it compile.
extern fn hades_permutation(
    s0: felt252, s1: felt252, s2: felt252
) -> (felt252, felt252, felt252) implicits(Poseidon) nopanic;

fn main() -> (
    (felt252, felt252, felt252),
    (felt252, felt252, felt252),
    (felt252, felt252, felt252),
) {
    (
        hades_permutation(1, 2, 3),
        hades_permutation(4, 5, 6),
        hades_permutation(7, 8, 9),
    )
}