Transaction Details
| TX Hash | 58ef97605b7a8156a89ca19dda56bba3aac76c876eabf274fa305205aabd9775 |
| Block | 113,855 |
| Timestamp | Mon, 04 May 2026 23:49:48 GMT (5h ago) |
| Confirmations | 350 |
| Fee | 0.0246826 USDm |
| Size | N/A |
| Weight | N/A |
| Version | 9 |
Transaction Type
| Type | Bridge Unwrap |
Inputs & Outputs
| Inputs | 2 |
| Outputs | 2 |
| Privacy Proof | FCMP++ (type 11 — Full-Chain Membership Proof over entire UTXO set; decoy rings are not used) |
Outputs
| Output #0 | |
| One-Time Key (O) | db2999a491cba6079ad0589fe945daa45b5e1fae786a26a90783e52d1a15b9d8 |
| Pedersen Commitment (C) | 08a390e4e336b8dbf78d94963a048aa0313688fde7899c89a27188b4064e8393 |
| View Tag | 48 |
| Asset | ✓ USDm |
| Amount | Encrypted (Pedersen + Bulletproofs+) |
| Output #1 | |
| One-Time Key (O) | 6e1b30894850022e10355a4cea20313a70e35e9887bcc1597bb772c9af3c030a |
| Pedersen Commitment (C) | cbc926afef5f477dc4a630b63bd00e5e8663bf0b8e0062f150617dcf0e2b03b8 |
| View Tag | 5d |
| Asset | ✓ USDm |
| Amount | Encrypted (Pedersen + Bulletproofs+) |
Note: Actual amounts and sender/recipient addresses are private (FCMP++). Only the transaction structure is visible on-chain.
FCMP++ Proof Transcript
| Proof Type | FCMP++ Full-Chain Membership Proof |
| Anonymity Set | Entire Chain (all outputs ever created) |
| Inputs | 2 |
| Proof Size | 6,080 bytes |
| Curve Tree | Helios (C2) dual-curve architecture |
| Tree Layers | 4 |
| Tree Root | b75f54ee5e4428e75d7a6b7b93a8030a1fd03994c8be7096980f49b0a4138539 |
Curve Tree Structure
Layer 0 (Leaves) : Ed25519 output tuples (O, I, C) → Selene (C1) hashes Layer 1 (Interior) : Selene (C1) → Helios (C2) commitments Layer 2 (Interior) : Helios (C2) → Selene (C1) commitments Layer 4 (Root) : Helios (C2) tree root
The full output set is committed into a Helios/Selene curve tree. Each leaf encodes an output tuple (O, I, C) as Selene curve points. Interior nodes alternate between Helios and Selene curves, enabling efficient recursive proof composition.
Input 0 — Membership Proof
| Key Image (Nullifier) | 50ea2f217fc8306853283aac4ee406bef1e3eab7e25a7e7015a2bdd8b487771c |
| C̃ (Pseudo-output) | f550e27e0979969e43d8f28ec7878b2aced61e592acae827ee919bb6489e803f |
| Pseudo-out (Balance) | b2a84c85a1b1c5c5a014ce25a4bc9d539358b229295a8aa036b95671ad0ba0a6 |
Nullifier: The key image
KI = x · Hp(O) is a deterministic, unlinkable nullifier. It prevents double-spending without revealing which output is being spent.
Input 1 — Membership Proof
| Key Image (Nullifier) | 3ceb15b0697641eefd91945b94058c98b84e6b8afa14e8a28843b29e05371d0c |
| C̃ (Pseudo-output) | c36cb4db462881029d727a2b50ca3ef2bad3030779ded3b5adbe3482b47981a0 |
| Pseudo-out (Balance) | 65f8aeadfb6e905da7e2b11266b5f45da1914c206af0292b80b3a379540ac6ed |
Nullifier: The key image
KI = x · Hp(O) is a deterministic, unlinkable nullifier. It prevents double-spending without revealing which output is being spent.
Spend-Auth & Linkability (SAL) Proof
ÕRerandomized one-time key
ĨRerandomized linking tag
RRerandomization scalar
C̃Rerandomized Pedersen commitment
The SAL proof demonstrates knowledge of the secret spend key, correct key image formation, and that the balance equation holds: Σ pseudo-outs = Σ output commitments + fee.
Verification Pipeline
1Deserialize FCMP++ proof from transaction
2Extract tree root (Helios (C2)), layers, key images
3Reconstruct signable hash from tx prefix
4Verify Generalized Bulletproofs+ arithmetic circuit
5Verify Helios/Selene curve tree membership (per input)
6Verify SAL proof (spend authorization + linkability)
7Check key image uniqueness (double-spend prevention)
✓Consensus acceptance
Privacy Guarantees
Anonymity SetEntire chain
Sender PrivacyHidden among all outputs
Amount PrivacyPedersen + Bulletproofs+
Receiver PrivacyStealth addresses
Double-SpendDeterministic nullifiers
Curve CycleHelios (C2) ↔ Selene (C1)