zksync_tee_prover_interface 29.13.0-non-semver-compat

Interfaces for interaction with ZKsync TEE prover subsystem
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

//! Point of interaction of the core subsystem with the prover subsystem.
//! Defines the means of communication between the two subsystems without exposing the internal details of either.

use serde::{Deserialize, Serialize};

/// Types that define the API for interaction between prover and server subsystems.
pub mod api;
/// Inputs for proof generation provided by the core subsystem.
pub mod inputs;
/// Outputs of proof generation provided by the prover subsystem.
pub mod outputs;

// Marker trait for the serialization format of stored data.
pub trait FormatMarker: private::Sealed {}

// We don't want for some other crate to implement this trait for their own types,
// so we seal it.
mod private {
    pub trait Sealed {}
}

// Marker struct for CBOR serialization format.
#[derive(Debug, Clone, Serialize, Deserialize, PartialEq)]
pub struct CBOR;

// Marker struct for Bincode serialization format.
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct Bincode;

impl private::Sealed for CBOR {}
impl private::Sealed for Bincode {}

impl FormatMarker for CBOR {}
impl FormatMarker for Bincode {}