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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
use crate::commitment_scheme::Commitment;
use dusk_bytes::{DeserializableSlice, Serializable};
#[cfg(feature = "rkyv-impl")]
use bytecheck::CheckBytes;
#[cfg(feature = "rkyv-impl")]
use rkyv::{
ser::{ScratchSpace, Serializer},
Archive, Deserialize, Serialize,
};
#[derive(Debug, PartialEq, Eq, Copy, Clone)]
#[cfg_attr(
feature = "rkyv-impl",
derive(Archive, Deserialize, Serialize),
archive(bound(serialize = "__S: Serializer + ScratchSpace")),
archive_attr(derive(CheckBytes))
)]
pub(crate) struct VerifierKey {
#[cfg_attr(feature = "rkyv-impl", omit_bounds)]
pub q_m: Commitment,
#[cfg_attr(feature = "rkyv-impl", omit_bounds)]
pub q_l: Commitment,
#[cfg_attr(feature = "rkyv-impl", omit_bounds)]
pub q_r: Commitment,
#[cfg_attr(feature = "rkyv-impl", omit_bounds)]
pub q_o: Commitment,
#[cfg_attr(feature = "rkyv-impl", omit_bounds)]
pub q_4: Commitment,
#[cfg_attr(feature = "rkyv-impl", omit_bounds)]
pub q_c: Commitment,
#[cfg_attr(feature = "rkyv-impl", omit_bounds)]
pub q_arith: Commitment,
}
impl Serializable<{ 7 * Commitment::SIZE }> for VerifierKey {
type Error = dusk_bytes::Error;
#[allow(unused_must_use)]
fn to_bytes(&self) -> [u8; Self::SIZE] {
use dusk_bytes::Write;
let mut buff = [0u8; Self::SIZE];
let mut writer = &mut buff[..];
writer.write(&self.q_m.to_bytes());
writer.write(&self.q_l.to_bytes());
writer.write(&self.q_r.to_bytes());
writer.write(&self.q_o.to_bytes());
writer.write(&self.q_c.to_bytes());
writer.write(&self.q_4.to_bytes());
writer.write(&self.q_arith.to_bytes());
buff
}
fn from_bytes(buf: &[u8; Self::SIZE]) -> Result<VerifierKey, Self::Error> {
let mut buffer = &buf[..];
let q_m = Commitment::from_reader(&mut buffer)?;
let q_l = Commitment::from_reader(&mut buffer)?;
let q_r = Commitment::from_reader(&mut buffer)?;
let q_o = Commitment::from_reader(&mut buffer)?;
let q_c = Commitment::from_reader(&mut buffer)?;
let q_4 = Commitment::from_reader(&mut buffer)?;
let q_arith = Commitment::from_reader(&mut buffer)?;
Ok(VerifierKey {
q_m,
q_l,
q_r,
q_o,
q_4,
q_c,
q_arith,
})
}
}
#[cfg(feature = "alloc")]
mod alloc {
use super::*;
use crate::proof_system::linearization_poly::ProofEvaluations;
#[rustfmt::skip]
use ::alloc::vec::Vec;
use dusk_bls12_381::{BlsScalar, G1Affine};
impl VerifierKey {
pub(crate) fn compute_linearization_commitment(
&self,
scalars: &mut Vec<BlsScalar>,
points: &mut Vec<G1Affine>,
evaluations: &ProofEvaluations,
) {
let q_arith_eval = evaluations.q_arith_eval;
scalars
.push(evaluations.a_eval * evaluations.b_eval * q_arith_eval);
points.push(self.q_m.0);
scalars.push(evaluations.a_eval * q_arith_eval);
points.push(self.q_l.0);
scalars.push(evaluations.b_eval * q_arith_eval);
points.push(self.q_r.0);
scalars.push(evaluations.c_eval * q_arith_eval);
points.push(self.q_o.0);
scalars.push(evaluations.d_eval * q_arith_eval);
points.push(self.q_4.0);
scalars.push(q_arith_eval);
points.push(self.q_c.0);
}
}
}
