v1 state

assertIsRlmCurrent

isAllowedBatchInstruction

isAllowedBatchInstruction reports whether opcode may appear in a batch.

callSuccessAck

callSuccessAck builds the empty success acknowledgement a completed call writes.

safeCallOnZkgm

safeCallOnZkgm runs the receiver and reports a failure as panicked=true. revive is preferred since it also catches cross-realm aborts. The recover fallback, used only when revive is unsupported, catches ordinary panics.

safeCallOnIntentZkgm

safeCallOnIntentZkgm runs the receiver's intent callback and reports a failure as panicked=true, mirroring safeCallOnZkgm for the OnIntentZkgm path.

canRevive

canRevive reports whether revive works in the current runtime. revive panics rather than returning when the interpreter lacks support for it.

callErrAck

callErrAck encodes err as a failure acknowledgement for the call.

ChannelBalanceKeyV2

ChannelBalanceKeyV2 returns the storage key for a v2 channel balance entry.

ibcDenomPrefix

ibcDenomPrefix is the prefix of wrapped IBC voucher denoms (mirrors z.PredictWrappedToken\*). Used to detect and trim wrapped denoms.

IBC_TOKEN

GRC20_TOKEN

NATIVE_COIN

isIBCTokenDenom

getTokenType

parseCoins

parseCoins parses a comma-separated \<amount>\<denom> string into Coins.

funds

funds is the gno analog of the reference contract's threaded \`funds: &mut Coins\` (the message's attached coins). It is decremented as each token order consumes its BaseAmount during verification.

newFunds

newFunds snapshots the attached coins into a mutable spend budget.

execFatal

execFatal is a sentinel panic value. Unlike ordinary panics, values of this type are re-panicked by the recover handler so the VM can observe the failure after transaction rollback.

decodeOrderInstruction

decodeOrderInstruction decodes a v2 token order, rejecting unsupported instruction versions.

decodeCallInstruction

decodeCallInstruction decodes a call, rejecting unsupported instruction versions.

decodeBatchInstruction

decodeBatchInstruction decodes a batch, rejecting unsupported instruction versions.

decodeForwardInstruction

decodeForwardInstruction decodes a forward, rejecting unsupported instruction versions.

mustEncodeUniversalErrorAck

