xrpl::ConfidentialMPTConvertBack Class Reference

Converts confidential (encrypted) MPT balance back to public (plaintext) balance. More...

#include <ConfidentialMPTConvertBack.h>

Inheritance diagram for xrpl::ConfidentialMPTConvertBack:

Collaboration diagram for xrpl::ConfidentialMPTConvertBack:

Public Types
enum class	ConsequencesFactoryType { Normal , Blocker , Custom }

Public Member Functions
	ConfidentialMPTConvertBack (ApplyContext &ctx)
TER	doApply () override
void	visitInvariantEntry (bool isDelete, std::shared_ptr< SLE const > const &before, std::shared_ptr< SLE const > const &after) override
bool	finalizeInvariants (STTx const &tx, TER result, XRPAmount fee, ReadView const &view, beast::Journal const &j) override
	Check transaction-specific post-conditions after all entries have been visited.
ApplyResult	operator() ()
	Process the transaction.
ApplyView &	view ()
ApplyView const &	view () const
TER	checkInvariants (TER result, XRPAmount fee)
	Check all invariants for the current transaction.

Static Public Member Functions
static NotTEC	preflight (PreflightContext const &ctx)
static XRPAmount	calculateBaseFee (ReadView const &view, STTx const &tx)
static TER	preclaim (PreclaimContext const &ctx)
static NotTEC	checkSeqProxy (ReadView const &view, STTx const &tx, beast::Journal j)
static NotTEC	checkPriorTxAndLastLedger (PreclaimContext const &ctx)
static TER	checkFee (PreclaimContext const &ctx, XRPAmount baseFee)
static NotTEC	checkSign (PreclaimContext const &ctx)
static XRPAmount	calculateBaseFee (ReadView const &view, STTx const &tx, std::uint32_t extraBaseFeeMultiplier)
template<class T>
static NotTEC	invokePreflight (PreflightContext const &ctx)
template<>
NotTEC	invokePreflight (PreflightContext const &ctx)
template<>
NotTEC	invokePreflight (PreflightContext const &ctx)
static NotTEC	checkGranularSemantics (ReadView const &view, STTx const &tx, std::unordered_set< GranularPermissionType > const &heldGranularPermissions)
	This function can be overridden to introduce additional semantic constraints beyond the granular template validation for granular permissions.
template<class T>
static NotTEC	invokeCheckPermission (ReadView const &view, STTx const &tx)
	Checks whether the transaction is authorized to be executed by the delegated account.
static NotTEC	checkSponsor (ReadView const &view, STTx const &tx)
static TER	ticketDelete (ApplyView &view, AccountID const &account, uint256 const &ticketIndex, beast::Journal j)

Static Public Attributes
static constexpr auto	kConsequencesFactory = ConsequencesFactoryType::Normal

Protected Member Functions
TER	apply ()
virtual void	preCompute ()
virtual void	visitInvariantEntry (bool isDelete, SLE::const_ref before, SLE::const_ref after)=0
	Inspect a single ledger entry modified by this transaction.

Static Protected Member Functions
static NotTEC	checkSign (ReadView const &view, ApplyFlags flags, std::optional< uint256 const > const &parentBatchId, AccountID const &idAccount, STObject const &sigObject, beast::Journal const j, bool permitUncreatedAccount=false)
static XRPAmount	minimumFee (ServiceRegistry &registry, XRPAmount baseFee, Fees const &fees, ApplyFlags flags)
	Compute the minimum fee required to process a transaction with a given baseFee based on the current server load.
static XRPAmount	calculateOwnerReserveFee (ReadView const &view, STTx const &tx)
static bool	checkExtraFeatures (PreflightContext const &ctx)
static std::uint32_t	getFlagsMask (PreflightContext const &ctx)
static NotTEC	preflightSigValidated (PreflightContext const &ctx)
static bool	validDataLength (std::optional< Slice > const &slice, std::size_t maxLength)
template<class T>
static bool	validNumericRange (std::optional< T > value, T max, T min=T{})
template<class T, class Unit>
static bool	validNumericRange (std::optional< T > value, unit::ValueUnit< Unit, T > max, unit::ValueUnit< Unit, T > min=unit::ValueUnit< Unit, T >{})
template<class T>
static bool	validNumericMinimum (std::optional< T > value, T min=T{})
	Minimum will usually be zero.
