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
56
57

// Copyright 2020 ChainSafe Systems
// SPDX-License-Identifier: Apache-2.0

//! Proof messages used by the protocol state proof

#![allow(missing_docs)] // Don't actually know what many of the types fields are for yet

use crate::{field_and_curve_elements::FiniteECPoint, json::*, v1::*};
use mina_serialization_types_macros::AutoFrom;
use serde::{Deserialize, Serialize};
use versioned::Versioned;

#[derive(Clone, Debug, Serialize, Deserialize, Eq, PartialEq)]
pub struct ProofMessages {
    pub l_comm: ProofMessageWithoutDegreeBoundListV1,
    pub r_comm: ProofMessageWithoutDegreeBoundListV1,
    pub o_comm: ProofMessageWithoutDegreeBoundListV1,
    pub z_comm: ProofMessageWithoutDegreeBoundListV1,
    pub t_comm: ProofMessageWithDegreeBoundV1,
}

pub type ProofMessagesV1 = Versioned<ProofMessages, 1>;

#[derive(Clone, Debug, Serialize, Deserialize, Eq, PartialEq, AutoFrom)]
#[auto_from(ProofMessages)]
pub struct ProofMessagesJson {
    pub l_comm: ProofMessageWithoutDegreeBoundListJson,
    pub r_comm: ProofMessageWithoutDegreeBoundListJson,
    pub o_comm: ProofMessageWithoutDegreeBoundListJson,
    pub z_comm: ProofMessageWithoutDegreeBoundListJson,
    pub t_comm: ProofMessageWithDegreeBoundJson,
}

#[derive(Clone, Debug, Serialize, Deserialize, Eq, PartialEq)]
pub struct ProofMessageWithoutDegreeBoundList(pub Vec<FiniteECPoint>);

pub type ProofMessageWithoutDegreeBoundListV1 =
    Versioned<Versioned<ProofMessageWithoutDegreeBoundList, 1>, 1>;

#[derive(Clone, Debug, Serialize, Deserialize, Eq, PartialEq, AutoFrom)]
#[auto_from(ProofMessageWithoutDegreeBoundList)]
pub struct ProofMessageWithoutDegreeBoundListJson(pub Vec<FiniteECPointJson>);

#[derive(Clone, Debug, Serialize, Deserialize, Eq, PartialEq)]
pub struct ProofMessageWithDegreeBound {
    pub unshifted: ECPointVecV1,
    pub shifted: ECPointV1,
}

pub type ProofMessageWithDegreeBoundV1 = Versioned<ProofMessageWithDegreeBound, 1>;

#[derive(Clone, Debug, Serialize, Deserialize, Eq, PartialEq, AutoFrom)]
#[auto_from(ProofMessageWithDegreeBound)]
pub struct ProofMessageWithDegreeBoundJson {
    pub unshifted: ECPointVecJson,
    pub shifted: ECPointJson,
}