@ocap/tx-protocols 1.28.9 → 1.29.1

package/lib/protocols/rollup/create.js

@@ -1,197 +0,0 @@
-const isEmpty = require('empty-value');
-const cloneDeep = require('lodash/cloneDeep');
-const { CustomError: Error } = require('@ocap/util/lib/error');
-const { Runner, pipes } = require('@ocap/tx-pipeline');
-const { account, rollup, delegation } = require('@ocap/state');
-const { formatMessage } = require('@ocap/message');
-const { isFromPublicKey, isEthereumDid } = require('@arcblock/did');
-const { toRollupAddress } = require('@arcblock/did-util');
-
-const debug = require('debug')(`${require('../../../package.json').name}:create-rollup`);
-
-const { decodeAnySafe, getDelegationRequirements } = require('../../util');
-const EnsureTxGas = require('../../pipes/ensure-gas');
-const EnsureTxCost = require('../../pipes/ensure-cost');
-
-const runner = new Runner();
-
-runner.use(pipes.VerifyMultiSig(0));
-
-// 0. verify itx
-runner.use((context, next) => {
-  const { itx } = context;
-  context.formattedItx = formatMessage('CreateRollupTx', itx);
-
-  try {
-    rollup.create(context.formattedItx, context);
-  } catch (err) {
-    return next(new Error('INVALID_TX', err.message));
-  }
-
-  return next();
-});
-runner.use(
-  pipes.VerifyInfo([
-    {
-      error: 'INVALID_TX',
-      message: 'Sum of itx.proposerFeeShare and itx.publisherFeeShare must be less than 10000',
-      fn: ({ itx }) => itx.proposerFeeShare + itx.publisherFeeShare < 10000,
-    },
-    {
-      error: 'INVALID_TX',
-      message: 'Seed validator pk and address not match',
-      fn: ({ formattedItx }) => formattedItx.seedValidators.every(({ pk, address }) => isFromPublicKey(address, pk)),
-    },
-    {
-      error: 'INVALID_TX',
-      message: 'Seed validator must use ethereum compatible address',
-      fn: ({ formattedItx }) => formattedItx.seedValidators.every(({ address }) => isEthereumDid(address)),
-    },
-    {
-      error: 'INVALID_TX',
-      message: 'Rollup address is not valid',
-      fn: (context) => {
-        const itx = cloneDeep(context.itx);
-        itx.data = decodeAnySafe(itx.data);
-        itx.address = '';
-
-        // Save for later use
-        context.rollupData = itx.data;
-        context.seedValidators = itx.seedValidatorsList.map((x) => x.address);
-
-        return toRollupAddress(itx) === context.itx.address;
-      },
-    },
-  ])
-);
-
-// 1. ensure sender, validators, delegation
-runner.use(
-  pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })
-);
-runner.use(
-  pipes.ExtractState({
-    from: 'seedValidators',
-    to: 'validatorStates',
-    status: 'INVALID_VALIDATOR_STATE',
-    table: 'account',
-  })
-);
-runner.use(
-  pipes.VerifyAccountMigration({ signerKey: 'validatorStates', stateKey: 'senderState', addressKey: 'tx.from' })
-);
-runner.use(pipes.ExtractState({ from: 'tx.delegator', to: 'delegatorState', status: 'OK', table: 'account' }));
-runner.use(pipes.VerifyAccountMigration({ stateKey: 'delegatorState', addressKey: 'tx.delegator' }));
-runner.use(
-  pipes.VerifyDelegation({
-    type: 'signature',
-    signerKey: 'senderState',
-    delegatorKey: 'delegatorState',
-    getRequirements: getDelegationRequirements,
-  })
-);
-
-// 2. ensure token exist and match
-runner.use(pipes.ExtractState({ from: 'itx.tokenAddress', to: 'tokenState', status: 'INVALID_TOKEN', table: 'token' }));
-runner.use(
-  pipes.VerifyInfo([
-    {
-      error: 'INVALID_TOKEN',
-      message: 'Token does not have foreignToken attached',
-      fn: ({ tokenState }) => isEmpty(tokenState.foreignToken) === false,
-    },
-  ])
-);
-
-// 3. ensure only 1 rollup for a token
-runner.use(async (context, next) => {
-  const { statedb, itx } = context;
-  const exist = await statedb.rollup.existByToken(itx.tokenAddress, context);
-  if (exist) {
-    return next(new Error('DUPLICATE_ROLLUP', 'Only 1 active rollup can be created for the token'));
-  }
-
-  return next();
-});
-
-// 4. ensure rollup not exist
-runner.use(pipes.ExtractState({ from: 'itx.address', to: 'rollupState', status: 'OK', table: 'rollup' }));
-runner.use(
-  pipes.VerifyInfo([
-    {
-      error: 'DUPLICATE_ROLLUP',
-      message: 'This rollup already exist on chain',
-      fn: (context) => isEmpty(context.rollupState),
-    },
-  ])
-);
-
-// Ensure tx fee and gas
-runner.use(EnsureTxGas(() => ({ create: 1, update: 2, payment: 0 })));
-runner.use(EnsureTxCost({ attachSenderChanges: true }));
-
-// Save context snapshot before updating states
-runner.use(pipes.TakeStateSnapshot());
-
-// 5. create rollup state
-runner.use(
-  async (context, next) => {
-    const {
-      tx,
-      formattedItx,
-      rollupData,
-      statedb,
-      senderState,
-      delegatorState,
-      delegationState,
-      senderUpdates,
-      updateVaults,
-    } = context;
-
-    const issuer = delegatorState ? delegatorState.address : senderState.address;
-    const [newSenderState, rollupState, newDelegationState] = await Promise.all([
-      statedb.account.update(
-        senderState.address,
-        account.update(senderState, { nonce: tx.nonce, ...senderUpdates }, context),
-        context
-      ),
-
-      statedb.rollup.create(
-        formattedItx.address,
-        rollup.create(
-          {
-            ...formattedItx,
-            issuer,
-            validators: formattedItx.seedValidators,
-            data: rollupData,
-          },
-          context
-        ),
-        context
-      ),
-
-      // Update delegation state
-      context.isDelegationChanged
-        ? statedb.delegation.update(delegationState.address, delegation.update(delegationState, {}, context), context)
-        : delegationState,
-    ]);
-
-    await updateVaults();
-
-    // FIXME: create-rollup 的时候不能校验 stake，还是在这里创建 stake？如果在这里创建 stake，是否需要多签？
-    // FIXME: account migration 也需要测试下
-
-    context.senderState = newSenderState;
-    context.rollupState = rollupState;
-    context.delegationState = newDelegationState;
-
-    debug('create-rollup', rollupState);
-
-    next();
-  },
-  { persistError: true }
-);
-
-runner.use(pipes.VerifyStateDiff());
-
-module.exports = runner;

