@ocap/tx-protocols 1.13.64 → 1.13.65

package/lib/protocols/account/delegate.js

@@ -61,9 +61,9 @@ runner.use(
 );
 
 // Ensure sender/receiver exist
-runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE' }));
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'OK', table: 'account' }));
 runner.use(pipes.VerifyAccountMigration({ senderKey: 'senderState' }));
-runner.use(pipes.ExtractState({ from: 'itx.to', to: 'receiverState', status: 'INVALID_RECEIVER_STATE' }));
+runner.use(pipes.ExtractState({ from: 'itx.to', to: 'receiverState', status: 'OK', table: 'account' }));
 
 // Extract delegation
 runner.use(pipes.ExtractState({ from: 'itx.address', to: 'delegationState', table: 'delegation', status: 'OK' }));
@@ -71,7 +71,7 @@ runner.use(pipes.ExtractState({ from: 'itx.address', to: 'delegationState', tabl
 // Create delegation state
 runner.use(
   async (context, next) => {
-    const { tx, itx, ops, statedb, senderState, delegationState } = context;
+    const { tx, itx, ops, statedb, senderState, receiverState, delegationState } = context;
 
     const opsObj = ops.reduce(
       (acc, x) => {
@@ -86,8 +86,23 @@ runner.use(
       delegationState ? delegationState.ops : {}
     );
 
-    const [newSenderState, newDelegationState] = await Promise.all([
-      statedb.account.update(senderState.address, account.update(senderState, { nonce: tx.nonce }, context), context),
+    const sender = senderState ? senderState.address : tx.from;
+    const receiver = receiverState ? receiverState.address : itx.to;
+
+    const [newSenderState, newReceiverState, newDelegationState] = await Promise.all([
+      // update sender
+      statedb.account.updateOrCreate(
+        senderState,
+        account.updateOrCreate(senderState, { address: sender, nonce: tx.nonce, pk: tx.pk }, context),
+        context
+      ),
+
+      // update receiver
+      receiverState
+        ? Promise.resolve(receiverState)
+        : statedb.account.create(receiver, account.create({ address: receiver }, context), context),
+
+      // update delegation
       delegationState
         ? statedb.delegation.update(itx.address, delegation.update(delegationState, { ...itx, ops: opsObj }, context), context) // prettier-ignore
         : statedb.delegation.create(itx.address, delegation.create({ ...itx, ops: opsObj }, context), context),
@@ -97,6 +112,7 @@ runner.use(
 
     // Update context
     context.senderState = newSenderState;
+    context.receiverState = newReceiverState;
     context.delegationState = newDelegationState;
 
     return next();

package/lib/protocols/account/migrate.js

@@ -35,7 +35,7 @@ runner.use(
 );
 
 // Ensure sender exist
-runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE' }));
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })); // prettier-ignore
 runner.use(pipes.VerifyAccountMigration({ senderKey: 'senderState' }));
 
 // Create account state, and update old accounts
@@ -48,7 +48,7 @@ runner.use(
 
     // Ensure receiver does not exist
     if (receiver) {
-      return next(new Error('INVALID_SENDER_STATE', 'Can not migrate to an existing account'));
+      return next(new Error('INVALID_RECEIVER_STATE', 'Can not migrate to an existing account'));
     }
 
     // Create new account

package/lib/protocols/account/revoke-delegate.js

@@ -53,10 +53,9 @@ runner.use(
 );
 
 // Ensure sender/receiver/delegation exist
-runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE' }));
+runner.use(pipes.ExtractState({ from: 'itx.address', to: 'delegationState', status: 'INVALID_DELEGATION', table: 'delegation' })); // prettier-ignore
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })); // prettier-ignore
 runner.use(pipes.VerifyAccountMigration({ senderKey: 'senderState' }));
-runner.use(pipes.ExtractState({ from: 'itx.to', to: 'receiverState', status: 'INVALID_RECEIVER_STATE' }));
-runner.use(pipes.ExtractState({ from: 'itx.address', to: 'delegationState', status: 'INVALID_DELEGATION' }));
 
 // Update delegation state
 runner.use(

package/lib/protocols/asset/acquire-v2.js

@@ -24,7 +24,7 @@ const runner = new Runner();
 runner.use(pipes.VerifyMultiSig(0));
 runner.use(verifyAcquireParams('acquire-v2'));
 
-runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE' }));
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })); // prettier-ignore
 runner.use(pipes.VerifyAccountMigration({ senderKey: 'senderState' }));
 
 runner.use(pipes.ExtractState({ from: 'tx.delegator', to: 'delegatorState', status: 'OK' }));
@@ -43,7 +43,7 @@ runner.use(
 
 // Though tokens are verified on factory creating phase, we need them here to construct tokenSymbols
 runner.use(extractFactoryTokens);
-runner.use(pipes.ExtractState({ from: 'tokenAddress', to: 'tokenStates', status: 'INVALID_TOKEN' }));
+runner.use(pipes.ExtractState({ from: 'tokenAddress', to: 'tokenStates', status: 'INVALID_TOKEN', table: 'token' }));
 
 // Verify itx
 runner.use(verifyMintLimit);
@@ -86,6 +86,7 @@ runner.use(
     // Sender updates
     const senderUpdates = {
       nonce: tx.nonce,
+      pk: tx.pk,
       ...applyTokenUpdates(factoryTokens, senderState, 'sub'),
     };
 

package/lib/protocols/asset/acquire-v3.js

@@ -82,9 +82,9 @@ runner.use(
 );
 
 // 5. verify sender & signer & owner
-runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE' }));
-runner.use(pipes.ExtractState({ from: 'senders', to: 'signerStates', status: 'INVALID_SIGNER_STATE' }));
-runner.use(pipes.ExtractState({ from: 'itx.owner', to: 'ownerState', status: 'INVALID_RECEIVER_STATE' }));
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })); // prettier-ignore
+runner.use(pipes.ExtractState({ from: 'senders', to: 'signerStates', status: 'INVALID_SIGNER_STATE', table: 'account' })); // prettier-ignore
+runner.use(pipes.ExtractState({ from: 'itx.owner', to: 'ownerState', status: 'OK', table: 'account' }));
 runner.use(pipes.VerifyAccountMigration({ signerKey: 'signerStates', senderKey: 'senderState' }));
 
 // 6. verify token state and balance
@@ -153,6 +153,7 @@ runner.use(
     });
 
     const isAlsoSigner = !!signerUpdates[senderState.address];
+    const owner = ownerState ? ownerState.address : itx.owner;
 
     // Factory updates
     const factoryUpdates = { numMinted: factoryState.numMinted + 1 };
@@ -163,44 +164,53 @@ runner.use(
       context.tokenUpdates = applyTokenUpdates(factoryTokens, { tokens: {} }, 'add');
     }
 
-    const [newSenderState, assetState, newSignerStates, newFactoryState, newAssetStates] = await Promise.all([
-      // Update sender state
-      statedb.account.update(
-        senderState.address,
-        account.update(
-          senderState,
-          Object.assign({ nonce: tx.nonce }, signerUpdates[senderState.address] || {}),
+    const [newSenderState, newReceiverState, assetState, newSignerStates, newFactoryState, newAssetStates] =
+      await Promise.all([
+        // Update sender state
+        statedb.account.update(
+          senderState.address,
+          account.update(
+            senderState,
+            Object.assign({ nonce: tx.nonce, pk: tx.pk }, signerUpdates[senderState.address] || {}),
+            context
+          ),
           context
         ),
-        context
-      ),
-
-      // Create asset
-      statedb.asset.create(
-        itx.address,
-        asset.create({ ...mintedAsset, owner: ownerState.address, address: mintedAddress }, context),
-        context
-      ),
-
-      // Update signer state
-      Promise.all(
-        signerStates
-          .filter((x) => x.address !== senderState.address)
-          .map((x) => statedb.account.update(x.address, account.update(x, signerUpdates[x.address], context), context))
-      ),
-
-      // Update factory state
-      statedb.factory.update(factoryState.address, factory.update(factoryState, factoryUpdates, context), context),
-
-      // Mark asset as consumed
-      Promise.all(
-        assetStates.map((x) =>
-          statedb.asset.update(x.address, asset.update(x, { consumedTime: txTime }, context), context)
-        )
-      ),
-    ]);
+
+        // create receiver if not exist: asset owner
+        ownerState
+          ? Promise.resolve(ownerState)
+          : statedb.account.create(owner, account.create({ address: owner }, context), context),
+
+        // Create asset
+        statedb.asset.create(
+          itx.address,
+          asset.create({ ...mintedAsset, owner, address: mintedAddress }, context),
+          context
+        ),
+
+        // Update signer state
+        Promise.all(
+          signerStates
+            .filter((x) => x.address !== senderState.address)
+            .map((x) =>
+              statedb.account.update(x.address, account.update(x, signerUpdates[x.address], context), context)
+            )
+        ),
+
+        // Update factory state
+        statedb.factory.update(factoryState.address, factory.update(factoryState, factoryUpdates, context), context),
+
+        // Mark asset as consumed
+        Promise.all(
+          assetStates.map((x) =>
+            statedb.asset.update(x.address, asset.update(x, { consumedTime: txTime }, context), context)
+          )
+        ),
+      ]);
 
     context.senderState = newSenderState;
+    context.receiverState = newReceiverState;
     context.signerStates = isAlsoSigner ? newSignerStates.concat(newSenderState) : newSignerStates;
     context.assetState = assetState;
     context.factoryState = newFactoryState;

package/lib/protocols/asset/create.js

@@ -64,7 +64,7 @@ runner.use(
 );
 
 // Ensure sender exist
-runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE' }));
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })); // prettier-ignore
 runner.use(pipes.VerifyAccountMigration({ senderKey: 'senderState' }));
 
 // Check if parent is a factory
@@ -83,7 +83,7 @@ runner.use(
 );
 
 // Ensure parent exist
-runner.use(pipes.ExtractState({ from: 'itx.parent', to: 'parentAsset', status: 'INVALID_ASSET' }));
+runner.use(pipes.ExtractState({ from: 'itx.parent', to: 'parentAsset', status: 'INVALID_ASSET', table: 'asset' }));
 
 // Update asset state
 runner.use(
@@ -92,7 +92,11 @@ runner.use(
 
     const [newSenderState, assetState] = await Promise.all([
       // Update owner state
-      statedb.account.update(senderState.address, account.update(senderState, { nonce: tx.nonce }, context), context),
+      statedb.account.update(
+        senderState.address,
+        account.update(senderState, { nonce: tx.nonce, pk: tx.pk }, context),
+        context
+      ),
       // Create asset state
       statedb.asset.create(
         itx.address,

package/lib/protocols/asset/mint.js

@@ -17,17 +17,17 @@ runner.use(pipes.VerifyMultiSig(0));
 runner.use(verifyAcquireParams('mint'));
 
 // Ensure sender exist
-runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE' }));
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })); // prettier-ignore
 runner.use(pipes.VerifyAccountMigration({ senderKey: 'senderState' }));
 
 // Ensure factory exist
 runner.use(pipes.ExtractState({ from: 'itx.factory', to: 'factoryState', status: 'INVALID_FACTORY_STATE', table: 'factory' })); // prettier-ignore
 
 // Used to assemble issuer object
-runner.use(pipes.ExtractState({ from: 'factoryState.owner', to: 'factoryOwnerState', status: 'INVALID_OWNER' }));
+runner.use(pipes.ExtractState({ from: 'factoryState.owner', to: 'factoryOwnerState', status: 'INVALID_OWNER', table: 'account' })); // prettier-ignore
 
 // Ensure factory owner exist and equal to sender
-runner.use(pipes.ExtractState({ from: 'itx.owner', to: 'ownerState', status: 'INVALID_OWNER' }));
+runner.use(pipes.ExtractState({ from: 'itx.owner', to: 'ownerState', status: 'OK', table: 'account' }));
 runner.use(
   pipes.VerifyInfo([
     {
@@ -72,20 +72,30 @@ runner.use(
       assetStates = [],
     } = context;
 
-    // account updates
-    const senderUpdates = { nonce: tx.nonce };
+    const owner = ownerState ? ownerState.address : itx.owner;
 
-    // Factory updates
+    const senderUpdates = { nonce: tx.nonce, pk: tx.pk };
     const factoryUpdates = { numMinted: factoryState.numMinted + 1 };
 
-    const [newSenderState, assetState, newFactoryState, newAssetStates] = await Promise.all([
+    const [newSenderState, newReceiverState, assetState, newFactoryState, newAssetStates] = await Promise.all([
+      // update sender
       statedb.account.update(senderState.address, account.update(senderState, senderUpdates, context), context),
+
+      // create receiver if not exist: asset owner
+      ownerState
+        ? Promise.resolve(ownerState)
+        : statedb.account.create(owner, account.create({ address: owner }, context), context),
+
+      // create asset
       statedb.asset.create(
         itx.address,
-        asset.create({ ...mintedAsset, owner: ownerState.address, address: mintedAddress }, context),
+        asset.create({ ...mintedAsset, owner, address: mintedAddress }, context),
         context
       ),
+
+      // update factory
       statedb.factory.update(factoryState.address, factory.update(factoryState, factoryUpdates, context), context),
+
       // mark input assets as consumed
       Promise.all(
         assetStates.map((x) =>
@@ -95,6 +105,7 @@ runner.use(
     ]);
 
     context.senderState = newSenderState;
+    context.receiverState = newReceiverState;
     context.assetState = assetState;
     context.factoryState = newFactoryState;
     context.assetStates = newAssetStates;

package/lib/protocols/asset/pipes/verify-itx-address.js

@@ -10,11 +10,12 @@ module.exports = (mode) => (context, next) => {
   if (mode === 'acquire-v2') {
     owner = delegatorState || senderState;
     issuer = itx.issuer;
+    context.assetOwner = owner;
   } else if (mode === 'acquire-v3') {
-    owner = ownerState;
+    owner = ownerState || { address: itx.owner };
     issuer = itx.issuer;
   } else if (mode === 'mint') {
-    owner = ownerState;
+    owner = ownerState || { address: itx.owner };
     issuer = {
       id: factoryOwnerState.address,
       pk: factoryOwnerState.pk,
@@ -33,7 +34,6 @@ module.exports = (mode) => (context, next) => {
     return next(new Error('INVALID_ASSET', 'Invalid itx.address: does not match with minted asset address'));
   }
 
-  context.assetOwner = owner;
   context.mintedAsset = minted.asset;
   context.mintedAddress = minted.address;
 

package/lib/protocols/asset/update.js

@@ -52,7 +52,11 @@ runner.use(
 
     const [newSenderState, newAssetState] = await Promise.all([
       // update owner state
-      statedb.account.update(senderState.address, account.update(senderState, { nonce: tx.nonce }, context), context),
+      statedb.account.update(
+        senderState.address,
+        account.update(senderState, { nonce: tx.nonce, pk: tx.pk }, context),
+        context
+      ),
 
       // update asset state
       statedb.asset.update(

package/lib/protocols/factory/create.js

@@ -79,23 +79,15 @@ runner.use(
 );
 
 // Ensure sender exist
-runner.use(
-  pipes.ExtractState({ from: 'tx.from', to: 'senderState', table: 'account', status: 'INVALID_SENDER_STATE' })
-);
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', table: 'account', status: 'INVALID_SENDER_STATE' })); // prettier-ignore
 runner.use(pipes.VerifyAccountMigration({ senderKey: 'senderState' }));
 
 // Ensure tokens exist if we are creating an factory that consume tokens
-runner.use(
-  pipes.ExtractState({ from: 'factoryTokens', to: 'tokenStates', table: 'token', status: 'INVALID_FACTORY_INPUT' })
-);
+runner.use(pipes.ExtractState({ from: 'factoryTokens', to: 'tokenStates', table: 'token', status: 'INVALID_FACTORY_INPUT' })); // prettier-ignore
 
 // ensure input.assets all exist on chain
-runner.use(
-  pipes.ExtractState({ from: 'factoryProps.input.assets', to: 'inputAssetStates', table: 'asset', status: 'OK' })
-);
-runner.use(
-  pipes.ExtractState({ from: 'factoryProps.input.assets', to: 'inputFactoryStates', table: 'factory', status: 'OK' })
-);
+runner.use(pipes.ExtractState({ from: 'factoryProps.input.assets', to: 'inputAssetStates', table: 'asset', status: 'OK' })); // prettier-ignore
+runner.use(pipes.ExtractState({ from: 'factoryProps.input.assets', to: 'inputFactoryStates', table: 'factory', status: 'OK' })); // prettier-ignore
 runner.use((context, next) => {
   const { inputAssetStates = [], inputFactoryStates = [], factoryProps } = context;
   if (inputAssetStates.some((x) => !!x.consumedTime)) {
@@ -118,7 +110,12 @@ runner.use(
 
     const [newSenderState, factoryState] = await Promise.all([
       // Update owner state
-      statedb.account.update(senderState.address, account.update(senderState, { nonce: tx.nonce }, context), context),
+      statedb.account.update(
+        senderState.address,
+        account.update(senderState, { nonce: tx.nonce, pk: tx.pk }, context),
+        context
+      ),
+
       // Create factory state
       statedb.factory.create(
         itx.address,

package/lib/protocols/governance/stake.js

@@ -122,7 +122,7 @@ runner.use(
         senderState.address,
         account.update(
           senderState,
-          Object.assign({ nonce: tx.nonce }, signerUpdates[senderState.address] || {}),
+          Object.assign({ nonce: tx.nonce, pk: tx.pk }, signerUpdates[senderState.address] || {}),
           context
         ),
         context

package/lib/protocols/token/create.js

@@ -56,7 +56,7 @@ runner.use(
 );
 
 // Ensure sender exist
-runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE' }));
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })); // prettier-ignore
 runner.use(pipes.VerifyAccountMigration({ senderKey: 'senderState' }));
 
 // Ensure token not exist
@@ -98,7 +98,7 @@ runner.use(
     const [newSenderState, tokenState] = await Promise.all([
       statedb.account.update(
         senderState.address,
-        account.update(senderState, { tokens: senderTokens, nonce: tx.nonce }, context),
+        account.update(senderState, { tokens: senderTokens, nonce: tx.nonce, pk: tx.pk }, context),
         context
       ),
       statedb.token.create(itx.address, token.create({ ...itx, data, issuer: senderState.address }, context), context),

package/lib/protocols/token/deposit-v2.js

@@ -155,7 +155,7 @@ runner.use((context, next) => {
 });
 
 // 7. verify sender and signer states
-runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })); // prettier-ignore
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'OK', table: 'account' }));
 runner.use(pipes.ExtractState({ from: 'signers', to: 'signerStates', status: 'INVALID_SIGNER_STATE', table: 'account' })); // prettier-ignore
 runner.use(pipes.VerifyAccountMigration({ signerKey: 'signerStates', senderKey: 'senderState' }));
 
@@ -169,18 +169,19 @@ runner.use(
     const total = getBNSum(user, fee);
 
     const stakeUpdates = applyTokenUpdates([{ address: itx.token.address, value: total }], stakeState, 'sub');
-    const senderUpdates = applyTokenUpdates([{ address: itx.token.address, value: user }], senderState, 'add');
+    const senderUpdates = applyTokenUpdates([{ address: itx.token.address, value: user }], senderState || {}, 'add');
     const lockerUpdates = applyTokenUpdates(
       [{ address: itx.token.address, value: fee }],
       lockerState || { tokens: {} },
       'add'
     );
 
+    const sender = senderState ? senderState.address : tx.from;
     const [newSenderState, newStakeState, newLockerState, evidenceState] = await Promise.all([
-      // update user account
-      statedb.account.update(
-        senderState.address,
-        account.update(senderState, { nonce: tx.nonce, ...senderUpdates }, context),
+      // updateOrCreate user account
+      statedb.account.updateOrCreate(
+        senderState,
+        account.updateOrCreate(senderState, { address: sender, nonce: tx.nonce, pk: tx.pk, ...senderUpdates }, context),
         context
       ),
 
@@ -224,7 +225,7 @@ runner.use(
       // stake for tx proposer is decreased
       { address: stakeAddress, token: itx.token.address, delta: `-${total}`, action: 'unlock' },
       // mint to depositor from stake
-      { address: senderState.address, token: itx.token.address, delta: user, action: 'unlock' },
+      { address: sender, token: itx.token.address, delta: user, action: 'unlock' },
       // tx fee is locked for later claiming
       { address: lockerAddress, token: itx.token.address, delta: fee, action: 'pending' },
     ];

package/lib/protocols/trade/exchange-v2.js

@@ -81,8 +81,8 @@ runner.use(pipes.VerifyListSize({ listKey: ['senderTokens', 'receiverTokens'] })
 
 // TODO: anti-replay-exchange-attack
 
-runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE' }));
-runner.use(pipes.ExtractState({ from: 'tx.delegator', to: 'delegatorState', status: 'OK' }));
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })); // prettier-ignore
+runner.use(pipes.ExtractState({ from: 'tx.delegator', to: 'delegatorState', status: 'OK', table: 'account' }));
 runner.use(pipes.VerifyDelegation({ type: 'signature', signerKey: 'senderState', delegatorKey: 'delegatorState' }));
 runner.use(pipes.ExtractSigner({ signerKey: 'signerStates', delegatorKey: 'delegatorStates' }));
 runner.use(
@@ -94,9 +94,9 @@ runner.use(
   })
 );
 
-runner.use(pipes.ExtractState({ from: 'tokenAddress', to: 'tokenStates', status: 'INVALID_TOKEN' }));
+runner.use(pipes.ExtractState({ from: 'tokenAddress', to: 'tokenStates', status: 'INVALID_TOKEN', table: 'token' }));
 
-runner.use(pipes.ExtractState({ from: 'receiver', to: 'receiverState', status: 'INVALID_RECEIVER_STATE' }));
+runner.use(pipes.ExtractState({ from: 'receiver', to: 'receiverState', status: 'INVALID_RECEIVER_STATE', table: 'account' })); // prettier-ignore
 runner.use(pipes.VerifyAccountMigration({ senderKey: 'senderState', signerKey: 'signerStates' }));
 runner.use((context, next) => {
   context.senderTokenConditions = {
@@ -114,11 +114,11 @@ runner.use(pipes.VerifyTokenBalance({ ownerKey: 'receiverState', conditionKey: '
 
 runner.use(pipes.AntiLandAttack({ senderState: 'senderState', receiverState: 'receiverState' }));
 
-runner.use(pipes.ExtractState({ from: 'senderAssets', to: 'priv.senderAssets', status: 'INVALID_ASSET' }));
+runner.use(pipes.ExtractState({ from: 'senderAssets', to: 'priv.senderAssets', status: 'INVALID_ASSET', table: 'asset' })); // prettier-ignore
 runner.use(pipes.VerifyTransferrable({ assets: 'priv.senderAssets' }));
 runner.use(pipes.VerifyUpdater({ assetKey: 'priv.senderAssets', ownerKey: 'senderState' }));
 
-runner.use(pipes.ExtractState({ from: 'receiverAssets', to: 'priv.receiverAssets', status: 'INVALID_ASSET' }));
+runner.use(pipes.ExtractState({ from: 'receiverAssets', to: 'priv.receiverAssets', status: 'INVALID_ASSET', table: 'asset' })); // prettier-ignore
 runner.use(pipes.VerifyTransferrable({ assets: 'priv.receiverAssets' }));
 runner.use(pipes.VerifyUpdater({ assetKey: 'priv.receiverAssets', ownerKey: 'receiverState' }));
 

package/lib/protocols/trade/transfer-v2.js

@@ -62,10 +62,10 @@ runner.use((context, next) => {
   next();
 });
 
-runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE' }));
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })); // prettier-ignore
 runner.use(pipes.VerifyAccountMigration({ senderKey: 'senderState' }));
 
-runner.use(pipes.ExtractState({ from: 'tokenAddress', to: 'tokenStates', status: 'INVALID_TOKEN' }));
+runner.use(pipes.ExtractState({ from: 'tokenAddress', to: 'tokenStates', status: 'INVALID_TOKEN', table: 'token' }));
 runner.use((context, next) => {
   context.tokenConditions = {
     owner: context.senderState.address,
@@ -75,24 +75,32 @@ runner.use((context, next) => {
 });
 runner.use(pipes.VerifyTokenBalance({ ownerKey: 'senderState', conditionKey: 'tokenConditions' }));
 
-runner.use(pipes.ExtractState({ from: 'tx.delegator', to: 'delegatorState', status: 'OK' }));
+runner.use(pipes.ExtractState({ from: 'tx.delegator', to: 'delegatorState', status: 'OK', table: 'account' }));
 runner.use(pipes.VerifyDelegation({ type: 'signature', signerKey: 'senderState', delegatorKey: 'delegatorState' }));
 
-runner.use(pipes.ExtractReceiver({ from: 'itx.to' }));
-runner.use(pipes.ExtractState({ from: 'receiver', to: 'receiverState', status: 'INVALID_RECEIVER_STATE' }));
+runner.use(pipes.ExtractReceiver({ from: 'itx.to', to: 'receiver' }));
+runner.use(pipes.ExtractState({ from: 'receiver', to: 'receiverState', status: 'OK', table: 'account' }));
 runner.use(pipes.AntiLandAttack({ senderState: 'senderState', receiverState: 'receiverState' }));
 
-runner.use(pipes.ExtractState({ from: 'assets', to: 'assetStates', status: 'INVALID_ASSET' }));
+runner.use(pipes.ExtractState({ from: 'assets', to: 'assetStates', status: 'INVALID_ASSET', table: 'asset' }));
 runner.use(pipes.VerifyTransferrable({ assets: 'assetStates' }));
 runner.use(pipes.VerifyUpdater({ assetKey: 'assetStates', ownerKey: 'senderState' }));
 
-runner.use(pipes.UpdateOwner({ assets: 'assetStates', owner: 'receiverState' }));
+// transfer assets to new owner
+runner.use((context, next) => {
+  const { itx, receiverState } = context;
+  context.receiverAddr = receiverState ? receiverState.address : itx.to;
+  return next();
+});
+runner.use(pipes.UpdateOwner({ assets: 'assetStates', owner: 'receiverAddr' }));
+
+// update statedb: transfer tokens to new owner
 runner.use(
   async (context, next) => {
-    const { tx, itx, tokens, senderState, receiverState, statedb } = context;
+    const { tx, itx, tokens, senderState, receiverAddr, receiverState, statedb } = context;
 
     const { tokens: senderTokens = {} } = senderState;
-    const { tokens: receiverTokens = {} } = receiverState;
+    const { tokens: receiverTokens = {} } = receiverState || {};
     for (const token of tokens) {
       const delta = new BN(token.value);
       senderTokens[token.address] = new BN(senderTokens[token.address]).sub(delta).toString();
@@ -103,14 +111,14 @@ runner.use(
       // Update sender state
       statedb.account.update(
         senderState.address,
-        account.update(senderState, { nonce: tx.nonce, tokens: senderTokens }, context),
+        account.update(senderState, { nonce: tx.nonce, pk: tx.pk, tokens: senderTokens }, context),
         context
       ),
 
       // Update receiver state
-      statedb.account.update(
-        receiverState.address,
-        account.update(receiverState, { tokens: receiverTokens }, context),
+      statedb.account.updateOrCreate(
+        receiverState,
+        account.updateOrCreate(receiverState, { address: receiverAddr, tokens: receiverTokens }, context),
         context
       ),
     ]);

package/lib/protocols/trade/transfer-v3.js

@@ -108,9 +108,9 @@ runner.use(
 runner.use(pipes.VerifyMultiSigV2({ signersKey: 'senders' }));
 
 // 4. verify sender & signer & receiver
-runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE' }));
-runner.use(pipes.ExtractState({ from: 'senders', to: 'signerStates', status: 'INVALID_SIGNER_STATE' }));
-runner.use(pipes.ExtractState({ from: 'receivers', to: 'receiverStates', status: 'INVALID_RECEIVER_STATE' }));
+runner.use(pipes.ExtractState({ from: 'tx.from', to: 'senderState', status: 'INVALID_SENDER_STATE', table: 'account' })); // prettier-ignore
+runner.use(pipes.ExtractState({ from: 'senders', to: 'signerStates', status: 'INVALID_SIGNER_STATE', table: 'account' })); // prettier-ignore
+runner.use(pipes.ExtractState({ from: 'receivers', to: 'receiverStates', status: 'OK', table: 'account' }));
 runner.use(pipes.VerifyAccountMigration({ signerKey: 'signerStates', senderKey: 'senderState' }));
 
 // 5. verify token state and balance
@@ -140,7 +140,17 @@ runner.use(async (context, next) => {
 
 runner.use(
   async (context, next) => {
-    const { tx, inputs, outputs, senderState, signerStates, receiverStates, assetStates = [], statedb } = context;
+    const {
+      tx,
+      inputs,
+      outputs,
+      receivers,
+      senderState,
+      signerStates,
+      receiverStates = [],
+      assetStates = [],
+      statedb,
+    } = context;
 
     const signerUpdates = {};
     inputs.forEach((x) => {
@@ -157,7 +167,7 @@ runner.use(
       const { owner, tokensList } = x;
       receiverUpdates[owner] = applyTokenUpdates(
         tokensList,
-        receiverStates.find((s) => s.address === owner),
+        receiverStates.find((s) => s.address === owner) || {},
         'add'
       );
     });
@@ -175,7 +185,6 @@ runner.use(
 
     debug('transfer-v3', { signerUpdates, receiverUpdates, assetUpdates, isAlsoSigner, isAlsoReceiver });
 
-    // FIXME: skip statedb update if account not changed at all
     const [newSenderState, newSignerStates, newReceiverStates, newAssetStates] = await Promise.all([
       // Update sender state
       statedb.account.update(
@@ -183,7 +192,7 @@ runner.use(
         account.update(
           senderState,
           Object.assign(
-            { nonce: tx.nonce },
+            { nonce: tx.nonce, pk: tx.pk },
             signerUpdates[senderState.address] || {},
             receiverUpdates[senderState.address] || {}
           ),
@@ -199,13 +208,18 @@ runner.use(
           .map((x) => statedb.account.update(x.address, account.update(x, signerUpdates[x.address], context), context))
       ),
 
-      // Update receiver state
+      // UpdateOrCreate receiver state
       Promise.all(
-        receiverStates
-          .filter((x) => x.address !== senderState.address)
-          .map((x) =>
-            statedb.account.update(x.address, account.update(x, receiverUpdates[x.address], context), context)
-          )
+        receivers
+          .filter((x) => x !== senderState.address)
+          .map((x) => {
+            const receiverState = receiverStates.find((s) => s.address === x);
+            return statedb.account.updateOrCreate(
+              receiverState,
+              account.updateOrCreate(receiverState, { ...receiverUpdates[x], address: x }, context),
+              context
+            );
+          })
       ),
 
       // Update asset state

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.13.64",
+  "version": "1.13.65",
   "description": "Predefined tx pipeline sets to execute certain type of transactions",
   "main": "lib/index.js",
   "files": [
@@ -19,16 +19,16 @@
   "author": "wangshijun <wangshijun2010@gmail.com> (http://github.com/wangshijun)",
   "license": "MIT",
   "dependencies": {
-    "@arcblock/did": "1.13.64",
-    "@arcblock/did-util": "1.13.64",
-    "@ocap/asset": "1.13.64",
-    "@ocap/mcrypto": "1.13.64",
-    "@ocap/merkle-tree": "1.13.64",
-    "@ocap/message": "1.13.64",
-    "@ocap/state": "1.13.64",
-    "@ocap/tx-pipeline": "1.13.64",
-    "@ocap/util": "1.13.64",
-    "@ocap/wallet": "1.13.64",
+    "@arcblock/did": "1.13.65",
+    "@arcblock/did-util": "1.13.65",
+    "@ocap/asset": "1.13.65",
+    "@ocap/mcrypto": "1.13.65",
+    "@ocap/merkle-tree": "1.13.65",
+    "@ocap/message": "1.13.65",
+    "@ocap/state": "1.13.65",
+    "@ocap/tx-pipeline": "1.13.65",
+    "@ocap/util": "1.13.65",
+    "@ocap/wallet": "1.13.65",
     "debug": "^4.3.2",
     "empty-value": "^1.0.1",
     "lodash": "^4.17.21",
@@ -41,5 +41,5 @@
   "devDependencies": {
     "jest": "^27.3.1"
   },
-  "gitHead": "49c94d9fd5f12ec63c34ad609d041a92f68322a8"
+  "gitHead": "4011996e1800845142aa5c889b58726129a99ec3"
 }