ox 0.14.26 → 0.14.28

package/tempo/MultisigConfig.ts

@@ -0,0 +1,423 @@
+import * as Address from '../core/Address.js'
+import type * as Bytes from '../core/Bytes.js'
+import * as Errors from '../core/Errors.js'
+import * as Hash from '../core/Hash.js'
+import * as Hex from '../core/Hex.js'
+import type { Compute } from '../core/internal/types.js'
+
+/** Maximum number of owners allowed in a native multisig config. */
+export const maxOwners = 10
+
+/** Maximum encoded byte length for one primitive owner approval. */
+export const maxOwnerSignatureBytes = 2049
+
+/** Tempo signature type byte for native multisig signatures. */
+export const signatureTypeByte = '0x05' as const
+
+/** Zero 32-byte salt (the default when no salt is provided). */
+export const zeroSalt = `0x${'00'.repeat(32)}` as const
+
+/** Domain prefix for the native multisig account address derivation. */
+const accountDomain = 'tempo:multisig:account'
+
+/** Domain prefix for the native multisig config ID derivation. */
+const configDomain = 'tempo:multisig:config'
+
+/** Domain prefix for native multisig owner approvals. */
+const signatureDomain = 'tempo:multisig:signature'
+
+/**
+ * Native multisig configuration. Determines the permanent config ID and the
+ * stable multisig account address.
+ */
+export type Config<numberType = number> = Compute<{
+  /**
+   * Caller-chosen 32-byte salt mixed into the permanent config ID. Defaults to
+   * the zero salt (`MultisigConfig.zeroSalt`) when omitted.
+   */
+  salt?: Hex.Hex | undefined
+  /** Minimum total owner weight required to authorize a transaction. */
+  threshold: numberType
+  /** Weighted owner list (strictly ascending by `owner` address). */
+  owners: readonly Owner<numberType>[]
+}>
+
+/** Native multisig owner entry. */
+export type Owner<numberType = number> = {
+  /** Owner address (recovered from the owner's primitive signature). */
+  owner: Address.Address
+  /** Nonzero owner weight. */
+  weight: numberType
+}
+
+/** RLP tuple representation of a {@link ox#MultisigConfig.Config}. */
+export type Tuple = readonly [
+  salt: Hex.Hex,
+  threshold: Hex.Hex,
+  owners: readonly Hex.Hex[][],
+]
+
+/**
+ * Asserts that a native multisig {@link ox#MultisigConfig.Config} is valid.
+ *
+ * Mirrors the Tempo `validate_multisig_config` rules: owners non-empty and
+ * `<= maxOwners`, strictly ascending unique nonzero owner addresses, nonzero
+ * owner weights, `threshold >= 1`, total weight `<= u32::MAX`, and
+ * `threshold <= total weight`.
+ *
+ * @example
+ * ```ts twoslash
+ * import { MultisigConfig } from 'ox/tempo'
+ *
+ * MultisigConfig.assert({
+ *   threshold: 1,
+ *   owners: [
+ *     { owner: '0x1111111111111111111111111111111111111111', weight: 1 },
+ *   ],
+ * })
+ * ```
+ *
+ * @param config - The multisig config.
+ */
+export function assert<numberType = number>(config: Config<numberType>): void {
+  const { salt, threshold, owners } = config
+
+  if (typeof salt !== 'undefined' && Hex.size(salt) !== 32)
+    throw new InvalidConfigError({ reason: 'salt must be 32 bytes' })
+  if (owners.length === 0)
+    throw new InvalidConfigError({ reason: 'owners cannot be empty' })
+  if (owners.length > maxOwners)
+    throw new InvalidConfigError({ reason: 'too many owners' })
+  if (Number(threshold) < 1)
+    throw new InvalidConfigError({ reason: 'threshold cannot be zero' })
+
+  let totalWeight = 0
+  let previous: bigint | undefined
+  for (const owner of owners) {
+    if (!Address.validate(owner.owner) || Hex.toBigInt(owner.owner) === 0n)
+      throw new InvalidConfigError({ reason: 'owner cannot be zero' })
+    if (Number(owner.weight) < 1)
+      throw new InvalidConfigError({ reason: 'owner weight cannot be zero' })
+
+    const current = Hex.toBigInt(owner.owner)
+    if (typeof previous !== 'undefined' && previous >= current)
+      throw new InvalidConfigError({
+        reason: 'owners must be strictly ascending',
+      })
+    previous = current
+
+    totalWeight += Number(owner.weight)
+  }
+
+  if (totalWeight > 0xffffffff)
+    throw new InvalidConfigError({
+      reason: 'total owner weight exceeds u32 max',
+    })
+  if (Number(threshold) > totalWeight)
+    throw new InvalidConfigError({
+      reason: 'threshold exceeds total owner weight',
+    })
+}
+
+export declare namespace assert {
+  type ErrorType = InvalidConfigError | Errors.GlobalErrorType
+}
+
+/**
+ * Normalizes a native multisig {@link ox#MultisigConfig.Config}.
+ *
+ * Sorts owners into strictly ascending `owner` address order (the canonical
+ * form required for config ID derivation) and asserts the config is valid.
+ *
+ * @example
+ * ```ts twoslash
+ * import { MultisigConfig } from 'ox/tempo'
+ *
+ * const config = MultisigConfig.from({
+ *   threshold: 2,
+ *   owners: [
+ *     { owner: '0x2222222222222222222222222222222222222222', weight: 1 },
+ *     { owner: '0x1111111111111111111111111111111111111111', weight: 1 },
+ *   ],
+ * })
+ * // owners are now sorted ascending by address
+ * ```
+ *
+ * @param config - The multisig config.
+ * @returns The normalized multisig config.
+ */
+export function from<numberType = number>(
+  config: Config<numberType>,
+): Config<numberType> {
+  const owners = [...config.owners].sort((a, b) =>
+    Hex.toBigInt(a.owner) < Hex.toBigInt(b.owner) ? -1 : 1,
+  )
+  const normalized = {
+    salt: config.salt ? Hex.padLeft(config.salt, 32) : zeroSalt,
+    threshold: config.threshold,
+    owners,
+  } as Config<numberType>
+  assert(normalized)
+  return normalized
+}
+
+/**
+ * Converts an RLP {@link ox#MultisigConfig.Tuple} back to a
+ * {@link ox#MultisigConfig.Config}.
+ *
+ * @example
+ * ```ts twoslash
+ * import { MultisigConfig } from 'ox/tempo'
+ *
+ * const config = MultisigConfig.fromTuple([
+ *   `0x${'00'.repeat(32)}`,
+ *   '0x01',
+ *   [['0x1111111111111111111111111111111111111111', '0x01']],
+ * ])
+ * ```
+ *
+ * @param tuple - The RLP tuple.
+ * @returns The multisig config.
+ */
+export function fromTuple(tuple: Tuple): Config {
+  const [salt, threshold, owners] = tuple
+  return {
+    salt: salt && salt !== '0x' ? Hex.padLeft(salt, 32) : zeroSalt,
+    threshold: threshold === '0x' ? 0 : Hex.toNumber(threshold),
+    owners: owners.map((owner) => {
+      const [ownerAddress, weight] = owner as readonly Hex.Hex[]
+      return {
+        owner: ownerAddress as Address.Address,
+        weight: !weight || weight === '0x' ? 0 : Hex.toNumber(weight),
+      }
+    }),
+  }
+}
+
+/**
+ * Derives the stable native multisig account address.
+ *
+ * `keccak256("tempo:multisig:account" || config_id)[12:32]`.
+ *
+ * @example
+ * ```ts twoslash
+ * import { MultisigConfig } from 'ox/tempo'
+ *
+ * const config = MultisigConfig.from({
+ *   threshold: 1,
+ *   owners: [
+ *     { owner: '0x1111111111111111111111111111111111111111', weight: 1 },
+ *   ],
+ * })
+ *
+ * const address = MultisigConfig.getAddress({ config })
+ * ```
+ *
+ * @param value - The config or config ID to derive the address from.
+ * @returns The multisig account address.
+ */
+export function getAddress(value: getAddress.Value): Address.Address {
+  const id = 'configId' in value ? value.configId : toId(value.config)
+  const hash = Hash.keccak256(Hex.concat(Hex.fromString(accountDomain), id))
+  return Address.from(Hex.slice(hash, 12, 32))
+}
+
+export declare namespace getAddress {
+  type Value = { config: Config } | { configId: Hex.Hex }
+
+  type ErrorType =
+    | toId.ErrorType
+    | Address.from.ErrorType
+    | Hash.keccak256.ErrorType
+    | Hex.concat.ErrorType
+    | Hex.slice.ErrorType
+    | Errors.GlobalErrorType
+}
+
+/**
+ * Computes the digest a native multisig owner approves (signs).
+ *
+ * `keccak256("tempo:multisig:signature" || inner_digest || account || config_id)`,
+ * where `inner_digest` is the transaction sign payload
+ * ({@link ox#TxEnvelopeTempo.(getSignPayload:function)}).
+ *
+ * @example
+ * ```ts twoslash
+ * import { MultisigConfig, TxEnvelopeTempo } from 'ox/tempo'
+ *
+ * const config = MultisigConfig.from({
+ *   threshold: 1,
+ *   owners: [
+ *     { owner: '0x1111111111111111111111111111111111111111', weight: 1 },
+ *   ],
+ * })
+ * const configId = MultisigConfig.toId(config)
+ * const account = MultisigConfig.getAddress({ configId })
+ *
+ * const envelope = TxEnvelopeTempo.from({
+ *   chainId: 1,
+ *   calls: [],
+ * })
+ *
+ * const digest = MultisigConfig.getSignPayload({
+ *   payload: TxEnvelopeTempo.getSignPayload(envelope),
+ *   account,
+ *   configId,
+ * })
+ * ```
+ *
+ * @param value - The digest derivation parameters.
+ * @returns The owner approval digest.
+ */
+export function getSignPayload(value: getSignPayload.Value): Hex.Hex {
+  const { payload, account, configId } = value
+  return Hash.keccak256(
+    Hex.concat(
+      Hex.fromString(signatureDomain),
+      Hex.from(payload),
+      account,
+      configId,
+    ),
+  )
+}
+
+export declare namespace getSignPayload {
+  type Value = {
+    /** The inner transaction sign payload (`tx.signature_hash()`). */
+    payload: Hex.Hex | Bytes.Bytes
+    /** The native multisig account address. */
+    account: Address.Address
+    /** The permanent config ID. */
+    configId: Hex.Hex
+  }
+
+  type ErrorType =
+    | Hash.keccak256.ErrorType
+    | Hex.concat.ErrorType
+    | Hex.from.ErrorType
+    | Errors.GlobalErrorType
+}
+
+/**
+ * Derives the permanent config ID for a native multisig
+ * {@link ox#MultisigConfig.Config}.
+ *
+ * Preimage (fixed-width big-endian, **not** RLP):
+ * `keccak256("tempo:multisig:config" || salt || be_u32(threshold) || be_u32(owners.length) || (owner || be_u32(weight)) for each owner)`.
+ *
+ * @example
+ * ```ts twoslash
+ * import { MultisigConfig } from 'ox/tempo'
+ *
+ * const config = MultisigConfig.from({
+ *   threshold: 1,
+ *   owners: [
+ *     { owner: '0x1111111111111111111111111111111111111111', weight: 1 },
+ *   ],
+ * })
+ *
+ * const configId = MultisigConfig.toId(config)
+ * ```
+ *
+ * @param config - The multisig config.
+ * @returns The 32-byte config ID.
+ */
+export function toId(config: Config): Hex.Hex {
+  assert(config)
+  const id = Hash.keccak256(
+    Hex.concat(
+      Hex.fromString(configDomain),
+      Hex.padLeft(config.salt ?? zeroSalt, 32),
+      Hex.fromNumber(config.threshold, { size: 4 }),
+      Hex.fromNumber(config.owners.length, { size: 4 }),
+      ...config.owners.flatMap((owner) => [
+        owner.owner,
+        Hex.fromNumber(owner.weight, { size: 4 }),
+      ]),
+    ),
+  )
+  if (Hex.toBigInt(id) === 0n)
+    throw new InvalidConfigError({ reason: 'config ID cannot be zero' })
+  return id
+}
+
+export declare namespace toId {
+  type ErrorType =
+    | assert.ErrorType
+    | Hash.keccak256.ErrorType
+    | Hex.concat.ErrorType
+    | Hex.fromNumber.ErrorType
+    | Hex.fromString.ErrorType
+    | Errors.GlobalErrorType
+}
+
+/**
+ * Converts a {@link ox#MultisigConfig.Config} to its RLP tuple form (carried
+ * by the multisig signature `init`).
+ *
+ * Tuple shape: `[salt, threshold, [[owner, weight], ...]]`. The
+ * 32-byte `salt` encodes as a full fixed-width string; other integers use
+ * canonical RLP encoding (zero values encode as `0x`).
+ *
+ * @example
+ * ```ts twoslash
+ * import { MultisigConfig } from 'ox/tempo'
+ *
+ * const tuple = MultisigConfig.toTuple({
+ *   threshold: 1,
+ *   owners: [
+ *     { owner: '0x1111111111111111111111111111111111111111', weight: 1 },
+ *   ],
+ * })
+ * ```
+ *
+ * @param config - The multisig config.
+ * @returns The RLP tuple.
+ */
+export function toTuple(config: Config): Tuple {
+  assert(config)
+  const owners = config.owners.map(
+    (owner) => [owner.owner, Hex.fromNumber(owner.weight)] as Hex.Hex[],
+  )
+  // `salt` is a fixed 32-byte value: it RLP-encodes as a full 32-byte string
+  // (including the zero salt), never trimmed like an integer.
+  const salt = config.salt ? Hex.padLeft(config.salt, 32) : zeroSalt
+  return [salt, Hex.fromNumber(config.threshold), owners] as const
+}
+
+/**
+ * Validates a native multisig {@link ox#MultisigConfig.Config}. Returns `true`
+ * if valid, `false` otherwise.
+ *
+ * @example
+ * ```ts twoslash
+ * import { MultisigConfig } from 'ox/tempo'
+ *
+ * const valid = MultisigConfig.validate({
+ *   threshold: 1,
+ *   owners: [
+ *     { owner: '0x1111111111111111111111111111111111111111', weight: 1 },
+ *   ],
+ * })
+ * // @log: true
+ * ```
+ *
+ * @param config - The multisig config.
+ * @returns Whether the config is valid.
+ */
+export function validate(config: Config): boolean {
+  try {
+    assert(config)
+    return true
+  } catch {
+    return false
+  }
+}
+
+/** Thrown when a native multisig config is invalid. */
+export class InvalidConfigError extends Errors.BaseError {
+  override readonly name = 'MultisigConfig.InvalidConfigError'
+  constructor({ reason }: { reason: string }) {
+    super(`Invalid native multisig config: ${reason}.`)
+  }
+}