package/lib/protocols/rollup/join.js

@@ -1,182 +0,0 @@
-const MerkleTree = require('@ocap/merkle-tree');
-const joinUrl = require('url-join');
-const { CustomError: Error } = require('@ocap/util/lib/error');
-const { Joi, schemas, patterns } = require('@arcblock/validator');
-const { BN, toHex } = require('@ocap/util');
-const { Runner, pipes } = require('@ocap/tx-pipeline');
-const { account, rollup, stake, evidence } = require('@ocap/state');
-const { toStakeAddress } = require('@arcblock/did-util');
-const { isEthereumDid } = require('@arcblock/did');
-
-const debug = require('debug')(`${require('../../../package.json').name}:join-rollup`);
-
-const VerifySigners = require('./pipes/verify-signers');
-const VerifyEvidence = require('./pipes/verify-evidence');
-const VerifyStatus = require('./pipes/verify-status');
-const EnsureTxGas = require('../../pipes/ensure-gas');
-const EnsureTxCost = require('../../pipes/ensure-cost');
-
-const runner = new Runner();
-
-// 1. verify itx
-const schema = Joi.object({
-  rollup: Joi.DID().prefix().role('ROLE_ROLLUP').required(),
-  endpoint: Joi.string()
-    .uri({ scheme: [/https?/] })
-    .required(),
-  evidence: Joi.object({
-    hash: Joi.string().regex(patterns.txHash).required(),
-  }).required(),
-  signaturesList: schemas.multiSig.min(1).required(),
-  data: Joi.any().optional().allow(null),
-}).options({ stripUnknown: true, noDefaults: false });
-runner.use(({ itx }, next) => {
-  const { error } = schema.validate(itx);
-  return next(error ? new Error('INVALID_TX', `Invalid itx: ${error.message}`) : null);
-});
-
-// 2. verify rollup
-runner.use(pipes.ExtractState({ from: 'itx.rollup', to: 'rollupState', status: 'INVALID_ROLLUP', table: 'rollup' }));
-runner.use(VerifyStatus({ paused: false }));
-
-// 3. verify new validator
-runner.use((context, next) => {
-  const { tx, itx, rollupState } = context;
-  const validator = { pk: toHex(tx.pk), address: tx.from, endpoint: itx.endpoint };
-  if (isEthereumDid(tx.from) === false) {
-    return next(new Error('INVALID_TX', 'Invalid tx.from: only ethereum compatible address can join rollup'));
-  }
-
-  if (rollupState.validators.some((x) => x.address === validator.address)) {
-    return next(new Error('INVALID_TX', `Address ${validator.address} already exist in validators`));
-  }
-
-  // The endpoint should not contain any pathname
-  if (rollupState.validators.some((x) => joinUrl(x.endpoint, '/') === joinUrl(validator.endpoint, '/'))) {
-    return next(new Error('INVALID_TX', `Endpoint ${validator.endpoint} already exist in validators`));
-  }
-
-  context.newValidator = validator;
-  context.validatorsHash = MerkleTree.getListHash([validator.address]);
-
-  return next();
-});
-
-// 4. verify evidence signers, signatures, state
-runner.use(VerifySigners({ signersKey: 'itx.signaturesList', allowSender: false }));
-runner.use(
-  VerifyEvidence({ evidenceKey: 'validatorsHash', signaturesKey: 'itx.signaturesList', verifyMethod: 'ethVerify' })
-);
-runner.use(pipes.ExtractState({ from: 'itx.evidence.hash', to: 'evidenceState', status: 'OK', table: 'evidence' }));
-runner.use(({ evidenceState }, next) => {
-  if (evidenceState) return next(new Error('INVALID_TX', 'Join evidence already seen on this chain'));
-  return next();
-});
-
-// 5. verify tx signers and signatures
-runner.use(VerifySigners({ signersKey: 'tx.signaturesList', allowSender: false }));
-runner.use(pipes.VerifyMultiSigV2({ signersKey: 'signers' }));
-
-// 6. verify staking: get address, extract state, verify amount
-runner.use((context, next) => {
-  const { tx, itx } = context;
-  context.stakeAddress = toStakeAddress(tx.from, itx.rollup);
-  return next();
-});
-runner.use(
-  pipes.ExtractState({ from: 'stakeAddress', to: 'stakeState', status: 'INVALID_STAKE_STATE', table: 'stake' })
-);
-runner.use((context, next) => {
-  const { stakeState, rollupState } = context;
-  if (stakeState.revocable === false) {
-    return next(new Error('INVALID_STAKE_STATE', `Staking already locked: ${stakeState.address}`));
-  }
-
-  const actualStake = new BN(stakeState.tokens[rollupState.tokenAddress] || 0);
-  const requiredStake = new BN(rollupState.minStakeAmount);
-  if (actualStake.lt(requiredStake)) {
-    return next(new Error('INVALID_STAKE_STATE', `Staking does not match min stake amount: ${requiredStake}`));
-  }
-
-  return next();
-});
-
-// 7. verify sender and signer states
-runner.use(
-  pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })
-);
-runner.use(
-  pipes.ExtractState({ from: 'signers', to: 'signerStates', status: 'INVALID_SIGNER_STATE', table: 'account' })
-);
-runner.use(pipes.VerifyAccountMigration({ signerKey: 'signerStates', stateKey: 'senderState', addressKey: 'tx.from' }));
-
-// Ensure tx fee and gas
-runner.use(EnsureTxGas(() => ({ create: 1, update: 3, payment: 0 })));
-runner.use(EnsureTxCost({ attachSenderChanges: true }));
-
-// Save context snapshot before updating states
-runner.use(pipes.TakeStateSnapshot());
-
-// 8. update state
-runner.use(
-  async (context, next) => {
-    const {
-      tx,
-      itx,
-      rollupState,
-      statedb,
-      senderState,
-      stakeState,
-      newValidator,
-      stakeAddress,
-      senderUpdates,
-      updateVaults,
-    } = context;
-    const newValidators = rollupState.validators.concat([newValidator]);
-
-    const [newSenderState, newRollupState, newStakeState, evidenceState] = await Promise.all([
-      statedb.account.update(
-        senderState.address,
-        account.update(senderState, { nonce: tx.nonce, ...senderUpdates }, context),
-        context
-      ),
-
-      // persist new validators list
-      statedb.rollup.update(
-        rollupState.address,
-        rollup.update(rollupState, { validators: newValidators }, context),
-        context
-      ),
-
-      // lock the stake from the new validator for defined period
-      statedb.stake.update(
-        stakeAddress,
-        stake.update(stakeState, { revocable: false, revokeWaitingPeriod: rollupState.leaveWaitingPeriod }, context),
-        context
-      ),
-
-      // Create evidence state
-      statedb.evidence.create(
-        itx.evidence.hash,
-        evidence.create({ hash: itx.evidence.hash, data: 'rollup-join' }, context),
-        context
-      ),
-    ]);
-
-    await updateVaults();
-
-    context.senderState = newSenderState;
-    context.rollupState = newRollupState;
-    context.stakeState = newStakeState;
-    context.evidenceState = evidenceState;
-
-    debug('join-rollup', newValidators);
-
-    next();
-  },
-  { persistError: true }
-);
-
-runner.use(pipes.VerifyStateDiff());
-
-module.exports = runner;

