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
60
61
62
63

//! Free-input call (fcall) wrappers.
//!
//! Fcalls provide *unverified hints* from the host to the guest. Unlike syscalls, the VM does
//! not automatically prove correctness—callers must verify the result (e.g. check `a * inv ≡ 1`).
//!
//! On zkVM targets each fcall issues a CSR read; on native targets it delegates to
//! [`fcalls_impl`](super::fcalls_impl).

// fcall 0x860 - 0x8DF (128 fcalls)

pub const FCALL_SECP256K1_FP_INV_ID: u16 = 1;
pub const FCALL_SECP256K1_FN_INV_ID: u16 = 2;
pub const FCALL_SECP256K1_FP_SQRT_ID: u16 = 3;
pub const FCALL_SECP256K1_GLV_DECOMPOSE_ID: u16 = 4;
pub const FCALL_SECP256R1_FN_INV_ID: u16 = 5;
pub const FCALL_BN254_FP_INV_ID: u16 = 6;
pub const FCALL_BN254_FP2_INV_ID: u16 = 7;
pub const FCALL_BN254_TWIST_ADD_LINE_COEFFS_ID: u16 = 8;
pub const FCALL_BN254_TWIST_DBL_LINE_COEFFS_ID: u16 = 9;
pub const FCALL_BLS12_381_FP_INV_ID: u16 = 10;
pub const FCALL_BLS12_381_FP_SQRT_ID: u16 = 11;
pub const FCALL_BLS12_381_FP2_INV_ID: u16 = 12;
pub const FCALL_BLS12_381_FP2_SQRT_ID: u16 = 13;
pub const FCALL_BLS12_381_TWIST_ADD_LINE_COEFFS_ID: u16 = 14;
pub const FCALL_BLS12_381_TWIST_DBL_LINE_COEFFS_ID: u16 = 15;
pub const FCALL_BIN_DECOMP_ID: u16 = 16;
pub const FCALL_MSB_POS_256_ID: u16 = 17;
pub const FCALL_MSB_POS_384_ID: u16 = 18;
pub const FCALL_UINT256_DIV_ID: u16 = 19;
pub const FCALL_UINT256_INV_ID: u16 = 20;
pub const FCALL_UINT256_INV_MOD_ID: u16 = 21;
pub const FCALL_BIGINT_DIV_ID: u16 = 22;
pub const FCALL_INPUT_READY_ID: u16 = 23;
pub const FCALL_SET_KECCAKF_CACHE_INDEX_ID: u16 = 24;
pub const FCALL_GET_KECCAKF_CACHE_INDEX_ID: u16 = 25;

/// Returned by [`fcall_get_keccakf_cache_index`] when the executor has not cached the state.
/// Reserved: it cannot be used as a cache index.
pub const KECCAKF_CACHE_INDEX_NOT_FOUND: u64 = u64::MAX;

mod bigint_div;
mod bin_decomp;
mod bls12_381;
mod bn254;
mod input;
mod keccakf_cache;
mod msb_pos_256;
mod msb_pos_384;
mod secp256k1;
mod secp256r1;
mod uint256;

pub use bigint_div::*;
pub use bin_decomp::*;
pub use bls12_381::*;
pub use bn254::*;
pub use input::*;
pub use keccakf_cache::*;
pub use msb_pos_256::*;
pub use msb_pos_384::*;
pub use secp256k1::*;
pub use secp256r1::*;
pub use uint256::*;