SenditBank

El modelo

• Cuentas. Una cuenta es una dirección de billetera (o cualquier contrato que actúe como su propia cuenta). Los saldos son balanceOf[account][asset], nunca indexados por una clave.
• Activos. pUSD, ETH como address(0), y los tokens de un launcher que el operador haya añadido (isAsset). Cualquier otro token se rechaza. totalHeld[asset] es la suma exacta de todos los saldos y nunca supera lo que tiene el banco.
• Claves. Direcciones que una cuenta registró con una prueba firmada por la propia clave. Una clave gasta el saldo de la cuenta en los venues, envía, retira a la billetera de la propia cuenta, recarga su propio gas y revoca. No puede registrar claves, cambiar los límites ni hacer withdrawTo hacia otra dirección.
• Venues. Los contratos autorizados a debitar cuentas: el motor, el libro de órdenes, la bóveda, la fábrica de copias, el router spot y el cambio de pUSD. Cada uno llama a bank.pull(msg.sender, asset, amount) con su propio llamante, así que un venue no puede elegir de quién es el dinero que toma. Cada pago vuelve con bank.push(account, ...), nunca al firmante.

No hay receive(), ni barrido, ni edición de saldos, ni actualización, ni comisión. El ETH solo entra por deposit y push.

Cuentas y accountOf

accountOf(sender) es la cuenta en nombre de la cual actúa un remitente: el propietario mientras sender sea una clave registrada bajo el keyEpoch actual de la cuenta y el globalEpoch actual, y el propio sender en caso contrario. Así, una billetera se resuelve a sí misma y todos los venues funcionan también con firma de billetera. Las posiciones, las participaciones de la bóveda, las cuentas de copia y todos los eventos nombran la cuenta, nunca la clave.

Una clave está caducada cuando accountOf(keyOf(account)) != account. Aquí no hay playerOf: ese es el nombre que da el banco del arcade a la misma idea.

La prueba de clave

La clave consiente en servir a la cuenta firmando un digest:

keyDigest(account, key) = keccak256(abi.encode(
  "SENDIT/key-proof/v1", block.chainid, address(bank), account, key,
  keyEpoch[account], globalEpoch))

La prueba es la firma EIP-191 de la clave sobre esos 32 bytes ("\x19Ethereum Signed Message:\n32" || digest): 65 bytes, s baja, v 27 o 28 (se aceptan 0 y 1). Después la billetera la envía con setKey(key, proof) o dentro de deposit(pusdAmount, gasToKey, key, proof), que además puede financiar el gas de la clave en la misma transacción.

import { encodeAbiParameters, parseAbiParameters, keccak256 } from "viem";
import { generatePrivateKey, privateKeyToAccount } from "viem/accounts";

const key = privateKeyToAccount(generatePrivateKey()); // keep the private key safe

// ADD a key under the epochs in force: the bank computes the digest for you.
const digest = await client.readContract({
  address: bank, abi: bankAbi, functionName: "keyDigest", args: [account, key.address],
});
const proof = await key.signMessage({ message: { raw: digest } }); // EIP-191, 32 bytes

// REPLACE every key of the account: the same digest under keyEpoch + 1.
const [epoch, global] = await Promise.all([
  client.readContract({ address: bank, abi: bankAbi, functionName: "keyEpoch", args: [account] }),
  client.readContract({ address: bank, abi: bankAbi, functionName: "globalEpoch" }),
]);
const nextDigest = keccak256(encodeAbiParameters(
  parseAbiParameters("string, uint256, address, address, address, uint64, uint64"),
  ["SENDIT/key-proof/v1", 78270n, bank, account, key.address, epoch + 1n, global],
));
const replaceProof = await key.signMessage({ message: { raw: nextDigest } });

Épocas: añadir o sustituir

Una prueba se comprueba contra uno de dos pares de épocas, y cuál de ellos decide lo que ocurre:

• Épocas actuales: AÑADIR. La clave se suma a las claves vigentes de la cuenta; todas las demás siguen vigentes (una clave por dispositivo).
• keyEpoch + 1: SUSTITUIR. El banco revoca primero (la época avanza, todas las claves terminan, KeyRevoked) y luego registra la clave bajo la nueva época.

revokeKey() termina todas las claves de la cuenta; rotateKey(newKey, proof) revoca y registra en una sola transacción, con una prueba bajo la nueva época. invalidateAllKeys() mueve globalEpoch y termina todas las claves del banco. keyOf(account) es solo la última clave registrada, la que recibe el gas del depósito.

Límites

Las salidas de pUSD y ETH de una clave hacia terceros (send, refuel y los pulls de un venue con límite, que hoy es el router spot) cuentan contra unos límites diarios por cuenta, sobre una ventana fija de 24 horas que empieza con la primera salida contabilizada. Los perps, la bóveda y la copia no tienen límite, los tokens lanzados tampoco, y las llamadas firmadas por la billetera nunca se contabilizan. Los valores por defecto del contrato son 10.000 pUSD y 5 ETH al día; el despliegue de la testnet los desactivó (UNCAPPED, lea defaultCaps()). Una cuenta fija los suyos con setKeyCaps desde su billetera: 0 significa el valor por defecto.

Pausa

setPaused(true) detiene pull y move de los venues, y send y refuel firmados por una clave. Nunca detiene withdraw, withdrawTo, push (así que las posiciones se siguen cerrando y los pagos llegan), los depósitos, el registro y la revocación de claves, ni el send propio de una billetera o de un contrato (una cuenta de copia paga a su copiador mediante send). El cambio de pUSD respeta la pausa del banco en sus dos puertas.

Venues y el plazo de 24 horas

Un venue puede debitar cualquier cuenta a través del remitente que transmite, así que los venues son la raíz de confianza del banco. Añadir uno es proposeVenue y después activateVenue pasado VENUE_DELAY (24 horas): un evento VenueProposed da a cada cuenta un día para retirar antes. listVenueNow se salta la espera solo antes del primerísimo crédito del banco. removeVenue es inmediato, y un venue retirado todavía puede hacer push.

Funciones y eventos