package/lib/protocols/rollup/leave.js

@@ -1,145 +0,0 @@
-const MerkleTree = require('@ocap/merkle-tree');
-const { CustomError: Error } = require('@ocap/util/lib/error');
-const { Joi, schemas, patterns } = require('@arcblock/validator');
-const { Runner, pipes } = require('@ocap/tx-pipeline');
-const { account, rollup, stake, evidence } = require('@ocap/state');
-const { toStakeAddress } = require('@arcblock/did-util');
-
-const debug = require('debug')(`${require('../../../package.json').name}:leave-rollup`);
-
-const VerifySigners = require('./pipes/verify-signers');
-const VerifyEvidence = require('./pipes/verify-evidence');
-const VerifyStatus = require('./pipes/verify-status');
-const EnsureValidator = require('./pipes/ensure-validator');
-const EnsureTxGas = require('../../pipes/ensure-gas');
-const EnsureTxCost = require('../../pipes/ensure-cost');
-
-const runner = new Runner();
-
-// 1. verify itx
-const schema = Joi.object({
-  rollup: Joi.DID().prefix().role('ROLE_ROLLUP').required(),
-  evidence: Joi.object({
-    hash: Joi.string().regex(patterns.txHash).required(),
-  }).required(),
-  signaturesList: schemas.multiSig.min(1).required(),
-  data: Joi.any().optional().allow(null),
-}).options({ stripUnknown: true, noDefaults: false });
-runner.use(({ itx }, next) => {
-  const { error } = schema.validate(itx);
-  return next(error ? new Error('INVALID_TX', `Invalid itx: ${error.message}`) : null);
-});
-
-// 2. verify rollup
-runner.use(pipes.ExtractState({ from: 'itx.rollup', to: 'rollupState', status: 'INVALID_ROLLUP', table: 'rollup' }));
-runner.use(EnsureValidator());
-runner.use(VerifyStatus({ paused: false }));
-
-// 3. verify evidence signers, signatures, state
-runner.use((context, next) => {
-  context.validatorsHash = MerkleTree.getListHash([context.tx.from]);
-  return next();
-});
-runner.use(VerifySigners({ signersKey: 'itx.signaturesList', allowSender: false, allowShrink: true }));
-runner.use(
-  VerifyEvidence({ evidenceKey: 'validatorsHash', signaturesKey: 'itx.signaturesList', verifyMethod: 'ethVerify' })
-);
-runner.use(pipes.ExtractState({ from: 'itx.evidence.hash', to: 'evidenceState', status: 'OK', table: 'evidence' }));
-runner.use(({ evidenceState }, next) => {
-  if (evidenceState) return next(new Error('INVALID_TX', 'Leave evidence already seen on this chain'));
-  return next();
-});
-
-// 4. verify tx signers and signatures
-runner.use(VerifySigners({ signersKey: 'tx.signaturesList', allowSender: false, allowShrink: true }));
-runner.use(pipes.VerifyMultiSigV2({ signersKey: 'signers' }));
-
-// 5. verify validator
-runner.use((context, next) => {
-  const { tx, rollupState } = context;
-  if (rollupState.seedValidators.some((x) => x.address === tx.from)) {
-    return next(new Error('INVALID_TX', `Address ${tx.from} can not leave since it's seed validator`));
-  }
-
-  if (rollupState.validators.some((x) => x.address === tx.from) === false) {
-    return next(new Error('INVALID_TX', `Address ${tx.from} not exist in validator whitelist`));
-  }
-
-  return next();
-});
-
-// 6. verify staking: get address, extract state
-runner.use((context, next) => {
-  const { tx, itx } = context;
-  context.stakeAddress = toStakeAddress(tx.from, itx.rollup);
-  return next();
-});
-runner.use(
-  pipes.ExtractState({ from: 'stakeAddress', to: 'stakeState', status: 'INVALID_STAKE_STATE', table: 'stake' })
-);
-
-// 7. verify sender state
-runner.use(
-  pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })
-);
-runner.use(
-  pipes.ExtractState({ from: 'signers', to: 'signerStates', status: 'INVALID_SIGNER_STATE', table: 'account' })
-);
-runner.use(pipes.VerifyAccountMigration({ signerKey: 'signerStates', stateKey: 'senderState', addressKey: 'tx.from' }));
-
-// Ensure tx fee and gas
-runner.use(EnsureTxGas(() => ({ create: 1, update: 3, payment: 0 })));
-runner.use(EnsureTxCost({ attachSenderChanges: true }));
-
-// Save context snapshot before updating states
-runner.use(pipes.TakeStateSnapshot());
-
-// 8. update state
-runner.use(
-  async (context, next) => {
-    const { tx, itx, rollupState, statedb, senderState, stakeState, stakeAddress, senderUpdates, updateVaults } =
-      context;
-    const newValidators = rollupState.validators.filter((x) => x.address !== tx.from);
-
-    const [newSenderState, newRollupState, newStakeState, evidenceState] = await Promise.all([
-      statedb.account.update(
-        senderState.address,
-        account.update(senderState, { nonce: tx.nonce, ...senderUpdates }, context),
-        context
-      ),
-
-      // persist new validators list
-      statedb.rollup.update(
-        rollupState.address,
-        rollup.update(rollupState, { validators: newValidators }, context),
-        context
-      ),
-
-      // unlock the stake from the validator
-      statedb.stake.update(stakeAddress, stake.update(stakeState, { revocable: true }, context), context),
-
-      // Create evidence state
-      statedb.evidence.create(
-        itx.evidence.hash,
-        evidence.create({ hash: itx.evidence.hash, data: 'rollup-leave' }, context),
-        context
-      ),
-    ]);
-
-    await updateVaults();
-
-    context.senderState = newSenderState;
-    context.rollupState = newRollupState;
-    context.stakeState = newStakeState;
-    context.evidenceState = evidenceState;
-
-    debug('leave-rollup', newValidators);
-
-    next();
-  },
-  { persistError: true }
-);
-
-runner.use(pipes.VerifyStateDiff());
-
-module.exports = runner;

