-
Notifications
You must be signed in to change notification settings - Fork 7
/
snark.rs
99 lines (89 loc) · 3.35 KB
/
snark.rs
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
use std::sync::Arc;
use mina_p2p_messages::binprot::macros::{BinProtRead, BinProtWrite};
use mina_p2p_messages::v2::{
CurrencyFeeStableV1, MinaBaseFeeWithProverStableV1,
MinaStateBlockchainStateValueStableV2LedgerProofStatement, MinaStateSnarkedLedgerStateStableV2,
MinaStateSnarkedLedgerStateWithSokStableV2,
NetworkPoolSnarkPoolDiffVersionedStableV2AddSolvedWork1, NonZeroCurvePoint,
TransactionSnarkWorkStatementStableV2, TransactionSnarkWorkTStableV2,
TransactionSnarkWorkTStableV2Proofs,
};
use serde::{Deserialize, Serialize};
use super::{SnarkInfo, SnarkJobId};
#[derive(BinProtRead, BinProtWrite, Serialize, Deserialize, Debug, Clone)]
pub struct Snark {
pub snarker: NonZeroCurvePoint,
pub fee: CurrencyFeeStableV1,
pub proofs: Arc<TransactionSnarkWorkTStableV2Proofs>,
}
impl Snark {
pub fn job_id(&self) -> SnarkJobId {
(&*self.proofs).into()
}
pub fn info(&self) -> SnarkInfo {
SnarkInfo {
job_id: self.job_id(),
fee: self.fee.clone(),
prover: self.snarker.clone(),
}
}
pub fn statement(&self) -> TransactionSnarkWorkStatementStableV2 {
// TODO(binier): move conversion to mina-p2p-messages-rs
fn conv_stmt(
stmt: &MinaStateSnarkedLedgerStateWithSokStableV2,
) -> MinaStateSnarkedLedgerStateStableV2 {
let v = MinaStateBlockchainStateValueStableV2LedgerProofStatement {
source: stmt.source.clone(),
target: stmt.target.clone(),
connecting_ledger_left: stmt.connecting_ledger_left.clone(),
connecting_ledger_right: stmt.connecting_ledger_right.clone(),
supply_increase: stmt.supply_increase.clone(),
fee_excess: stmt.fee_excess.clone(),
sok_digest: (),
};
MinaStateSnarkedLedgerStateStableV2(v)
}
match &*self.proofs {
TransactionSnarkWorkTStableV2Proofs::One(p) => {
TransactionSnarkWorkStatementStableV2::One(conv_stmt(&p.0.statement))
}
TransactionSnarkWorkTStableV2Proofs::Two((p1, p2)) => {
let stmt1 = conv_stmt(&p1.0.statement);
let stmt2 = conv_stmt(&p2.0.statement);
TransactionSnarkWorkStatementStableV2::Two((stmt1, stmt2))
}
}
}
pub fn tie_breaker_hash(&self) -> [u8; 32] {
super::tie_breaker_hash(&self.job_id(), &self.snarker)
}
}
impl From<TransactionSnarkWorkTStableV2> for Snark {
fn from(value: TransactionSnarkWorkTStableV2) -> Self {
Self {
snarker: value.prover,
fee: value.fee,
proofs: value.proofs.into(),
}
}
}
impl From<NetworkPoolSnarkPoolDiffVersionedStableV2AddSolvedWork1> for Snark {
fn from(value: NetworkPoolSnarkPoolDiffVersionedStableV2AddSolvedWork1) -> Self {
Self {
snarker: value.fee.prover,
fee: value.fee.fee,
proofs: value.proof.into(),
}
}
}
impl From<&Snark> for NetworkPoolSnarkPoolDiffVersionedStableV2AddSolvedWork1 {
fn from(value: &Snark) -> Self {
Self {
proof: (*value.proofs).clone(),
fee: MinaBaseFeeWithProverStableV1 {
fee: value.fee.clone(),
prover: value.snarker.clone(),
},
}
}
}