taproot-assets-zk-core 0.0.2

Core traits, types, and logic for Taproot Assets zero-knowledge proofs
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

//! Receipt composition helpers for join proofs.

use alloc::vec::Vec;
use risc0_zkvm::ReceiptClaim;
use serde::{Deserialize, Serialize};
use taproot_assets_types::asset::SerializedKey;

/// Receipt claim input used by join proofs.
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct ReceiptClaimInput {
    /// Receipt claim for the guest execution.
    pub claim: ReceiptClaim,
}

/// Input payload for joining the proof claims.
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct JoinInput {
    /// Receipt claim for the anchor claim prover.
    pub anchor: ReceiptClaimInput,
    /// Receipt claim for the asset integrity claim prover.
    pub asset: ReceiptClaimInput,
    /// Receipt claims for taproot inclusion/exclusion proofs.
    pub taproot_claims: Vec<ReceiptClaimInput>,
    /// Receipt claims for STXO proofs (matching taproot claims).
    pub stxo_claims: Vec<ReceiptClaimInput>,
    /// Optional receipt claim for a split-root proof.
    pub split_root: Option<ReceiptClaimInput>,
}

/// Output payload for the join proof.
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct JoinOutput {
    /// The transaction ID of the anchor transaction.
    pub anchor_txid: [u8; 32],
    /// The hash of the block header.
    pub block_hash: [u8; 32],
    /// The block height.
    pub block_height: u32,
    /// The taproot output key (verified consistent across claims).
    pub taproot_output_key: [u8; 32],
    /// The tap commitment root hash.
    pub tap_commitment_root: [u8; 32],
    /// The tap commitment root sum.
    pub tap_commitment_sum: u64,
    /// The asset ID.
    pub asset_id: [u8; 32],
    /// The group key, if present.
    pub group_key: Option<SerializedKey>,
    /// The meta hash, if present.
    pub meta_hash: Option<[u8; 32]>,
    /// The proof version committed by the asset claim.
    pub proof_version: u32,
}