package/lib/protocols/rollup/migrate.js

@@ -1,85 +0,0 @@
-const { CustomError: Error } = require('@ocap/util/lib/error');
-const { Joi } = require('@arcblock/validator');
-const { Runner, pipes } = require('@ocap/tx-pipeline');
-const { account, rollup } = require('@ocap/state');
-
-const VerifySigners = require('./pipes/verify-signers');
-const VerifyStatus = require('./pipes/verify-status');
-const EnsureValidator = require('./pipes/ensure-validator');
-const EnsureTxGas = require('../../pipes/ensure-gas');
-const EnsureTxCost = require('../../pipes/ensure-cost');
-
-const runner = new Runner();
-
-// 1. verify itx
-const schema = Joi.object({
-  rollup: Joi.DID().prefix().role('ROLE_ROLLUP').required(),
-  to: Joi.DID().prefix().wallet('ethereum').required(),
-  type: Joi.string().trim().valid('vault', 'contract').required(),
-  message: Joi.string().trim().min(1).max(512).required(),
-  data: Joi.any().optional().allow(null),
-}).options({ stripUnknown: true, noDefaults: false });
-runner.use(({ itx }, next) => {
-  const { error } = schema.validate(itx);
-  return next(error ? new Error('INVALID_TX', `Invalid itx: ${error.message}`) : null);
-});
-
-// 2. verify rollup
-runner.use(pipes.ExtractState({ from: 'itx.rollup', to: 'rollupState', status: 'INVALID_ROLLUP', table: 'rollup' }));
-runner.use(EnsureValidator(true));
-runner.use(VerifyStatus({ paused: true, closed: false }));
-
-// 3. verify tx signers and signatures
-runner.use(VerifySigners({ signersKey: 'tx.signaturesList', allowSender: true }));
-runner.use(pipes.VerifyMultiSigV2({ signersKey: 'signers' }));
-
-// 4. verify sender and signer states
-runner.use(
-  pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })
-);
-runner.use(
-  pipes.ExtractState({ from: 'signers', to: 'signerStates', status: 'INVALID_SIGNER_STATE', table: 'account' })
-);
-runner.use(pipes.VerifyAccountMigration({ signerKey: 'signerStates', stateKey: 'senderState', addressKey: 'tx.from' }));
-
-// Ensure tx fee and gas
-runner.use(EnsureTxGas(() => ({ create: 0, update: 2, payment: 0 })));
-runner.use(EnsureTxCost({ attachSenderChanges: true }));
-
-// Save context snapshot before updating states
-runner.use(pipes.TakeStateSnapshot());
-
-// 5. update state
-runner.use(
-  async (context, next) => {
-    const { tx, itx, statedb, rollupState, senderState, senderUpdates, updateVaults } = context;
-    let updates = {};
-    if (itx.type === 'vault') {
-      updates = rollup.migrateVault(rollupState, itx.to, context);
-    }
-    if (itx.type === 'contract') {
-      updates = rollup.migrateContract(rollupState, itx.to, context);
-    }
-
-    const [newSenderState, newRollupState] = await Promise.all([
-      statedb.account.update(
-        senderState.address,
-        account.update(senderState, { nonce: tx.nonce, ...senderUpdates }, context),
-        context
-      ),
-      statedb.rollup.update(itx.rollup, updates, context),
-    ]);
-
-    await updateVaults();
-
-    context.senderState = newSenderState;
-    context.rollupState = newRollupState;
-
-    next();
-  },
-  { persistError: true }
-);
-
-runner.use(pipes.VerifyStateDiff());
-
-module.exports = runner;

