zisk-sdk 1.1.0-alpha

High-level client SDK for proving and verifying programs on 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

use crate::input_stream::ZiskStream;
use crate::stdin::ZiskStdin;

/// Describes the source of input data for a ZisK job.
///
/// `Stdin` carries a fully-buffered [`ZiskStdin`] (memory / file).
/// `Stream` carries a [`ZiskStream`] backed by a live transport
/// (QUIC, Unix socket, gRPC) that supports write-after-run.
pub enum InputSource {
    /// Buffered input, either from memory or a file.
    Stdin(ZiskStdin),
    /// Streamed input.
    Stream(ZiskStream),
}

impl From<ZiskStdin> for InputSource {
    fn from(s: ZiskStdin) -> Self {
        InputSource::Stdin(s)
    }
}

impl From<&ZiskStdin> for InputSource {
    fn from(s: &ZiskStdin) -> Self {
        InputSource::Stdin(s.clone())
    }
}

impl From<ZiskStream> for InputSource {
    fn from(s: ZiskStream) -> Self {
        InputSource::Stream(s)
    }
}

impl From<&ZiskStream> for InputSource {
    fn from(s: &ZiskStream) -> Self {
        InputSource::Stream(s.clone())
    }
}