mustEncodeUniversalErrorAck returns the ABI-encoded failure acknowledgement \`z.Ack{Tag: TAG\_ACK\_FAILURE, InnerAck: empty}\` that zkgm-internal recv failures emit. The empty inner ack matches union's \`Ack{tag: TAG\_ACK\_FAILURE, inner\_ack: Default::default()}\`; the encoded Ack itself is non-empty, satisfying core's non-empty acknowledgement requirement.

failureResult

failureResult wraps an ack as a failed recv result.

universalErrorAck

universalErrorAck returns the cached sentinel error acknowledgement.

tokenOrderDestinationChannel

tokenOrderDestinationChannel rejects the zero-channel sentinel so the derived destChan is safe to feed into UpdateChannelPath / PopChannelFromPath without colliding with the "no channel" slot. This mirrors the TokenOrder path helper's channel-zero rejection.

isOnlyMakerAck

isOnlyMakerAck reports whether ack is the only-maker sentinel.

extractPanicMessage

extractPanicMessage renders a recovered panic value as a string.

errUnsupportedOpcode

values; build them with makeError at the call site (see above).

errUnsupportedTokenOrderVersion

values; build them with makeError at the call site (see above).

errUnsupportedCallVersion

values; build them with makeError at the call site (see above).

errUnsupportedBatchVersion

values; build them with makeError at the call site (see above).

errUnsupportedForwardVersion

values; build them with makeError at the call site (see above).

errInvalidUnescrow

values; build them with makeError at the call site (see above).

errTokenOrderFeeUnderflow

values; build them with makeError at the call site (see above).

errUnknownTokenOrderKind

values; build them with makeError at the call site (see above).

errUnknownFillType

values; build them with makeError at the call site (see above).

errUnsupportedTokenOrderKindForAck

values; build them with makeError at the call site (see above).

errUnsupportedTokenOrderKindForRefund

values; build them with makeError at the call site (see above).

errSolveNotImplemented

values; build them with makeError at the call site (see above).

errInvalidTokenOrderDestChannel

values; build them with makeError at the call site (see above).

errInvalidTokenOrderTransferAmount

values; build them with makeError at the call site (see above).

errMetadataDecimalsMismatch

values; build them with makeError at the call site (see above).

errEurekaUnsupported

values; build them with makeError at the call site (see above).

errInvalidCallSender

values; build them with makeError at the call site (see above).

errReceiverNotRegistered

values; build them with makeError at the call site (see above).

errIsOnlyMakerAck

values; build them with makeError at the call site (see above).

errInvalidForwardInstruction

values; build them with makeError at the call site (see above).

errForwardMissingPrevDest

values; build them with makeError at the call site (see above).

errForwardMissingNextSource

values; build them with makeError at the call site (see above).

errForwardPrevDestMismatch

values; build them with makeError at the call site (see above).

errForwardZeroTimeout

values; build them with makeError at the call site (see above).

errInvalidBatchInstruction

values; build them with makeError at the call site (see above).

errBatchAckCountMismatch

values; build them with makeError at the call site (see above).

errAmountOverflow

values; build them with makeError at the call site (see above).

errVoucherNotFound

values; build them with makeError at the call site (see above).

errVoucherSymbolAlreadyRegistered

values; build them with makeError at the call site (see above).

errTokenBucketAbsent

values; build them with makeError at the call site (see above).

errCoinMismatch

values; build them with makeError at the call site (see above).

errChannelBalanceUnderflow

values; build them with makeError at the call site (see above).

errChannelBalanceOverflow

values; build them with makeError at the call site (see above).

errSpoofedRealm

values; build them with makeError at the call site (see above).

makeError

forwardInFlightKey

forwardInFlightKey derives the in-flight key from the child packet's commitment hash.

buildForwardChild

buildForwardChild builds the next-hop packet, advancing the channel path and namespacing the salt.

isAllowedForwardInstruction

isAllowedForwardInstruction reports whether opcode may be forwarded.

cloneTokenBucket

ucs03ZkgmV1

ucs03ZkgmV1 is the v1 implementation of the zkgm app. It holds the injected proxy state (zkgm.IStore) and contains all the protocol logic; the proxy keeps only the stable identity, the escrow funds, and the swap point. State writes go through the store's borrow-rule setters: v.store.SetXXX(0, rlm, ...).

NewUCS03ZkgmV1

NewUCS03ZkgmV1 constructs a fresh v1 impl bound to the injected store.

enforceVersion

enforceVersion rejects channels that do not speak the zkgm protocol version.

init.70

tagAckSuccess

tagAckSuccess returns a fresh copy of the success ack tag.

tagAckFailure

fillTypeProtocol

fillTypeMarketMaker

isZeroImage

isZeroImage reports whether a metadata image is the zero value, selecting the V1 wrapped-token prediction when true.

encodeTokenOrderSuccessAck

encodeTokenOrderSuccessAck builds a success token-order ack with the given fill type.

canonicalDecimals

canonicalDecimals is the ledger precision a wrapped voucher is capped to. A source token with more decimals overflows the grc20 int64 ledger, so its amounts are downscaled to this precision on the way in, and upscaled back on the way out.

sanitizeVoucherSymbol

sanitizeVoucherSymbol derives a grc20-legal symbol (\<=MaxSymbolLen, \[A-Za-z0-9\_-]) from the candidate, falling back to a prefix of the IBC hash when empty.

scaleExpForDecimals

scaleExpForDecimals returns the origin->ledger downscale exponent for \`decimals\`: the low-order digits dropped so the ledger holds canonicalDecimals. Tokens at or below canonicalDecimals return 0. Used at creation to cap the ledger, and by the INITIALIZE pre-flight check before a voucher exists.

amountInt64

amountInt64 narrows a uint256 to int64 for the native banker/grc20 paths (no scaling). It is the scaleExp-0 case of the shared downscaler, kept as a named helper for the native call sites (funds.sub, sendNative).