template<class T, class Unit>
static bool	validNumericMinimum (std::optional< T > value, unit::ValueUnit< Unit, T > min=unit::ValueUnit< Unit, T >{})
	Minimum will usually be zero.
static NotTEC	checkSingleSign (ReadView const &view, AccountID const &idSigner, AccountID const &idAccount, SLE::const_pointer sleAccount, beast::Journal const j)
static NotTEC	checkMultiSign (ReadView const &view, ApplyFlags flags, AccountID const &id, STObject const &sigObject, beast::Journal const j)

Protected Attributes
ApplyContext &	ctx_
beast::WrappedSink	sink_
beast::Journal const	j_
AccountID const	accountID_
XRPAmount	preFeeBalance_ {}

Private Member Functions
std::pair< TER, XRPAmount >	reset (XRPAmount fee)
	Reset the context, discarding any changes made and adjust the fee.
TER	consumeSeqProxy (SLE::pointer const &sleAccount)
TER	payFee ()
std::tuple< TER, XRPAmount, bool >	processPersistentChanges (TER result, XRPAmount fee)
void	trapTransaction (uint256) const
TER	checkTransactionInvariants (TER result, XRPAmount fee)
	Check transaction-specific invariants only.

Static Private Member Functions
static NotTEC	checkPermission (ReadView const &view, STTx const &tx, std::unordered_set< GranularPermissionType > &heldGranularPermissions)
static FeePayer	getFeePayer (ReadView const &view, STTx const &tx)
static NotTEC	preflight1 (PreflightContext const &ctx, std::uint32_t flagMask)
	Performs early sanity checks on the account and fee fields.
static NotTEC	preflight2 (PreflightContext const &ctx)
	Checks whether the signature appears valid.
static NotTEC	preflightUniversal (PreflightContext const &ctx)
	Universal validations.

Detailed Description

Converts confidential (encrypted) MPT balance back to public (plaintext) balance.

This transaction allows a token holder to convert their encrypted confidential balance back into a publicly visible MPToken balance. The holder must prove they have sufficient confidential balance without revealing the actual balance amount.

Cryptographic Operations:

• Revealed Amount Verification: Verifies that the provided encrypted amounts correctly encrypt the conversion amount.
• Pedersen Linkage Proof: Verifies that the provided balance commitment correctly links to the holder's encrypted spending balance.
• Bulletproof Range Proof: Verifies that the remaining balance (after conversion) is non-negative, ensuring the holder has sufficient funds.

See also

ConfidentialMPTConvert, ConfidentialMPTSend

Definition at line 35 of file tx/transactors/token/ConfidentialMPTConvertBack.h.

Member Enumeration Documentation

ConsequencesFactoryType

enum class xrpl::Transactor::ConsequencesFactoryType

stronginherited

Enumerator
Normal
Blocker
Custom

Definition at line 166 of file Transactor.h.

Constructor & Destructor Documentation

ConfidentialMPTConvertBack()

xrpl::ConfidentialMPTConvertBack::ConfidentialMPTConvertBack ( ApplyContext & ctx )

explicit

Definition at line 40 of file tx/transactors/token/ConfidentialMPTConvertBack.h.

Member Function Documentation

preflight()

NotTEC xrpl::ConfidentialMPTConvertBack::preflight ( PreflightContext const & ctx )

static

Definition at line 26 of file ConfidentialMPTConvertBack.cpp.

calculateBaseFee() [1/2]

XRPAmount xrpl::ConfidentialMPTConvertBack::calculateBaseFee ( ReadView const & view, STTx const & tx )

static

Definition at line 51 of file ConfidentialMPTConvertBack.cpp.

preclaim()

TER xrpl::ConfidentialMPTConvertBack::preclaim ( PreclaimContext const & ctx )

static

Definition at line 149 of file ConfidentialMPTConvertBack.cpp.

doApply()

TER xrpl::ConfidentialMPTConvertBack::doApply ( )

overridevirtual

Implements xrpl::Transactor.

Definition at line 234 of file ConfidentialMPTConvertBack.cpp.