package/lib/protocols/rollup/pause.js

@@ -1,75 +0,0 @@
-const { CustomError: Error } = require('@ocap/util/lib/error');
-const { Joi } = require('@arcblock/validator');
-const { Runner, pipes } = require('@ocap/tx-pipeline');
-const { account, rollup } = require('@ocap/state');
-
-const VerifySigners = require('./pipes/verify-signers');
-const VerifyStatus = require('./pipes/verify-status');
-const EnsureValidator = require('./pipes/ensure-validator');
-const EnsureTxGas = require('../../pipes/ensure-gas');
-const EnsureTxCost = require('../../pipes/ensure-cost');
-
-const runner = new Runner();
-
-// 1. verify itx
-const schema = Joi.object({
-  rollup: Joi.DID().prefix().role('ROLE_ROLLUP').required(),
-  data: Joi.any().optional().allow(null),
-}).options({ stripUnknown: true, noDefaults: false });
-runner.use(({ itx }, next) => {
-  const { error } = schema.validate(itx);
-  return next(error ? new Error('INVALID_TX', `Invalid itx: ${error.message}`) : null);
-});
-
-// 2. verify rollup
-runner.use(pipes.ExtractState({ from: 'itx.rollup', to: 'rollupState', status: 'INVALID_ROLLUP', table: 'rollup' }));
-runner.use(EnsureValidator(true));
-runner.use(VerifyStatus({ paused: false }));
-
-// 3. verify tx signers and signatures
-runner.use(VerifySigners({ signersKey: 'tx.signaturesList', allowSender: true }));
-runner.use(pipes.VerifyMultiSigV2({ signersKey: 'signers' }));
-
-// 4. verify sender and signer states
-runner.use(
-  pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })
-);
-runner.use(
-  pipes.ExtractState({ from: 'signers', to: 'signerStates', status: 'INVALID_SIGNER_STATE', table: 'account' })
-);
-runner.use(pipes.VerifyAccountMigration({ signerKey: 'signerStates', stateKey: 'senderState', addressKey: 'tx.from' }));
-
-// Ensure tx fee and gas
-runner.use(EnsureTxGas(() => ({ create: 0, update: 2, payment: 0 })));
-runner.use(EnsureTxCost({ attachSenderChanges: true }));
-
-// Save context snapshot before updating states
-runner.use(pipes.TakeStateSnapshot());
-
-// 5. update rollup state
-runner.use(
-  async (context, next) => {
-    const { tx, itx, rollupState, statedb, senderState, senderUpdates, updateVaults } = context;
-
-    const [newSenderState, newRollupState] = await Promise.all([
-      statedb.account.update(
-        senderState.address,
-        account.update(senderState, { nonce: tx.nonce, ...senderUpdates }, context),
-        context
-      ),
-      statedb.rollup.update(itx.rollup, rollup.pause(rollupState, context), context),
-    ]);
-
-    await updateVaults();
-
-    context.senderState = newSenderState;
-    context.rollupState = newRollupState;
-
-    next();
-  },
-  { persistError: true }
-);
-
-runner.use(pipes.VerifyStateDiff());
-
-module.exports = runner;

package/lib/protocols/rollup/pipes/ensure-validator.js

@@ -1,12 +0,0 @@
-const { CustomError: Error } = require('@ocap/util/lib/error');
-
-module.exports = (isSeed) => (context, next) => {
-  const { rollupState, tx } = context;
-
-  const validators = isSeed ? rollupState.seedValidators : rollupState.validators;
-  if (validators.some((x) => x.address === tx.from) === false) {
-    return next(new Error('INVALID_TX', 'Tx sender is not an expected validator'));
-  }
-
-  return next();
-};