miden-ntx-builder 0.17.2

Miden network transaction builder
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

use std::time::Duration;

use miden_node_proto::clients::{Builder, RemoteProverClient};
use miden_node_proto::errors::ConversionError;
use miden_node_proto::generated::miden::remote_prover::v1::prove_request::Request;
use miden_node_proto::generated::miden::remote_prover::v1::{DecodedProveResponse, ProveRequest};
use miden_node_proto::{BuildUnchecked, DecodeMessage};
use miden_protocol::transaction::{ProvenTransaction, TransactionInputs};
use miden_tx::TransactionProverError;
use url::Url;

/// Thin wrapper around the remote-prover gRPC service that proves transactions.
///
/// The connection is lazy: the underlying channel connects on first use and is shared (cheaply
/// cloned) across all subsequent calls.
#[derive(Clone)]
pub struct RemoteTransactionProver {
    client: RemoteProverClient,
}

impl RemoteTransactionProver {
    /// Creates a new [`RemoteTransactionProver`] with a lazy connection to the given gRPC endpoint.
    pub fn new(url: Url, timeout: Duration) -> anyhow::Result<Self> {
        let client = Builder::new(url)
            .with_tls()?
            .with_timeout(timeout)
            .without_metadata_version()
            .without_metadata_genesis()
            .without_auth_header()
            .with_otel_context_injection()
            .connect_lazy::<RemoteProverClient>();

        Ok(Self { client })
    }

    pub async fn prove(
        &self,
        tx_inputs: &TransactionInputs,
    ) -> Result<ProvenTransaction, TransactionProverError> {
        let request = tonic::Request::new(ProveRequest {
            request: Some(Request::Transaction(tx_inputs.into())),
        });

        let response = self.client.clone().prove(request).await.map_err(|err| {
            TransactionProverError::other_with_source("failed to prove transaction", err)
        })?;

        response
            .into_inner()
            .decode_fields()
            .and_then(DecodedProveResponse::into_transaction)
            // SAFETY: Construction checks transaction structure. The RPC checks the proof at
            // submission.
            //
            // FIXME: Verify the proof locally and match the response to the requested
            // execution, including its reference block and expiration, before returning success.
            .and_then(|transaction| transaction.build_unchecked().map_err(ConversionError::new))
            .map_err(|error| {
                TransactionProverError::other_with_source(
                    "invalid remote transaction proof response",
                    error,
                )
            })
    }
}