visitInvariantEntry() [1/2]

void xrpl::ConfidentialMPTConvertBack::visitInvariantEntry ( bool isDelete, std::shared_ptr< SLE const > const & before, std::shared_ptr< SLE const > const & after )

override

Definition at line 333 of file ConfidentialMPTConvertBack.cpp.

finalizeInvariants()

bool xrpl::ConfidentialMPTConvertBack::finalizeInvariants ( STTx const & tx, TER result, XRPAmount fee, ReadView const & view, beast::Journal const & j )

nodiscardoverridevirtual

Check transaction-specific post-conditions after all entries have been visited.

Called once after every modified ledger entry has been passed to visitInvariantEntry. Returns true if all transaction-specific invariants hold, or false to fail the transaction with tecINVARIANT_FAILED.

Parameters

tx	the transaction being applied.
result	the tentative TER result so far.
fee	the fee consumed by the transaction.
view	read-only view of the ledger after the transaction.
j	journal for logging invariant failures.

Returns

true if all invariants pass; false otherwise.

Implements xrpl::Transactor.

Definition at line 341 of file ConfidentialMPTConvertBack.cpp.

operator()()

ApplyResult xrpl::Transactor::operator() ( )

inherited

Process the transaction.

Definition at line 1593 of file Transactor.cpp.

view() [1/2]

ApplyView & xrpl::Transactor::view ( )

inherited

Definition at line 175 of file Transactor.h.

view() [2/2]

ApplyView const & xrpl::Transactor::view ( ) const

nodiscardinherited

Definition at line 181 of file Transactor.h.

checkInvariants()

TER xrpl::Transactor::checkInvariants ( TER result, XRPAmount fee )

nodiscardinherited

Check all invariants for the current transaction.

Runs transaction-specific invariants first (visitInvariantEntry + finalizeInvariants), then protocol-level invariants. Both layers always run; the worst failure code is returned.

Parameters

result	the tentative TER from transaction processing.
fee	the fee consumed by the transaction.

Returns

the final TER after all invariant checks.

Definition at line 1576 of file Transactor.cpp.

checkSeqProxy()

NotTEC xrpl::Transactor::checkSeqProxy ( ReadView const & view, STTx const & tx, beast::Journal j )

staticinherited

Definition at line 698 of file Transactor.cpp.

checkPriorTxAndLastLedger()

NotTEC xrpl::Transactor::checkPriorTxAndLastLedger ( PreclaimContext const & ctx )

staticinherited

Definition at line 763 of file Transactor.cpp.

checkFee()

TER xrpl::Transactor::checkFee ( PreclaimContext const & ctx, XRPAmount baseFee )

staticinherited

Definition at line 516 of file Transactor.cpp.

checkSign() [1/2]

NotTEC xrpl::Transactor::checkSign ( PreclaimContext const & ctx )

staticinherited

Definition at line 1010 of file Transactor.cpp.

checkSign() [2/2]

NotTEC xrpl::Transactor::checkSign ( ReadView const & view, ApplyFlags flags, std::optional< uint256 const > const & parentBatchId, AccountID const & idAccount, STObject const & sigObject, beast::Journal const j, bool permitUncreatedAccount = false )

staticprotectedinherited

Definition at line 917 of file Transactor.cpp.

calculateBaseFee() [2/2]

XRPAmount xrpl::Transactor::calculateBaseFee ( ReadView const & view, STTx const & tx, std::uint32_t extraBaseFeeMultiplier )

staticinherited

Definition at line 476 of file Transactor.cpp.

invokePreflight() [1/3]

template<class T>

NotTEC xrpl::Transactor::invokePreflight ( PreflightContext const & ctx )

staticinherited

Definition at line 595 of file Transactor.h.

invokePreflight() [2/3]

template<>

NotTEC xrpl::Transactor::invokePreflight ( PreflightContext const & ctx )

staticinherited

invokePreflight() [3/3]

template<>

NotTEC xrpl::Transactor::invokePreflight ( PreflightContext const & ctx )

staticinherited

Definition at line 33 of file Change.cpp.

checkGranularSemantics()

