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

//! Fcall dispatch proxy.
//!
//! Routes an fcall ID to the corresponding software implementation.

use crate::zisklib::{
    FCALL_BIGINT_DIV_ID, FCALL_BIN_DECOMP_ID, FCALL_BLS12_381_FP2_INV_ID,
    FCALL_BLS12_381_FP2_SQRT_ID, FCALL_BLS12_381_FP_INV_ID, FCALL_BLS12_381_FP_SQRT_ID,
    FCALL_BLS12_381_TWIST_ADD_LINE_COEFFS_ID, FCALL_BLS12_381_TWIST_DBL_LINE_COEFFS_ID,
    FCALL_BN254_FP2_INV_ID, FCALL_BN254_FP_INV_ID, FCALL_BN254_TWIST_ADD_LINE_COEFFS_ID,
    FCALL_BN254_TWIST_DBL_LINE_COEFFS_ID, FCALL_MSB_POS_256_ID, FCALL_MSB_POS_384_ID,
    FCALL_SECP256K1_FN_INV_ID, FCALL_SECP256K1_FP_INV_ID, FCALL_SECP256K1_FP_SQRT_ID,
    FCALL_SECP256K1_GLV_DECOMPOSE_ID, FCALL_SECP256R1_FN_INV_ID, FCALL_UINT256_DIV_ID,
    FCALL_UINT256_INV_ID, FCALL_UINT256_INV_MOD_ID,
};

use super::{
    bigint_div::*, bin_decomp::*, bls12_381::*, bn254::*, msb_pos_256::*, msb_pos_384::*,
    secp256k1::*, secp256r1::*, uint256::*,
};

/// Dispatches an fcall by `id`, forwarding `params` to the matching implementation and
/// writing the result into `results`. Returns the number of result limbs written, or a
/// negative error code.
pub fn fcall_proxy(id: u64, params: &[u64], results: &mut [u64]) -> i64 {
    match id as u16 {
        FCALL_SECP256K1_FP_INV_ID => fcall_secp256k1_fp_inv(params, results),
        FCALL_SECP256K1_FN_INV_ID => fcall_secp256k1_fn_inv(params, results),
        FCALL_SECP256K1_FP_SQRT_ID => fcall_secp256k1_fp_sqrt(params, results),
        FCALL_SECP256K1_GLV_DECOMPOSE_ID => fcall_secp256k1_glv_decompose(params, results),
        FCALL_SECP256R1_FN_INV_ID => fcall_secp256r1_fn_inv(params, results),
        FCALL_BN254_FP_INV_ID => fcall_bn254_fp_inv(params, results),
        FCALL_BN254_FP2_INV_ID => fcall_bn254_fp2_inv(params, results),
        FCALL_BN254_TWIST_ADD_LINE_COEFFS_ID => fcall_bn254_twist_add_line_coeffs(params, results),
        FCALL_BN254_TWIST_DBL_LINE_COEFFS_ID => fcall_bn254_twist_dbl_line_coeffs(params, results),
        FCALL_BLS12_381_FP_INV_ID => fcall_bls12_381_fp_inv(params, results),
        FCALL_BLS12_381_FP_SQRT_ID => fcall_bls12_381_fp_sqrt(params, results),
        FCALL_BLS12_381_FP2_INV_ID => fcall_bls12_381_fp2_inv(params, results),
        FCALL_BLS12_381_FP2_SQRT_ID => fcall_bls12_381_fp2_sqrt(params, results),
        FCALL_BLS12_381_TWIST_ADD_LINE_COEFFS_ID => {
            fcall_bls12_381_twist_add_line_coeffs(params, results)
        }
        FCALL_BLS12_381_TWIST_DBL_LINE_COEFFS_ID => {
            fcall_bls12_381_twist_dbl_line_coeffs(params, results)
        }
        FCALL_BIN_DECOMP_ID => fcall_bin_decomp(params, results),
        FCALL_MSB_POS_256_ID => fcall_msb_pos_256(params, results),
        FCALL_MSB_POS_384_ID => fcall_msb_pos_384(params, results),
        FCALL_UINT256_DIV_ID => fcall_uint256_div(params, results),
        FCALL_UINT256_INV_ID => fcall_uint256_inv(params, results),
        FCALL_UINT256_INV_MOD_ID => fcall_uint256_inv_mod(params, results),
        FCALL_BIGINT_DIV_ID => fcall_bigint_div(params, results),

        _ => panic!("Unsupported fcall ID {id}"),
    }
}