ziskos-hints 1.1.0-alpha

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

use cfg_if::cfg_if;

cfg_if! {
    if #[cfg(zisk_guest)] {
        use core::arch::asm;
        use crate::{ziskos_fcall, ziskos_fcall_get, ziskos_fcall_param};
        use super::FCALL_INPUT_READY_ID;
    }
}

/// Signals the host that the guest is ready to consume input at `address`.
///
/// Note that this is a *free-input call*, meaning the ZisK VM does not automatically verify the correctness
/// of the result. It is the caller's responsibility to ensure it.
#[allow(unused_variables)]
pub fn fcall_input_ready(address: &u64) {
    #[cfg(not(zisk_guest))]
    {
        // TODO: wait for input to be ready at the given address, then check the input length vs. address and return an error if the input is not long enough. For now, we just return immediately.
        unimplemented!("fcall_input_ready is not implemented for non-zisk targets");
    }
    #[cfg(zisk_guest)]
    {
        ziskos_fcall_param!(*address, 1); // Number of inputs
        ziskos_fcall!(FCALL_INPUT_READY_ID);
    }
}