NotTEC xrpl::Transactor::checkGranularSemantics ( ReadView const & view, STTx const & tx, std::unordered_set< GranularPermissionType > const & heldGranularPermissions )

staticinherited

This function can be overridden to introduce additional semantic constraints beyond the granular template validation for granular permissions.

It is called by the base invokeCheckPermission method only after the transaction has successfully passed checkGranularSandbox.

Definition at line 275 of file Transactor.h.

invokeCheckPermission()

template<class T>

NotTEC xrpl::Transactor::invokeCheckPermission ( ReadView const & view, STTx const & tx )

staticinherited

Checks whether the transaction is authorized to be executed by the delegated account.

This function enforces the strict permission check hierarchy. It is explicitly designed NOT to be overridden. Derived transactors must instead implement checkGranularSemantics to add custom validation logic for granular permissions.

The evaluation proceeds as follows:

• If transaction-level permission is granted, the function immediately returns tesSUCCESS.
• If transaction-level permission is not granted, the function checks whether the transaction matches the granular permission template defined in permissions.macro. If it does, it then calls checkGranularSemantics to perform any additional, fine-grained validation.

Definition at line 298 of file Transactor.h.

checkSponsor()

NotTEC xrpl::Transactor::checkSponsor ( ReadView const & view, STTx const & tx )

staticinherited

Definition at line 411 of file Transactor.cpp.

ticketDelete()

TER xrpl::Transactor::ticketDelete ( ApplyView & view, AccountID const & account, uint256 const & ticketIndex, beast::Journal j )

staticinherited

Definition at line 809 of file Transactor.cpp.

apply()

TER xrpl::Transactor::apply ( )

protectedinherited

Definition at line 881 of file Transactor.cpp.

preCompute()

void xrpl::Transactor::preCompute ( )

protectedvirtualinherited

Reimplemented in xrpl::Change, and xrpl::SignerListSet.

Definition at line 875 of file Transactor.cpp.

visitInvariantEntry() [2/2]

virtual void xrpl::Transactor::visitInvariantEntry ( bool isDelete, SLE::const_ref before, SLE::const_ref after )

protectedpure virtualinherited

Inspect a single ledger entry modified by this transaction.

Called once for every SLE created, modified, or deleted by the transaction, before finalizeInvariants. Implementations should accumulate whatever state they need to verify transaction-specific post-conditions.

Parameters

isDelete	true if the entry was erased from the ledger.
before	the entry's state before the transaction (nullptr for newly created entries).
after	the entry's state as supplied by the apply logic for this transaction. For deletions, this is the SLE being erased and is not guaranteed to be null; callers must use isDelete rather than after == nullptr to detect deletions.

Implemented in xrpl::AccountDelete, xrpl::AccountSet, xrpl::AMMBid, xrpl::AMMClawback, xrpl::AMMCreate, xrpl::AMMDelete, xrpl::AMMDeposit, xrpl::AMMVote, xrpl::AMMWithdraw, xrpl::Batch, xrpl::BridgeModify, xrpl::Change, xrpl::CheckCancel, xrpl::CheckCash, xrpl::CheckCreate, xrpl::Clawback, xrpl::CredentialAccept, xrpl::CredentialCreate, xrpl::CredentialDelete, xrpl::DelegateSet, xrpl::DepositPreauth, xrpl::DIDDelete, xrpl::DIDSet, xrpl::EscrowCancel, xrpl::EscrowCreate, xrpl::EscrowFinish, xrpl::LedgerStateFix, xrpl::LoanBrokerCoverClawback, xrpl::LoanBrokerCoverDeposit, xrpl::LoanBrokerCoverWithdraw, xrpl::LoanBrokerDelete, xrpl::LoanBrokerSet, xrpl::LoanDelete, xrpl::LoanManage, xrpl::LoanPay, xrpl::LoanSet, xrpl::MPTokenAuthorize, xrpl::MPTokenIssuanceCreate, xrpl::MPTokenIssuanceDestroy, xrpl::MPTokenIssuanceSet, xrpl::NFTokenAcceptOffer, xrpl::NFTokenBurn, xrpl::NFTokenCancelOffer, xrpl::NFTokenCreateOffer, xrpl::NFTokenMint, xrpl::NFTokenModify, xrpl::OfferCancel, xrpl::OfferCreate, xrpl::OracleDelete, xrpl::OracleSet, xrpl::Payment, xrpl::PaymentChannelClaim, xrpl::PaymentChannelCreate, xrpl::PaymentChannelFund, xrpl::PermissionedDomainDelete, xrpl::PermissionedDomainSet, xrpl::SetRegularKey, xrpl::SignerListSet, xrpl::SponsorshipSet, xrpl::SponsorshipTransfer, xrpl::TicketCreate, xrpl::TrustSet, xrpl::VaultClawback, xrpl::VaultCreate, xrpl::VaultDelete, xrpl::VaultDeposit, xrpl::VaultSet, xrpl::VaultWithdraw, xrpl::XChainAddAccountCreateAttestation, xrpl::XChainAddClaimAttestation, xrpl::XChainClaim, xrpl::XChainCommit, xrpl::XChainCreateAccountCommit, xrpl::XChainCreateBridge, and xrpl::XChainCreateClaimID.