package/tempo/ReceivePolicyReceipt/package.json

@@ -0,0 +1,6 @@
+{
+  "type": "module",
+  "types": "../../_types/tempo/ReceivePolicyReceipt.d.ts",
+  "main": "../../_cjs/tempo/ReceivePolicyReceipt.js",
+  "module": "../../_esm/tempo/ReceivePolicyReceipt.js"
+}

package/tempo/ReceivePolicyReceipt.test.ts

@@ -0,0 +1,198 @@
+import { AbiEvent, AbiParameters } from 'ox'
+import { ReceivePolicyReceipt } from 'ox/tempo'
+import { describe, expect, test } from 'vitest'
+
+const token = '0x20c0000000000000000000000000000000000001'
+const originator = '0x0000000000000000000000000000000000000aaa'
+const recipient = '0x0000000000000000000000000000000000000bbb'
+const zeroAddress = '0x0000000000000000000000000000000000000000'
+const zeroHash =
+  '0x0000000000000000000000000000000000000000000000000000000000000000'
+
+const witnessParameters = [
+  {
+    type: 'tuple',
+    components: [
+      { name: 'version', type: 'uint8' },
+      { name: 'token', type: 'address' },
+      { name: 'recoveryAuthority', type: 'address' },
+      { name: 'originator', type: 'address' },
+      { name: 'recipient', type: 'address' },
+      { name: 'blockedAt', type: 'uint64' },
+      { name: 'blockedNonce', type: 'uint64' },
+      { name: 'blockedReason', type: 'uint8' },
+      { name: 'kind', type: 'uint8' },
+      { name: 'memo', type: 'bytes32' },
+    ],
+  },
+] as const
+
+function encodeWitness(
+  overrides: Partial<{
+    blockedReason: number
+    kind: number
+  }> = {},
+) {
+  return AbiParameters.encode(witnessParameters, [
+    {
+      version: 1,
+      token,
+      recoveryAuthority: zeroAddress,
+      originator,
+      recipient,
+      blockedAt: 1234n,
+      blockedNonce: 5n,
+      blockedReason: overrides.blockedReason ?? 2,
+      kind: overrides.kind ?? 0,
+      memo: zeroHash,
+    },
+  ])
+}
+
+const transferBlocked = AbiEvent.from(
+  'event TransferBlocked(address indexed token, address indexed receiver, uint64 indexed blockedNonce, uint256 amount, uint8 receiptVersion, bytes receipt)',
+)
+
+function blockedLog(witness: `0x${string}`) {
+  const { topics } = AbiEvent.encode(transferBlocked, {
+    token,
+    receiver: recipient,
+    blockedNonce: 5n,
+  })
+  const data = AbiParameters.encode(
+    [{ type: 'uint256' }, { type: 'uint8' }, { type: 'bytes' }],
+    [10_000_000n, 1, witness],
+  )
+  return { data, topics: topics as readonly `0x${string}`[] }
+}
+
+describe('decode', () => {
+  test('default', () => {
+    expect(ReceivePolicyReceipt.decode(encodeWitness())).toMatchInlineSnapshot(`
+      {
+        "blockedAt": 1234n,
+        "blockedNonce": 5n,
+        "blockedReason": "receivePolicy",
+        "kind": "transfer",
+        "memo": "0x0000000000000000000000000000000000000000000000000000000000000000",
+        "originator": "0x0000000000000000000000000000000000000aaa",
+        "recipient": "0x0000000000000000000000000000000000000bbb",
+        "recoveryAuthority": "0x0000000000000000000000000000000000000000",
+        "token": "0x20c0000000000000000000000000000000000001",
+        "version": 1,
+      }
+    `)
+  })
+
+  test('behavior: kind mint', () => {
+    expect(ReceivePolicyReceipt.decode(encodeWitness({ kind: 1 })).kind).toBe(
+      'mint',
+    )
+  })
+
+  test('behavior: blocked reason token filter', () => {
+    expect(
+      ReceivePolicyReceipt.decode(encodeWitness({ blockedReason: 1 }))
+        .blockedReason,
+    ).toBe('tokenFilter')
+  })
+})
+
+describe('encode', () => {
+  test('round-trips with decode', () => {
+    const witness = encodeWitness()
+    expect(
+      ReceivePolicyReceipt.encode(ReceivePolicyReceipt.decode(witness)),
+    ).toBe(witness)
+  })
+
+  test('behavior: maps enum strings back to indices', () => {
+    const receipt = ReceivePolicyReceipt.decode(
+      encodeWitness({ blockedReason: 1, kind: 1 }),
+    )
+    const reencoded = ReceivePolicyReceipt.encode(receipt)
+    expect(ReceivePolicyReceipt.decode(reencoded)).toEqual(receipt)
+  })
+})
+
+describe('fromLog', () => {
+  test('default', () => {
+    const witness = encodeWitness()
+    expect(ReceivePolicyReceipt.fromLog(blockedLog(witness))).toBe(witness)
+  })
+
+  test('error: non-matching log', () => {
+    expect(() =>
+      ReceivePolicyReceipt.fromLog({ data: '0x', topics: [zeroHash] }),
+    ).toThrow()
+  })
+})
+
+describe('from', () => {
+  test('passthrough encoded receipt', () => {
+    const witness = encodeWitness()
+    expect(ReceivePolicyReceipt.from(witness)).toBe(witness)
+  })
+
+  test('from decoded fields', () => {
+    const witness = encodeWitness()
+    expect(
+      ReceivePolicyReceipt.from(ReceivePolicyReceipt.decode(witness)),
+    ).toBe(witness)
+  })
+})
+
+describe('fromTransactionReceipt', () => {
+  test('single blocked transfer', () => {
+    const witness = encodeWitness()
+    const receipts = ReceivePolicyReceipt.fromTransactionReceipt({
+      logs: [blockedLog(witness)],
+    })
+    expect(receipts).toHaveLength(1)
+    expect(receipts[0]).toBe(witness)
+  })
+
+  test('multiple blocked transfers', () => {
+    const receipts = ReceivePolicyReceipt.fromTransactionReceipt({
+      logs: [
+        blockedLog(encodeWitness()),
+        blockedLog(encodeWitness({ kind: 1 })),
+      ],
+    })
+    expect(receipts).toHaveLength(2)
+    expect(ReceivePolicyReceipt.decode(receipts[0]!).kind).toBe('transfer')
+    expect(ReceivePolicyReceipt.decode(receipts[1]!).kind).toBe('mint')
+  })
+
+  test('ignores unrelated logs', () => {
+    const receipts = ReceivePolicyReceipt.fromTransactionReceipt({
+      logs: [
+        {
+          data: '0x',
+          topics: [zeroHash],
+        },
+        blockedLog(encodeWitness()),
+      ],
+    })
+    expect(receipts).toHaveLength(1)
+  })
+
+  test('behavior: no logs', () => {
+    expect(ReceivePolicyReceipt.fromTransactionReceipt({})).toEqual([])
+    expect(ReceivePolicyReceipt.fromTransactionReceipt({ logs: [] })).toEqual(
+      [],
+    )
+  })
+})
+
+test('exports', () => {
+  expect(Object.keys(ReceivePolicyReceipt)).toMatchInlineSnapshot(`
+    [
+      "decode",
+      "encode",
+      "from",
+      "fromLog",
+      "fromTransactionReceipt",
+    ]
+  `)
+})