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
58
59
60
61

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

//! types and functions related to Mina verificiation keys

use crate::protocol_state_proof::field_and_curve_elements::FiniteECPoint;

#[derive(Clone, Default, Debug, Eq, PartialEq)]
/// Public data required to verify a Mina snark
pub struct VerificationKey {
    commitments: VerificationKeyEvals,
    step_domains: Vec<Domains>,
    /// Associated data
    pub data: Data,
}

#[derive(Clone, Default, Debug, Eq, PartialEq)]
struct Domains {
    h: Domain,
    x: Domain,
}

#[derive(Clone, Debug, Eq, PartialEq)]
enum Domain {
    Pow2RootsOfUnity(usize),
}

impl Default for Domain {
    fn default() -> Self {
        Self::Pow2RootsOfUnity(0)
    }
}

/// Data associated with a verification key
#[derive(Clone, Default, Debug, Eq, PartialEq)]
pub struct Data {
    /// Number of constaints
    pub constraints: usize,
}

#[derive(Clone, Default, Debug, Eq, PartialEq)]
struct VerificationKeyEvals {
    sigma_comm_0: Vec<FiniteECPoint>,
    sigma_comm_1: Vec<FiniteECPoint>,
    sigma_comm_2: Vec<FiniteECPoint>,
    ql_comm: Vec<FiniteECPoint>,
    qr_comm: Vec<FiniteECPoint>,
    qo_comm: Vec<FiniteECPoint>,
    qm_comm: Vec<FiniteECPoint>,
    qc_comm: Vec<FiniteECPoint>,
    rcm_comm_0: Vec<FiniteECPoint>,
    rcm_comm_1: Vec<FiniteECPoint>,
    rcm_comm_2: Vec<FiniteECPoint>,
    psm_comm: Vec<FiniteECPoint>,
    add_comm: Vec<FiniteECPoint>,
    mul1_comm: Vec<FiniteECPoint>,
    mul2_comm: Vec<FiniteECPoint>,
    emul1_comm: Vec<FiniteECPoint>,
    emul2_comm: Vec<FiniteECPoint>,
    emul3_comm: Vec<FiniteECPoint>,
}