minimumFee()

XRPAmount xrpl::Transactor::minimumFee ( ServiceRegistry & registry, XRPAmount baseFee, Fees const & fees, ApplyFlags flags )

staticprotectedinherited

Compute the minimum fee required to process a transaction with a given baseFee based on the current server load.

Parameters

registry	The service registry.
baseFee	The base fee of a candidate transaction

See also

xrpl::calculateBaseFee

Parameters

fees	Fee settings from the current ledger
flags	Transaction processing fees

Definition at line 506 of file Transactor.cpp.

calculateOwnerReserveFee()

XRPAmount xrpl::Transactor::calculateOwnerReserveFee ( ReadView const & view, STTx const & tx )

staticprotectedinherited

Definition at line 486 of file Transactor.cpp.

checkExtraFeatures()

bool xrpl::Transactor::checkExtraFeatures ( PreflightContext const & ctx )

staticprotectedinherited

Definition at line 558 of file Transactor.h.

getFlagsMask()

std::uint32_t xrpl::Transactor::getFlagsMask ( PreflightContext const & ctx )

staticprotectedinherited

Definition at line 369 of file Transactor.cpp.

preflightSigValidated()

NotTEC xrpl::Transactor::preflightSigValidated ( PreflightContext const & ctx )

staticprotectedinherited

Definition at line 375 of file Transactor.cpp.

validDataLength()

bool xrpl::Transactor::validDataLength ( std::optional< Slice > const & slice, std::size_t maxLength )

staticprotectedinherited

Definition at line 361 of file Transactor.cpp.

validNumericRange() [1/2]

template<class T>

bool xrpl::Transactor::validNumericRange ( std::optional< T > value, T max, T min = T{} )

staticprotectedinherited

Definition at line 624 of file Transactor.h.

validNumericRange() [2/2]

template<class T, class Unit>

bool xrpl::Transactor::validNumericRange ( std::optional< T > value, unit::ValueUnit< Unit, T > max, unit::ValueUnit< Unit, T > min = unit::ValueUnit<Unit, T>{} )

staticprotectedinherited

Definition at line 633 of file Transactor.h.

validNumericMinimum() [1/2]

template<class T>

bool xrpl::Transactor::validNumericMinimum ( std::optional< T > value, T min = T{} )

staticprotectedinherited

Minimum will usually be zero.

Definition at line 643 of file Transactor.h.

validNumericMinimum() [2/2]

template<class T, class Unit>

bool xrpl::Transactor::validNumericMinimum ( std::optional< T > value, unit::ValueUnit< Unit, T > min = unit::ValueUnit<Unit, T>{} )

staticprotectedinherited

Minimum will usually be zero.

Definition at line 652 of file Transactor.h.

checkSingleSign()

NotTEC xrpl::Transactor::checkSingleSign ( ReadView const & view, AccountID const & idSigner, AccountID const & idAccount, SLE::const_pointer sleAccount, beast::Journal const j )

staticprotectedinherited

Definition at line 1018 of file Transactor.cpp.

checkMultiSign()

NotTEC xrpl::Transactor::checkMultiSign ( ReadView const & view, ApplyFlags flags, AccountID const & id, STObject const & sigObject, beast::Journal const j )

