ziskos 1.1.0-alpha

Guest runtime and entrypoint for programs targeting the ZisK zkVM
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

use crate::hints::macros::define_hint;
use zisk_definitions::{
    ARITH256MOD_RESULTS, HINT_ADD_MOD256, HINT_INV_MOD256, HINT_MULMOD256, HINT_POW_MOD256,
    HINT_REDUCE_MOD256, HINT_SQUARE_MOD256,
};

define_hint! {
    mulmod256 => {
        hint_id: HINT_MULMOD256,
        params: (a: 32, b: 32, m: 32),
        is_result: false,
        enabled: ARITH256MOD_RESULTS,
    }
}

define_hint! {
    reduce_mod256 => {
        hint_id: HINT_REDUCE_MOD256,
        params: (a: 32, m: 32),
        is_result: false,
        enabled: ARITH256MOD_RESULTS,
    }
}

define_hint! {
    add_mod256 => {
        hint_id: HINT_ADD_MOD256,
        params: (a: 32, b: 32, m: 32),
        is_result: false,
        enabled: ARITH256MOD_RESULTS,
    }
}

define_hint! {
    square_mod256 => {
        hint_id: HINT_SQUARE_MOD256,
        params: (a: 32, m: 32),
        is_result: false,
        enabled: ARITH256MOD_RESULTS,
    }
}

define_hint! {
    pow_mod256 => {
        hint_id: HINT_POW_MOD256,
        params: (base: 32, exp: 32, m: 32),
        is_result: false,
        enabled: ARITH256MOD_RESULTS,
    }
}

define_hint! {
    inv_mod256 => {
        hint_id: HINT_INV_MOD256,
        params: (a: 32, m: 32),
        is_result: false,
        enabled: ARITH256MOD_RESULTS,
    }
}