miden-node-proto 0.17.0-rc.1

Miden node message definitions (Store, Block Producer and RPC)
Documentation 
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

use miden_protobuf::{BuildUnchecked, ConversionResultExt, Verify, VerifyWith};
use miden_protocol::MIN_PROOF_SECURITY_LEVEL;
use miden_protocol::batch::{ProposedBatch, ProvenBatch};
use miden_protocol::transaction::ProvenTransaction;

use crate::errors::ConversionError;
use crate::generated as proto;

/// A decoded submission. Construction does not verify the transaction proof or chain state.
#[derive(Debug)]
pub struct ProvenTransactionSubmission {
    pub transaction: ProvenTransaction,
    pub sealed_transaction_inputs: proto::submission::SealedTransactionInputs,
}

impl BuildUnchecked for proto::submission::DecodedProvenTransactionSubmission {
    type Output = ProvenTransactionSubmission;
    type Error = ConversionError;

    /// Build the submission without verifying the proof, chain state, or sealed inputs. Receiving
    /// services must verify the proof and reference block, check spent nullifiers and expiration,
    /// and resolve input-note and account dependencies. Validators must decrypt and re-execute the
    /// sealed inputs.
    fn build_unchecked(self) -> Result<Self::Output, Self::Error> {
        // SAFETY: This conversion checks structure only. The output remains unverified. Receiving
        // services are responsible for the proof, chain-state, and sealed-input checks.
        let transaction = self.transaction.build_unchecked().context("transaction")?;
        let sealed_transaction_inputs = self.sealed_transaction_inputs.into();
        Ok(ProvenTransactionSubmission { transaction, sealed_transaction_inputs })
    }
}

impl From<proto::submission::DecodedSealedTransactionInputs>
    for proto::submission::SealedTransactionInputs
{
    fn from(value: proto::submission::DecodedSealedTransactionInputs) -> Self {
        Self {
            key_id: value.key_id,
            ciphertext: value.ciphertext,
        }
    }
}

impl From<&ProvenTransactionSubmission> for proto::submission::ProvenTransactionSubmission {
    fn from(value: &ProvenTransactionSubmission) -> Self {
        Self {
            transaction: Some((&value.transaction).into()),
            sealed_transaction_inputs: Some(value.sealed_transaction_inputs.clone()),
        }
    }
}

#[derive(Debug)]
pub struct TransactionBatchSubmission {
    pub batch: ProvenBatch,
    pub proposed_batch: ProposedBatch,
    pub sealed_transaction_inputs: Vec<proto::submission::SealedTransactionInputs>,
}

impl Verify for proto::submission::DecodedTransactionBatch {
    type Verified = TransactionBatchSubmission;
    type Error = ConversionError;

    /// Verify transaction proofs at the minimum security level, proposal agreement, and the sealed
    /// input count. The caller must verify the batch execution proof and authenticate the reference
    /// chain. Receiving services must check nullifiers, expiration, and dependencies against their
    /// state. Validators must decrypt and re-execute the sealed inputs.
    fn verify(self) -> Result<Self::Verified, Self::Error> {
        let batch_reference_num = self.batch.reference_block_num.block_num;
        let proposed_reference_num = self.proposed_batch.reference_block_header.block_num.block_num;
        if batch_reference_num != proposed_reference_num {
            return Err(ConversionError::message(
                "batch reference block number does not match proposal",
            ));
        }

        let proposed_batch = self
            .proposed_batch
            .verify_with(MIN_PROOF_SECURITY_LEVEL)
            .context("proposed_batch")?;
        let batch = self.batch.verify_with(&proposed_batch).context("batch")?;

        if self.sealed_transaction_inputs.as_slice().len() != proposed_batch.transactions().len() {
            return Err(ConversionError::message(format!(
                "sealed transaction input count {} does not match proposal transaction count {}",
                self.sealed_transaction_inputs.as_slice().len(),
                proposed_batch.transactions().len()
            )));
        }

        Ok(TransactionBatchSubmission {
            batch,
            proposed_batch,
            sealed_transaction_inputs: self
                .sealed_transaction_inputs
                .into_inner()
                .into_iter()
                .map(Into::into)
                .collect(),
        })
    }
}

impl From<&TransactionBatchSubmission> for proto::submission::TransactionBatch {
    fn from(value: &TransactionBatchSubmission) -> Self {
        Self {
            batch: Some((&value.batch).into()),
            proposed_batch: Some((&value.proposed_batch).into()),
            sealed_transaction_inputs: value.sealed_transaction_inputs.clone(),
        }
    }
}