staticprotectedinherited

Definition at line 1050 of file Transactor.cpp.

checkPermission()

NotTEC xrpl::Transactor::checkPermission ( ReadView const & view, STTx const & tx, std::unordered_set< GranularPermissionType > & heldGranularPermissions )

staticprivateinherited

Definition at line 381 of file Transactor.cpp.

reset()

std::pair< TER, XRPAmount > xrpl::Transactor::reset ( XRPAmount fee )

privateinherited

Reset the context, discarding any changes made and adjust the fee.

Parameters

fee	The transaction fee to be charged.

Returns

A pair containing the transaction result and the actual fee charged.

Definition at line 1294 of file Transactor.cpp.

getFeePayer()

FeePayer xrpl::Transactor::getFeePayer ( ReadView const & view, STTx const & tx )

staticprivateinherited

Definition at line 1380 of file Transactor.cpp.

consumeSeqProxy()

TER xrpl::Transactor::consumeSeqProxy ( SLE::pointer const & sleAccount )

privateinherited

Definition at line 791 of file Transactor.cpp.

payFee()

TER xrpl::Transactor::payFee ( )

privateinherited

Definition at line 622 of file Transactor.cpp.

processPersistentChanges()

std::tuple< TER, XRPAmount, bool > xrpl::Transactor::processPersistentChanges ( TER result, XRPAmount fee )

privateinherited

Definition at line 1430 of file Transactor.cpp.

trapTransaction()

void xrpl::Transactor::trapTransaction ( uint256 txHash ) const

privateinherited

Definition at line 1424 of file Transactor.cpp.

preflight1()

NotTEC xrpl::Transactor::preflight1 ( PreflightContext const & ctx, std::uint32_t flagMask )

staticprivateinherited

Performs early sanity checks on the account and fee fields.

(And passes flagMask to preflight0)

Do not try to call preflight1 from preflight() in derived classes. See the description of invokePreflight for details.

Definition at line 231 of file Transactor.cpp.

preflight2()

NotTEC xrpl::Transactor::preflight2 ( PreflightContext const & ctx )

staticprivateinherited

Checks whether the signature appears valid.

Do not try to call preflight2 from preflight() in derived classes. See the description of invokePreflight for details.

Definition at line 302 of file Transactor.cpp.

preflightUniversal()

NotTEC xrpl::Transactor::preflightUniversal ( PreflightContext const & ctx )

staticprivateinherited

Universal validations.

• Valid MPTAmount and XRPAmount

  Do not try to call preflightUniversal from preflight() in derived classes. See the description of invokePreflight for details.

Definition at line 342 of file Transactor.cpp.

checkTransactionInvariants()

TER xrpl::Transactor::checkTransactionInvariants ( TER result, XRPAmount fee )

nodiscardprivateinherited

Check transaction-specific invariants only.

Walks every modified ledger entry via visitInvariantEntry, then calls finalizeInvariants on the derived transactor. Returns tecINVARIANT_FAILED if any transaction invariant is violated.

Parameters

result	the tentative TER from transaction processing.
fee	the fee consumed by the transaction.

Returns

the original result if all invariants pass, or tecINVARIANT_FAILED otherwise.

Definition at line 1542 of file Transactor.cpp.

Member Data Documentation

kConsequencesFactory

auto xrpl::ConfidentialMPTConvertBack::kConsequencesFactory = ConsequencesFactoryType::Normal

staticconstexpr

Definition at line 38 of file tx/transactors/token/ConfidentialMPTConvertBack.h.

ctx_

ApplyContext& xrpl::Transactor::ctx_

protectedinherited

Definition at line 153 of file Transactor.h.

sink_

beast::WrappedSink xrpl::Transactor::sink_

protectedinherited

Definition at line 154 of file Transactor.h.

j_

beast::Journal const xrpl::Transactor::j_

protectedinherited

Definition at line 155 of file Transactor.h.

accountID_

AccountID const xrpl::Transactor::accountID_

protectedinherited

Definition at line 157 of file Transactor.h.

preFeeBalance_

XRPAmount xrpl::Transactor::preFeeBalance_ {}

protectedinherited

Definition at line 158 of file Transactor.h.