@aeternity/aepp-sdk 12.1.3 → 13.0.0-alpha.1

package/src/tx/builder/schema.ts

@@ -8,10 +8,12 @@ import BigNumber from 'bignumber.js';
 import { Tag } from './constants';
 import {
   Field, uInt, shortUInt, coinAmount, name, nameId, nameFee, deposit, gasLimit, gasPrice, fee,
+  address, pointers, entry, enumeration, mptree, shortUIntConst, string, encoded, raw,
+  array, boolean, ctVersion, abiVersion,
 } from './field-types';
-import { Encoded, Encoding } from '../../utils/encoder';
-import MPTree from '../../utils/mptree';
-import { NamePointer } from '../../apis/node';
+import { Encoding } from '../../utils/encoder';
+import { UnionToIntersection } from '../../utils/other';
+import { idTagToEncoding } from './field-types/address';
 
 export enum ORACLE_TTL_TYPES {
   delta = 0,
@@ -26,8 +28,6 @@ export const ORACLE_TTL = { type: ORACLE_TTL_TYPES.delta, value: 500 };
 export const QUERY_TTL = { type: ORACLE_TTL_TYPES.delta, value: 10 };
 export const RESPONSE_TTL = { type: ORACLE_TTL_TYPES.delta, value: 10 };
 // # CONTRACT
-export const AMOUNT = 0;
-export const MAX_AUTH_FUN_GAS = 50000;
 export const DRY_RUN_ACCOUNT = {
   pub: 'ak_11111111111111111111111111111111273Yts',
   amount: 100000000000000000000000000000000000n,
@@ -35,141 +35,18 @@ export const DRY_RUN_ACCOUNT = {
 
 export type TxField = [
   name: string,
-  type: FIELD_TYPES | Field,
-  prefix?: Encoding | Encoding[],
+  type: Field,
 ];
 
-/**
- * @category transaction builder
- * @see {@link https://github.com/aeternity/protocol/blob/0f6dee3d9d1e8e2469816798f5c7587a6c918f94/contracts/contract_vms.md#virtual-machines-on-the-%C3%A6ternity-blockchain}
- */
-export enum VM_VERSIONS {
-  NO_VM = 0,
-  SOPHIA = 1,
-  SOPHIA_IMPROVEMENTS_MINERVA = 3,
-  SOPHIA_IMPROVEMENTS_FORTUNA = 4,
-  FATE = 5,
-  SOPHIA_IMPROVEMENTS_LIMA = 6,
-  FATE_2 = 7,
-}
-
-/**
- * @category transaction builder
- * @see {@link https://github.com/aeternity/protocol/blob/0f6dee3d9d1e8e2469816798f5c7587a6c918f94/contracts/contract_vms.md#virtual-machines-on-the-%C3%A6ternity-blockchain}
- */
-export enum ABI_VERSIONS {
-  NO_ABI = 0,
-  SOPHIA = 1,
-  FATE = 3,
-}
-
-/**
- * @category transaction builder
- */
-export enum PROTOCOL_VERSIONS {
-  IRIS = 5,
-}
-
-// First abi/vm by default
-export const PROTOCOL_VM_ABI = {
-  [PROTOCOL_VERSIONS.IRIS]: {
-    [Tag.ContractCreateTx]: {
-      vmVersion: [VM_VERSIONS.FATE_2], abiVersion: [ABI_VERSIONS.FATE],
-    },
-    // TODO: Ensure that AEVM (SOPHIA?) is still available here
-    [Tag.ContractCallTx]: {
-      vmVersion: [], abiVersion: [ABI_VERSIONS.FATE, ABI_VERSIONS.SOPHIA],
-    },
-    [Tag.OracleRegisterTx]: {
-      vmVersion: [], abiVersion: [ABI_VERSIONS.NO_ABI, ABI_VERSIONS.SOPHIA],
-    },
-  },
-} as const;
-
-type PrefixType<Prefix> = Prefix extends Encoding
-  ? Encoded.Generic<Prefix>
-  : Prefix extends readonly Encoding[]
-    ? Encoded.Generic<Prefix[number]>
-    : Encoded.Generic<any>;
-
-/**
- * @category transaction builder
- */
-export interface CtVersion {
-  vmVersion: VM_VERSIONS;
-  abiVersion: ABI_VERSIONS;
-}
-
-/**
- * @category transaction builder
- */
-export enum FIELD_TYPES {
-  id,
-  ids,
-  string,
-  binary,
-  bool,
-  hex,
-  rlpBinary,
-  rlpBinaries,
-  rawBinary,
-  signatures,
-  pointers,
-  offChainUpdates,
-  callStack,
-  proofOfInclusion,
-  mptrees,
-  callReturnType,
-  ctVersion,
-  abiVersion,
-  ttlType,
-  sophiaCodeTypeInfo,
-  payload,
-  stateTree,
-}
-
-interface BuildFieldTypes<Prefix extends undefined | Encoding | readonly Encoding[]> {
-  [FIELD_TYPES.id]: PrefixType<Prefix>;
-  [FIELD_TYPES.ids]: Array<Encoded.Generic<Prefix extends Encoding[] ? Prefix : any>>;
-  [FIELD_TYPES.string]: string;
-  [FIELD_TYPES.binary]: PrefixType<Prefix>;
-  [FIELD_TYPES.bool]: Boolean;
-  [FIELD_TYPES.hex]: string;
-  [FIELD_TYPES.rlpBinary]: any;
-  [FIELD_TYPES.rlpBinaries]: any[];
-  [FIELD_TYPES.rawBinary]: Uint8Array;
-  [FIELD_TYPES.signatures]: Uint8Array[];
-  [FIELD_TYPES.pointers]: NamePointer[];
-  [FIELD_TYPES.offChainUpdates]: any;
-  [FIELD_TYPES.callStack]: any;
-  [FIELD_TYPES.proofOfInclusion]: any;
-  [FIELD_TYPES.mptrees]: MPTree[];
-  [FIELD_TYPES.callReturnType]: any;
-  [FIELD_TYPES.ctVersion]: CtVersion;
-  [FIELD_TYPES.abiVersion]: ABI_VERSIONS;
-  [FIELD_TYPES.ttlType]: ORACLE_TTL_TYPES;
-  [FIELD_TYPES.sophiaCodeTypeInfo]: any;
-  [FIELD_TYPES.payload]: string | undefined;
-  [FIELD_TYPES.stateTree]: any;
+export enum CallReturnType {
+  Ok = 0,
+  Error = 1,
+  Revert = 2,
 }
 
-// based on https://stackoverflow.com/a/50375286/6176994
-type UnionToIntersection<Union> =
-  (Union extends any ? (k: Union) => void : never) extends ((k: infer Intersection) => void)
-    ? Intersection : never;
+type TxElem = readonly [string, Field];
 
-type TxElem = readonly [string, FIELD_TYPES | Field]
-| readonly [string, FIELD_TYPES, Encoding | readonly Encoding[]];
-
-type BuildTxArgBySchemaType<
-  Type extends FIELD_TYPES | Field,
-  Prefix extends undefined | Encoding | readonly Encoding[],
-> =
-  Type extends Field
-    ? Parameters<Type['serialize']>[0]
-    : Type extends FIELD_TYPES
-      ? BuildFieldTypes<Prefix>[Type]
-      : never;
+type BuildTxArgBySchemaType<Type extends Field> = Parameters<Type['serialize']>[0];
 
 type NullablePartial<
   T,
@@ -180,7 +57,7 @@ type BuildTxArgBySchema<SchemaLine> =
   UnionToIntersection<
   SchemaLine extends ReadonlyArray<infer Elem>
     ? Elem extends TxElem
-      ? NullablePartial<{ [k in Elem[0]]: BuildTxArgBySchemaType<Elem[1], Elem[2]> }>
+      ? NullablePartial<{ [k in Elem[0]]: BuildTxArgBySchemaType<Elem[1]> }>
       : never
     : never
   >;
@@ -189,60 +66,75 @@ export type RawTxObject<Tx extends TxSchema> = {
   [k in keyof Tx]-?: Tx[k] extends BigNumber ? string : Tx[k]
 };
 
-const BASE_TX = [
-  ['tag', shortUInt],
-  ['VSN', shortUInt],
-] as const;
-
+/**
+ * @see {@link https://github.com/aeternity/protocol/blob/c007deeac4a01e401238412801ac7084ac72d60e/serializations.md#accounts-version-1-basic-accounts}
+ */
 export const TX_SCHEMA = {
   [Tag.Account]: {
     1: [
-      ...BASE_TX,
+      ['tag', shortUIntConst(Tag.Account)],
+      ['version', shortUIntConst(1)],
       ['nonce', shortUInt],
       ['balance', uInt],
     ],
     2: [
-      ...BASE_TX,
+      ['tag', shortUIntConst(Tag.Account)],
+      ['version', shortUIntConst(2)],
       ['flags', uInt],
       ['nonce', shortUInt],
       ['balance', uInt],
-      ['gaContract', FIELD_TYPES.id, [Encoding.ContractAddress, Encoding.Name]],
-      ['gaAuthFun', FIELD_TYPES.binary, Encoding.ContractBytearray],
+      ['gaContract', address(Encoding.ContractAddress, Encoding.Name)],
+      ['gaAuthFun', encoded(Encoding.ContractBytearray)],
     ],
   },
   [Tag.SignedTx]: {
     1: [
-      ...BASE_TX,
-      ['signatures', FIELD_TYPES.signatures],
-      ['encodedTx', FIELD_TYPES.rlpBinary],
+      ['tag', shortUIntConst(Tag.SignedTx)],
+      ['version', shortUIntConst(1)],
+      ['signatures', array(raw)],
+      ['encodedTx', entry()],
     ],
   },
   [Tag.SpendTx]: {
     1: [
-      ...BASE_TX,
-      ['senderId', FIELD_TYPES.id, Encoding.AccountAddress],
-      ['recipientId', FIELD_TYPES.id, [Encoding.AccountAddress, Encoding.Name]],
+      ['tag', shortUIntConst(Tag.SpendTx)],
+      ['version', shortUIntConst(1)],
+      ['senderId', address(Encoding.AccountAddress)],
+      ['recipientId', address(Encoding.AccountAddress, Encoding.Name)],
       ['amount', coinAmount],
       ['fee', fee],
       ['ttl', shortUInt],
       ['nonce', shortUInt],
-      ['payload', FIELD_TYPES.payload],
+      ['payload', encoded(Encoding.Bytearray, true)],
+    ],
+  },
+  [Tag.Name]: {
+    1: [
+      ['tag', shortUIntConst(Tag.Name)],
+      ['version', shortUIntConst(1)],
+      ['accountId', address(Encoding.AccountAddress)],
+      ['nameTtl', shortUInt],
+      ['status', raw],
+      ['clientTtl', shortUInt],
+      ['pointers', pointers],
     ],
   },
   [Tag.NamePreclaimTx]: {
     1: [
-      ...BASE_TX,
-      ['accountId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.NamePreclaimTx)],
+      ['version', shortUIntConst(1)],
+      ['accountId', address(Encoding.AccountAddress)],
       ['nonce', shortUInt],
-      ['commitmentId', FIELD_TYPES.id, Encoding.Commitment],
+      ['commitmentId', address(Encoding.Commitment)],
       ['fee', fee],
       ['ttl', shortUInt],
     ],
   },
   [Tag.NameClaimTx]: {
     2: [
-      ...BASE_TX,
-      ['accountId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.NameClaimTx)],
+      ['version', shortUIntConst(2)],
+      ['accountId', address(Encoding.AccountAddress)],
       ['nonce', shortUInt],
       ['name', name],
       ['nameSalt', uInt],
@@ -253,12 +145,13 @@ export const TX_SCHEMA = {
   },
   [Tag.NameUpdateTx]: {
     1: [
-      ...BASE_TX,
-      ['accountId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.NameUpdateTx)],
+      ['version', shortUIntConst(1)],
+      ['accountId', address(Encoding.AccountAddress)],
       ['nonce', shortUInt],
       ['nameId', nameId],
-      ['nameTtl', uInt],
-      ['pointers', FIELD_TYPES.pointers],
+      ['nameTtl', shortUInt],
+      ['pointers', pointers],
       ['clientTtl', shortUInt],
       ['fee', fee],
       ['ttl', shortUInt],
@@ -266,19 +159,21 @@ export const TX_SCHEMA = {
   },
   [Tag.NameTransferTx]: {
     1: [
-      ...BASE_TX,
-      ['accountId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.NameTransferTx)],
+      ['version', shortUIntConst(1)],
+      ['accountId', address(Encoding.AccountAddress)],
       ['nonce', shortUInt],
       ['nameId', nameId],
-      ['recipientId', FIELD_TYPES.id, [Encoding.AccountAddress, Encoding.Name]],
+      ['recipientId', address(Encoding.AccountAddress, Encoding.Name)],
       ['fee', fee],
       ['ttl', shortUInt],
     ],
   },
   [Tag.NameRevokeTx]: {
     1: [
-      ...BASE_TX,
-      ['accountId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.NameRevokeTx)],
+      ['version', shortUIntConst(1)],
+      ['accountId', address(Encoding.AccountAddress)],
       ['nonce', shortUInt],
       ['nameId', nameId],
       ['fee', fee],
@@ -287,84 +182,102 @@ export const TX_SCHEMA = {
   },
   [Tag.Contract]: {
     1: [
-      ...BASE_TX,
-      ['owner', FIELD_TYPES.id, Encoding.AccountAddress],
-      ['ctVersion', FIELD_TYPES.ctVersion],
-      ['code', FIELD_TYPES.binary, Encoding.ContractBytearray],
-      ['log', FIELD_TYPES.binary, Encoding.ContractBytearray],
-      ['active', FIELD_TYPES.bool],
-      ['referers', FIELD_TYPES.ids, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.Contract)],
+      ['version', shortUIntConst(1)],
+      ['owner', address(Encoding.AccountAddress)],
+      ['ctVersion', ctVersion],
+      ['code', encoded(Encoding.ContractBytearray)],
+      ['log', encoded(Encoding.ContractBytearray)],
+      ['active', boolean],
+      ['referers', array(address(Encoding.AccountAddress))],
       ['deposit', deposit],
     ],
   },
   [Tag.ContractCreateTx]: {
     1: [
-      ...BASE_TX,
-      ['ownerId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.ContractCreateTx)],
+      ['version', shortUIntConst(1)],
+      ['ownerId', address(Encoding.AccountAddress)],
       ['nonce', shortUInt],
-      ['code', FIELD_TYPES.binary, Encoding.ContractBytearray],
-      ['ctVersion', FIELD_TYPES.ctVersion],
+      ['code', encoded(Encoding.ContractBytearray)],
+      ['ctVersion', ctVersion],
       ['fee', fee],
       ['ttl', shortUInt],
       ['deposit', deposit],
       ['amount', coinAmount],
       ['gasLimit', gasLimit],
       ['gasPrice', gasPrice],
-      ['callData', FIELD_TYPES.binary, Encoding.ContractBytearray],
+      ['callData', encoded(Encoding.ContractBytearray)],
     ],
   },
   [Tag.ContractCallTx]: {
     1: [
-      ...BASE_TX,
-      ['callerId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.ContractCallTx)],
+      ['version', shortUIntConst(1)],
+      ['callerId', address(Encoding.AccountAddress)],
       ['nonce', shortUInt],
-      ['contractId', FIELD_TYPES.id, [Encoding.ContractAddress, Encoding.Name]],
-      ['abiVersion', FIELD_TYPES.abiVersion],
+      ['contractId', address(Encoding.ContractAddress, Encoding.Name)],
+      ['abiVersion', abiVersion],
       ['fee', fee],
       ['ttl', shortUInt],
       ['amount', coinAmount],
       ['gasLimit', gasLimit],
       ['gasPrice', gasPrice],
-      ['callData', FIELD_TYPES.binary, Encoding.ContractBytearray],
+      ['callData', encoded(Encoding.ContractBytearray)],
     ],
   },
   [Tag.ContractCall]: {
     1: [
-      ...BASE_TX,
-      ['callerId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.ContractCall)],
+      ['version', shortUIntConst(1)],
+      ['callerId', address(Encoding.AccountAddress)],
       ['callerNonce', shortUInt],
       ['height', shortUInt],
-      ['contractId', FIELD_TYPES.id, Encoding.ContractAddress],
+      ['contractId', address(Encoding.ContractAddress)],
       ['gasPrice', gasPrice],
       ['gasUsed', shortUInt],
-      ['returnValue', FIELD_TYPES.binary, Encoding.ContractBytearray],
-      ['returnType', FIELD_TYPES.callReturnType],
+      ['returnValue', encoded(Encoding.ContractBytearray)],
+      ['returnType', enumeration(CallReturnType)],
       // TODO: add serialization for
       //  <log> :: [ { <address> :: id, [ <topics> :: binary() ], <data> :: binary() } ]
-      ['log', FIELD_TYPES.rawBinary],
+      ['log', raw],
+    ],
+  },
+  [Tag.Oracle]: {
+    1: [
+      ['tag', shortUIntConst(Tag.Oracle)],
+      ['version', shortUIntConst(1)],
+      ['accountId', address(Encoding.AccountAddress)],
+      ['queryFormat', string],
+      ['responseFormat', string],
+      ['queryFee', coinAmount],
+      ['oracleTtlValue', shortUInt],
+      ['abiVersion', abiVersion],
     ],
   },
   [Tag.OracleRegisterTx]: {
     1: [
-      ...BASE_TX,
-      ['accountId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.OracleRegisterTx)],
+      ['version', shortUIntConst(1)],
+      ['accountId', address(Encoding.AccountAddress)],
       ['nonce', shortUInt],
-      ['queryFormat', FIELD_TYPES.string],
-      ['responseFormat', FIELD_TYPES.string],
+      ['queryFormat', string],
+      ['responseFormat', string],
       ['queryFee', coinAmount],
-      ['oracleTtlType', FIELD_TYPES.ttlType],
+      ['oracleTtlType', enumeration(ORACLE_TTL_TYPES)],
       ['oracleTtlValue', shortUInt],
       ['fee', fee],
       ['ttl', shortUInt],
-      ['abiVersion', FIELD_TYPES.abiVersion],
+      ['abiVersion', abiVersion],
     ],
   },
   [Tag.OracleExtendTx]: {
     1: [
-      ...BASE_TX,
-      ['oracleId', FIELD_TYPES.id, [Encoding.OracleAddress, Encoding.Name]],
+      ['tag', shortUIntConst(Tag.OracleExtendTx)],
+      ['version', shortUIntConst(1)],
+      ['oracleId', address(Encoding.OracleAddress, Encoding.Name)],
       ['nonce', shortUInt],
-      ['oracleTtlType', FIELD_TYPES.ttlType],
+      ['oracleTtlType', enumeration(ORACLE_TTL_TYPES)],
       ['oracleTtlValue', shortUInt],
       ['fee', fee],
       ['ttl', shortUInt],
@@ -372,15 +285,16 @@ export const TX_SCHEMA = {
   },
   [Tag.OracleQueryTx]: {
     1: [
-      ...BASE_TX,
-      ['senderId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.OracleQueryTx)],
+      ['version', shortUIntConst(1)],
+      ['senderId', address(Encoding.AccountAddress)],
       ['nonce', shortUInt],
-      ['oracleId', FIELD_TYPES.id, [Encoding.OracleAddress, Encoding.Name]],
-      ['query', FIELD_TYPES.string],
+      ['oracleId', address(Encoding.OracleAddress, Encoding.Name)],
+      ['query', string],
       ['queryFee', coinAmount],
-      ['queryTtlType', FIELD_TYPES.ttlType],
+      ['queryTtlType', enumeration(ORACLE_TTL_TYPES)],
       ['queryTtlValue', shortUInt],
-      ['responseTtlType', FIELD_TYPES.ttlType],
+      ['responseTtlType', enumeration(ORACLE_TTL_TYPES)],
       ['responseTtlValue', shortUInt],
       ['fee', fee],
       ['ttl', shortUInt],
@@ -388,12 +302,13 @@ export const TX_SCHEMA = {
   },
   [Tag.OracleResponseTx]: {
     1: [
-      ...BASE_TX,
-      ['oracleId', FIELD_TYPES.id, Encoding.OracleAddress],
+      ['tag', shortUIntConst(Tag.OracleResponseTx)],
+      ['version', shortUIntConst(1)],
+      ['oracleId', address(Encoding.OracleAddress)],
       ['nonce', shortUInt],
-      ['queryId', FIELD_TYPES.binary, Encoding.OracleQueryId],
-      ['response', FIELD_TYPES.string],
-      ['responseTtlType', FIELD_TYPES.ttlType],
+      ['queryId', encoded(Encoding.OracleQueryId)],
+      ['response', string],
+      ['responseTtlType', enumeration(ORACLE_TTL_TYPES)],
       ['responseTtlValue', shortUInt],
       ['fee', fee],
       ['ttl', shortUInt],
@@ -401,26 +316,28 @@ export const TX_SCHEMA = {
   },
   [Tag.ChannelCreateTx]: {
     2: [
-      ...BASE_TX,
-      ['initiator', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.ChannelCreateTx)],
+      ['version', shortUIntConst(2)],
+      ['initiator', address(Encoding.AccountAddress)],
       ['initiatorAmount', uInt],
-      ['responder', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['responder', address(Encoding.AccountAddress)],
       ['responderAmount', uInt],
       ['channelReserve', uInt],
       ['lockPeriod', uInt],
       ['ttl', shortUInt],
       ['fee', fee],
-      ['initiatorDelegateIds', FIELD_TYPES.string],
-      ['responderDelegateIds', FIELD_TYPES.string],
-      ['stateHash', FIELD_TYPES.binary, 'st'],
+      ['initiatorDelegateIds', array(address(...idTagToEncoding))],
+      ['responderDelegateIds', array(address(...idTagToEncoding))],
+      ['stateHash', encoded(Encoding.State)],
       ['nonce', shortUInt],
     ],
   },
   [Tag.ChannelCloseMutualTx]: {
     1: [
-      ...BASE_TX,
-      ['channelId', FIELD_TYPES.id, Encoding.Channel],
-      ['fromId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.ChannelCloseMutualTx)],
+      ['version', shortUIntConst(1)],
+      ['channelId', address(Encoding.Channel)],
+      ['fromId', address(Encoding.AccountAddress)],
       ['initiatorAmountFinal', uInt],
       ['responderAmountFinal', uInt],
       ['ttl', shortUInt],
@@ -430,11 +347,12 @@ export const TX_SCHEMA = {
   },
   [Tag.ChannelCloseSoloTx]: {
     1: [
-      ...BASE_TX,
-      ['channelId', FIELD_TYPES.id, Encoding.Channel],
-      ['fromId', FIELD_TYPES.id, Encoding.AccountAddress],
-      ['payload', FIELD_TYPES.binary, 'tx'],
-      ['poi', FIELD_TYPES.binary, 'pi'],
+      ['tag', shortUIntConst(Tag.ChannelCloseSoloTx)],
+      ['version', shortUIntConst(1)],
+      ['channelId', address(Encoding.Channel)],
+      ['fromId', address(Encoding.AccountAddress)],
+      ['payload', encoded(Encoding.Transaction)],
+      ['poi', entry(Tag.TreesPoi)],
       ['ttl', shortUInt],
       ['fee', fee],
       ['nonce', shortUInt],
@@ -442,11 +360,12 @@ export const TX_SCHEMA = {
   },
   [Tag.ChannelSlashTx]: {
     1: [
-      ...BASE_TX,
-      ['channelId', FIELD_TYPES.id, Encoding.Channel],
-      ['fromId', FIELD_TYPES.id, Encoding.AccountAddress],
-      ['payload', FIELD_TYPES.binary, 'tx'],
-      ['poi', FIELD_TYPES.binary, 'pi'],
+      ['tag', shortUIntConst(Tag.ChannelSlashTx)],
+      ['version', shortUIntConst(1)],
+      ['channelId', address(Encoding.Channel)],
+      ['fromId', address(Encoding.AccountAddress)],
+      ['payload', encoded(Encoding.Transaction)],
+      ['poi', entry(Tag.TreesPoi)],
       ['ttl', shortUInt],
       ['fee', fee],
       ['nonce', shortUInt],
@@ -454,35 +373,38 @@ export const TX_SCHEMA = {
   },
   [Tag.ChannelDepositTx]: {
     1: [
-      ...BASE_TX,
-      ['channelId', FIELD_TYPES.id, Encoding.Channel],
-      ['fromId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.ChannelDepositTx)],
+      ['version', shortUIntConst(1)],
+      ['channelId', address(Encoding.Channel)],
+      ['fromId', address(Encoding.AccountAddress)],
       ['amount', uInt],
       ['ttl', shortUInt],
       ['fee', fee],
-      ['stateHash', FIELD_TYPES.binary, 'st'],
+      ['stateHash', encoded(Encoding.State)],
       ['round', shortUInt],
       ['nonce', shortUInt],
     ],
   },
   [Tag.ChannelWithdrawTx]: {
     1: [
-      ...BASE_TX,
-      ['channelId', FIELD_TYPES.id, Encoding.Channel],
-      ['toId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.ChannelWithdrawTx)],
+      ['version', shortUIntConst(1)],
+      ['channelId', address(Encoding.Channel)],
+      ['toId', address(Encoding.AccountAddress)],
       ['amount', uInt],
       ['ttl', shortUInt],
       ['fee', fee],
-      ['stateHash', FIELD_TYPES.binary, 'st'],
+      ['stateHash', encoded(Encoding.State)],
       ['round', shortUInt],
       ['nonce', shortUInt],
     ],
   },
   [Tag.ChannelSettleTx]: {
     1: [
-      ...BASE_TX,
-      ['channelId', FIELD_TYPES.id, Encoding.Channel],
-      ['fromId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.ChannelSettleTx)],
+      ['version', shortUIntConst(1)],
+      ['channelId', address(Encoding.Channel)],
+      ['fromId', address(Encoding.AccountAddress)],
       ['initiatorAmountFinal', uInt],
       ['responderAmountFinal', uInt],
       ['ttl', shortUInt],
@@ -492,14 +414,15 @@ export const TX_SCHEMA = {
   },
   [Tag.ChannelForceProgressTx]: {
     1: [
-      ...BASE_TX,
-      ['channelId', FIELD_TYPES.id, Encoding.Channel],
-      ['fromId', FIELD_TYPES.id, Encoding.AccountAddress],
-      ['payload', FIELD_TYPES.binary, 'tx'],
+      ['tag', shortUIntConst(Tag.ChannelForceProgressTx)],
+      ['version', shortUIntConst(1)],
+      ['channelId', address(Encoding.Channel)],
+      ['fromId', address(Encoding.AccountAddress)],
+      ['payload', encoded(Encoding.Transaction)],
       ['round', shortUInt],
-      ['update', FIELD_TYPES.binary, Encoding.ContractBytearray],
-      ['stateHash', FIELD_TYPES.binary, 'st'],
-      ['offChainTrees', FIELD_TYPES.stateTree],
+      ['update', encoded(Encoding.ContractBytearray)],
+      ['stateHash', encoded(Encoding.State)],
+      ['offChainTrees', encoded(Encoding.StateTrees)],
       ['ttl', shortUInt],
       ['fee', fee],
       ['nonce', shortUInt],
@@ -507,38 +430,41 @@ export const TX_SCHEMA = {
   },
   [Tag.ChannelOffChainTx]: {
     2: [
-      ...BASE_TX,
-      ['channelId', FIELD_TYPES.id, Encoding.Channel],
+      ['tag', shortUIntConst(Tag.ChannelOffChainTx)],
+      ['version', shortUIntConst(2)],
+      ['channelId', address(Encoding.Channel)],
       ['round', shortUInt],
-      ['stateHash', FIELD_TYPES.binary, 'st'],
+      ['stateHash', encoded(Encoding.State)],
     ],
   },
   [Tag.Channel]: {
     3: [
-      ...BASE_TX,
-      ['initiator', FIELD_TYPES.id, Encoding.AccountAddress],
-      ['responder', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.Channel)],
+      ['version', shortUIntConst(3)],
+      ['initiator', address(Encoding.AccountAddress)],
+      ['responder', address(Encoding.AccountAddress)],
       ['channelAmount', uInt],
       ['initiatorAmount', uInt],
       ['responderAmount', uInt],
       ['channelReserve', uInt],
-      ['initiatorDelegateIds', FIELD_TYPES.ids],
-      ['responderDelegateIds', FIELD_TYPES.ids],
-      ['stateHash', FIELD_TYPES.hex],
+      ['initiatorDelegateIds', array(address(...idTagToEncoding))],
+      ['responderDelegateIds', array(address(...idTagToEncoding))],
+      ['stateHash', encoded(Encoding.State)],
       ['round', shortUInt],
       ['soloRound', uInt],
       ['lockPeriod', uInt],
       ['lockedUntil', uInt],
-      ['initiatorAuth', FIELD_TYPES.binary, Encoding.ContractBytearray],
-      ['responderAuth', FIELD_TYPES.binary, Encoding.ContractBytearray],
+      ['initiatorAuth', encoded(Encoding.ContractBytearray)],
+      ['responderAuth', encoded(Encoding.ContractBytearray)],
     ],
   },
   [Tag.ChannelSnapshotSoloTx]: {
     1: [
-      ...BASE_TX,
-      ['channelId', FIELD_TYPES.id, Encoding.Channel],
-      ['fromId', FIELD_TYPES.id, Encoding.AccountAddress],
-      ['payload', FIELD_TYPES.binary, 'tx'],
+      ['tag', shortUIntConst(Tag.ChannelSnapshotSoloTx)],
+      ['version', shortUIntConst(1)],
+      ['channelId', address(Encoding.Channel)],
+      ['fromId', address(Encoding.AccountAddress)],
+      ['payload', encoded(Encoding.Transaction)],
       ['ttl', shortUInt],
       ['fee', fee],
       ['nonce', shortUInt],
@@ -546,181 +472,194 @@ export const TX_SCHEMA = {
   },
   [Tag.ChannelOffChainUpdateTransfer]: {
     1: [
-      ...BASE_TX,
-      ['from', FIELD_TYPES.id, Encoding.AccountAddress],
-      ['to', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.ChannelOffChainUpdateTransfer)],
+      ['version', shortUIntConst(1)],
+      ['from', address(Encoding.AccountAddress)],
+      ['to', address(Encoding.AccountAddress)],
       ['amount', uInt],
     ],
   },
   [Tag.ChannelOffChainUpdateDeposit]: {
     1: [
-      ...BASE_TX,
-      ['from', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.ChannelOffChainUpdateDeposit)],
+      ['version', shortUIntConst(1)],
+      ['from', address(Encoding.AccountAddress)],
       ['amount', uInt],
     ],
   },
   [Tag.ChannelOffChainUpdateWithdraw]: {
     1: [
-      ...BASE_TX,
-      ['from', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.ChannelOffChainUpdateWithdraw)],
+      ['version', shortUIntConst(1)],
+      ['from', address(Encoding.AccountAddress)],
       ['amount', uInt],
     ],
   },
   [Tag.ChannelOffChainUpdateCreateContract]: {
     1: [
-      ...BASE_TX,
-      ['owner', FIELD_TYPES.id, Encoding.AccountAddress],
-      ['ctVersion', FIELD_TYPES.ctVersion],
-      ['code', FIELD_TYPES.binary, Encoding.ContractBytearray],
+      ['tag', shortUIntConst(Tag.ChannelOffChainUpdateCreateContract)],
+      ['version', shortUIntConst(1)],
+      ['owner', address(Encoding.AccountAddress)],
+      ['ctVersion', ctVersion],
+      ['code', encoded(Encoding.ContractBytearray)],
       ['deposit', uInt],
-      ['callData', FIELD_TYPES.binary, Encoding.ContractBytearray],
+      ['callData', encoded(Encoding.ContractBytearray)],
     ],
   },
   [Tag.ChannelOffChainUpdateCallContract]: {
     1: [
-      ...BASE_TX,
-      ['caller', FIELD_TYPES.id, Encoding.AccountAddress],
-      ['contract', FIELD_TYPES.id, Encoding.ContractAddress],
-      ['abiVersion', FIELD_TYPES.abiVersion],
+      ['tag', shortUIntConst(Tag.ChannelOffChainUpdateCallContract)],
+      ['version', shortUIntConst(1)],
+      ['caller', address(Encoding.AccountAddress)],
+      ['contract', address(Encoding.ContractAddress)],
+      ['abiVersion', abiVersion],
       ['amount', uInt],
-      ['callData', FIELD_TYPES.binary, Encoding.ContractBytearray],
-      ['callStack', FIELD_TYPES.callStack],
+      ['callData', encoded(Encoding.ContractBytearray)],
+      ['callStack', raw],
       ['gasPrice', gasPrice],
       ['gasLimit', gasLimit],
     ],
   },
   [Tag.ChannelClientReconnectTx]: {
     1: [
-      ...BASE_TX,
-      ['channelId', FIELD_TYPES.id, Encoding.Channel],
+      ['tag', shortUIntConst(Tag.ChannelClientReconnectTx)],
+      ['version', shortUIntConst(1)],
+      ['channelId', address(Encoding.Channel)],
       ['round', shortUInt],
-      ['role', FIELD_TYPES.string],
-      ['pubkey', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['role', string],
+      ['pubkey', address(Encoding.AccountAddress)],
     ],
   },
   [Tag.TreesPoi]: {
     1: [
-      ...BASE_TX,
-      ['accounts', FIELD_TYPES.mptrees],
-      ['calls', FIELD_TYPES.mptrees],
-      ['channels', FIELD_TYPES.mptrees],
-      ['contracts', FIELD_TYPES.mptrees],
-      ['ns', FIELD_TYPES.mptrees],
-      ['oracles', FIELD_TYPES.mptrees],
+      ['tag', shortUIntConst(Tag.TreesPoi)],
+      ['version', shortUIntConst(1)],
+      ['accounts', array(mptree(Encoding.AccountAddress, Tag.Account))],
+      ['calls', array(mptree(Encoding.Bytearray, Tag.ContractCall))],
+      ['channels', array(mptree(Encoding.Channel, Tag.Channel))],
+      ['contracts', array(mptree(Encoding.ContractAddress, Tag.Contract))],
+      ['ns', array(mptree(Encoding.Name, Tag.Name))],
+      ['oracles', array(mptree(Encoding.OracleAddress, Tag.Oracle))],
     ],
   },
   [Tag.StateTrees]: {
     1: [
-      ...BASE_TX,
-      ['contracts', FIELD_TYPES.rlpBinary],
-      ['calls', FIELD_TYPES.rlpBinary],
-      ['channels', FIELD_TYPES.rlpBinary],
-      ['ns', FIELD_TYPES.rlpBinary],
-      ['oracles', FIELD_TYPES.rlpBinary],
-      ['accounts', FIELD_TYPES.rlpBinary],
+      ['tag', shortUIntConst(Tag.StateTrees)],
+      ['version', shortUIntConst(1)],
+      ['contracts', entry()],
+      ['calls', entry()],
+      ['channels', entry()],
+      ['ns', entry()],
+      ['oracles', entry()],
+      ['accounts', entry()],
     ],
   },
   [Tag.Mtree]: {
     1: [
-      ...BASE_TX,
-      ['values', FIELD_TYPES.rlpBinaries],
+      ['tag', shortUIntConst(Tag.Mtree)],
+      ['version', shortUIntConst(1)],
+      ['values', array(entry())],
     ],
   },
   [Tag.MtreeValue]: {
     1: [
-      ...BASE_TX,
-      ['key', FIELD_TYPES.hex],
-      ['value', FIELD_TYPES.rawBinary],
+      ['tag', shortUIntConst(Tag.MtreeValue)],
+      ['version', shortUIntConst(1)],
+      ['key', raw],
+      ['value', raw],
     ],
   },
   [Tag.ContractsMtree]: {
     1: [
-      ...BASE_TX,
-      ['contracts', FIELD_TYPES.rlpBinary],
+      ['tag', shortUIntConst(Tag.ContractsMtree)],
+      ['version', shortUIntConst(1)],
+      ['contracts', entry()],
     ],
   },
   [Tag.CallsMtree]: {
     1: [
-      ...BASE_TX,
-      ['calls', FIELD_TYPES.rlpBinary],
+      ['tag', shortUIntConst(Tag.CallsMtree)],
+      ['version', shortUIntConst(1)],
+      ['calls', entry()],
     ],
   },
   [Tag.ChannelsMtree]: {
     1: [
-      ...BASE_TX,
-      ['channels', FIELD_TYPES.rlpBinary],
+      ['tag', shortUIntConst(Tag.ChannelsMtree)],
+      ['version', shortUIntConst(1)],
+      ['channels', entry()],
     ],
   },
   [Tag.NameserviceMtree]: {
     1: [
-      ...BASE_TX,
-      ['mtree', FIELD_TYPES.rlpBinary],
+      ['tag', shortUIntConst(Tag.NameserviceMtree)],
+      ['version', shortUIntConst(1)],
+      ['mtree', entry()],
     ],
   },
   [Tag.OraclesMtree]: {
     1: [
-      ...BASE_TX,
-      ['otree', FIELD_TYPES.rlpBinary],
+      ['tag', shortUIntConst(Tag.OraclesMtree)],
+      ['version', shortUIntConst(1)],
+      ['otree', entry()],
     ],
   },
   [Tag.AccountsMtree]: {
     1: [
-      ...BASE_TX,
-      ['accounts', FIELD_TYPES.rlpBinary],
+      ['tag', shortUIntConst(Tag.AccountsMtree)],
+      ['version', shortUIntConst(1)],
+      ['accounts', entry()],
     ],
   },
   [Tag.GaAttachTx]: {
     1: [
-      ...BASE_TX,
-      ['ownerId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.GaAttachTx)],
+      ['version', shortUIntConst(1)],
+      ['ownerId', address(Encoding.AccountAddress)],
       ['nonce', shortUInt],
-      ['code', FIELD_TYPES.binary, Encoding.ContractBytearray],
-      ['authFun', FIELD_TYPES.rawBinary],
-      ['ctVersion', FIELD_TYPES.ctVersion],
+      ['code', encoded(Encoding.ContractBytearray)],
+      ['authFun', raw],
+      ['ctVersion', ctVersion],
       ['fee', fee],
       ['ttl', shortUInt],
       ['gasLimit', gasLimit],
       ['gasPrice', gasPrice],
-      ['callData', FIELD_TYPES.binary, Encoding.ContractBytearray],
+      ['callData', encoded(Encoding.ContractBytearray)],
     ],
   },
   [Tag.GaMetaTx]: {
     2: [
-      ...BASE_TX,
-      ['gaId', FIELD_TYPES.id, Encoding.AccountAddress],
-      ['authData', FIELD_TYPES.binary, Encoding.ContractBytearray],
-      ['abiVersion', FIELD_TYPES.abiVersion],
+      ['tag', shortUIntConst(Tag.GaMetaTx)],
+      ['version', shortUIntConst(2)],
+      ['gaId', address(Encoding.AccountAddress)],
+      ['authData', encoded(Encoding.ContractBytearray)],
+      ['abiVersion', abiVersion],
       ['fee', fee],
       ['gasLimit', gasLimit],
       ['gasPrice', gasPrice],
-      ['tx', FIELD_TYPES.rlpBinary],
+      ['tx', entry()],
     ],
   },
   [Tag.PayingForTx]: {
     1: [
-      ...BASE_TX,
-      ['payerId', FIELD_TYPES.id, Encoding.AccountAddress],
+      ['tag', shortUIntConst(Tag.PayingForTx)],
+      ['version', shortUIntConst(1)],
+      ['payerId', address(Encoding.AccountAddress)],
       ['nonce', shortUInt],
       ['fee', fee],
-      ['tx', FIELD_TYPES.rlpBinary],
-    ],
-  },
-  [Tag.CompilerSophia]: {
-    3: [
-      ...BASE_TX,
-      ['sourceCodeHash', FIELD_TYPES.rawBinary],
-      ['typeInfo', FIELD_TYPES.sophiaCodeTypeInfo],
-      ['byteCode', FIELD_TYPES.rawBinary],
-      ['compilerVersion', FIELD_TYPES.string],
-      ['payable', FIELD_TYPES.bool],
+      ['tx', entry()],
     ],
   },
 } as const;
 
+type TxTypeSchemasNotCombined = {
+  [tag in Tag]: {
+    [ver in keyof typeof TX_SCHEMA[tag]]: BuildTxArgBySchema<typeof TX_SCHEMA[tag][ver]>
+  }
+};
+
 export type TxTypeSchemas = {
-  [key in Tag]: BuildTxArgBySchema<
-    typeof TX_SCHEMA[key][keyof typeof TX_SCHEMA[key]]
-  >
+  [key in Tag]: TxTypeSchemasNotCombined[key][keyof TxTypeSchemasNotCombined[key]]
 };
 
 export type TxSchema = TxTypeSchemas[Tag];