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
39
40
41
42
43
44
45
46

//! Target enums that let `upload()` and `setup()` accept either a
//! [`GuestProgram`] or a [`Recurser`].

use zisk_prover_backend::GuestProgram;

use crate::recurser::Recurser;

/// What `client.upload()` is targeting.
pub enum UploadTarget<'a> {
    /// A guest program: registers its ELF.
    Program(&'a GuestProgram),
    /// A recurser: registers its aggregation spec.
    Recurser(&'a Recurser),
}

impl<'a> From<&'a GuestProgram> for UploadTarget<'a> {
    fn from(p: &'a GuestProgram) -> Self {
        UploadTarget::Program(p)
    }
}

impl<'a> From<&'a Recurser> for UploadTarget<'a> {
    fn from(a: &'a Recurser) -> Self {
        UploadTarget::Recurser(a)
    }
}

/// What `client.setup()` is targeting.
pub enum SetupTarget<'a> {
    /// A guest program: generates its proving-key setup.
    Program(&'a GuestProgram),
    /// A recurser: generates its aggregation setup.
    Recurser(&'a Recurser),
}

impl<'a> From<&'a GuestProgram> for SetupTarget<'a> {
    fn from(p: &'a GuestProgram) -> Self {
        SetupTarget::Program(p)
    }
}

impl<'a> From<&'a Recurser> for SetupTarget<'a> {
    fn from(a: &'a Recurser) -> Self {
        SetupTarget::Recurser(a)
    }
}