@dedot/chaintypes 0.2.0 → 0.4.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@dedot/chaintypes",
-  "version": "0.2.0",
+  "version": "0.4.0",
   "description": "Types for substrate-based chains",
   "author": "Thang X. Vu <thang@coongcrafts.io>",
   "main": "",
@@ -12,14 +12,14 @@
     "copy": "cp -R ./src/* ./dist"
   },
   "dependencies": {
-    "dedot": "^0.1.1"
+    "dedot": "^0.2.0"
   },
   "publishConfig": {
     "access": "public",
     "directory": "dist"
   },
   "license": "Apache-2.0",
-  "gitHead": "e063b3f885b6fc3c6a19cbce65f854f635c8b527",
+  "gitHead": "64426859bf7f76f8f7b2ed2e66e2a7c54534164c",
   "module": "./index.js",
   "types": "./index.d.ts"
 }

package/rococo/errors.d.ts

@@ -2615,9 +2615,24 @@ export interface ChainErrors<Rv extends RpcVersion> extends GenericChainErrors<R
     InvalidKeyOwnershipProof: GenericPalletError<Rv>;
 
     /**
-     * An equivocation proof provided as part of an equivocation report is invalid.
+     * A double voting proof provided as part of an equivocation report is invalid.
      **/
-    InvalidEquivocationProof: GenericPalletError<Rv>;
+    InvalidDoubleVotingProof: GenericPalletError<Rv>;
+
+    /**
+     * A fork voting proof provided as part of an equivocation report is invalid.
+     **/
+    InvalidForkVotingProof: GenericPalletError<Rv>;
+
+    /**
+     * A future block voting proof provided as part of an equivocation report is invalid.
+     **/
+    InvalidFutureBlockVotingProof: GenericPalletError<Rv>;
+
+    /**
+     * The session of the equivocation proof is invalid
+     **/
+    InvalidEquivocationProofSession: GenericPalletError<Rv>;
 
     /**
      * A given equivocation report is valid but already previously reported.

package/rococo/runtime.d.ts

@@ -791,8 +791,8 @@ export interface RuntimeApis<Rv extends RpcVersion> extends GenericRuntimeApis<R
     validatorSet: GenericRuntimeApiMethod<Rv, () => Promise<SpConsensusBeefyValidatorSet | undefined>>;
 
     /**
-     * Submits an unsigned extrinsic to report an equivocation. The caller
-     * must provide the equivocation proof and a key ownership proof
+     * Submits an unsigned extrinsic to report a double voting equivocation. The caller
+     * must provide the double voting proof and a key ownership proof
      * (should be obtained using `generate_key_ownership_proof`). The
      * extrinsic will be unsigned and should only be accepted for local
      * authorship (not to be broadcast to the network). This method returns
@@ -800,11 +800,11 @@ export interface RuntimeApis<Rv extends RpcVersion> extends GenericRuntimeApis<R
      * reporting is disabled for the given runtime (i.e. this method is
      * hardcoded to return `None`). Only useful in an offchain context.
      *
-     * @callname: BeefyApi_submit_report_equivocation_unsigned_extrinsic
+     * @callname: BeefyApi_submit_report_double_voting_unsigned_extrinsic
      * @param {SpConsensusBeefyDoubleVotingProof} equivocation_proof
      * @param {SpRuntimeOpaqueValue} key_owner_proof
      **/
-    submitReportEquivocationUnsignedExtrinsic: GenericRuntimeApiMethod<
+    submitReportDoubleVotingUnsignedExtrinsic: GenericRuntimeApiMethod<
       Rv,
       (
         equivocationProof: SpConsensusBeefyDoubleVotingProof,

package/rococo/tx.d.ts

@@ -73,6 +73,8 @@ import type {
   StagingXcmExecutorAssetTransferTransferType,
   XcmVersionedAssetId,
   SpConsensusBeefyDoubleVotingProof,
+  SpConsensusBeefyForkVotingProof,
+  SpConsensusBeefyFutureBlockVotingProof,
   PolkadotRuntimeParachainsParasParaGenesisArgs,
   PolkadotRuntimeCommonAssignedSlotsSlotLeasePeriodStart,
   PalletStateTrieMigrationMigrationLimits,
@@ -9836,7 +9838,7 @@ export interface ChainTx<Rv extends RpcVersion> extends GenericChainTx<Rv, TxCal
      * @param {SpConsensusBeefyDoubleVotingProof} equivocationProof
      * @param {SpSessionMembershipProof} keyOwnerProof
      **/
-    reportEquivocation: GenericTxCall<
+    reportDoubleVoting: GenericTxCall<
       Rv,
       (
         equivocationProof: SpConsensusBeefyDoubleVotingProof,
@@ -9846,7 +9848,7 @@ export interface ChainTx<Rv extends RpcVersion> extends GenericChainTx<Rv, TxCal
         {
           pallet: 'Beefy';
           palletCall: {
-            name: 'ReportEquivocation';
+            name: 'ReportDoubleVoting';
             params: { equivocationProof: SpConsensusBeefyDoubleVotingProof; keyOwnerProof: SpSessionMembershipProof };
           };
         }
@@ -9867,7 +9869,7 @@ export interface ChainTx<Rv extends RpcVersion> extends GenericChainTx<Rv, TxCal
      * @param {SpConsensusBeefyDoubleVotingProof} equivocationProof
      * @param {SpSessionMembershipProof} keyOwnerProof
      **/
-    reportEquivocationUnsigned: GenericTxCall<
+    reportDoubleVotingUnsigned: GenericTxCall<
       Rv,
       (
         equivocationProof: SpConsensusBeefyDoubleVotingProof,
@@ -9877,7 +9879,7 @@ export interface ChainTx<Rv extends RpcVersion> extends GenericChainTx<Rv, TxCal
         {
           pallet: 'Beefy';
           palletCall: {
-            name: 'ReportEquivocationUnsigned';
+            name: 'ReportDoubleVotingUnsigned';
             params: { equivocationProof: SpConsensusBeefyDoubleVotingProof; keyOwnerProof: SpSessionMembershipProof };
           };
         }
@@ -9906,6 +9908,122 @@ export interface ChainTx<Rv extends RpcVersion> extends GenericChainTx<Rv, TxCal
       >
     >;
 
+    /**
+     * Report fork voting equivocation. This method will verify the equivocation proof
+     * and validate the given key ownership proof against the extracted offender.
+     * If both are valid, the offence will be reported.
+     *
+     * @param {SpConsensusBeefyForkVotingProof} equivocationProof
+     * @param {SpSessionMembershipProof} keyOwnerProof
+     **/
+    reportForkVoting: GenericTxCall<
+      Rv,
+      (
+        equivocationProof: SpConsensusBeefyForkVotingProof,
+        keyOwnerProof: SpSessionMembershipProof,
+      ) => ChainSubmittableExtrinsic<
+        Rv,
+        {
+          pallet: 'Beefy';
+          palletCall: {
+            name: 'ReportForkVoting';
+            params: { equivocationProof: SpConsensusBeefyForkVotingProof; keyOwnerProof: SpSessionMembershipProof };
+          };
+        }
+      >
+    >;
+
+    /**
+     * Report fork voting equivocation. This method will verify the equivocation proof
+     * and validate the given key ownership proof against the extracted offender.
+     * If both are valid, the offence will be reported.
+     *
+     * This extrinsic must be called unsigned and it is expected that only
+     * block authors will call it (validated in `ValidateUnsigned`), as such
+     * if the block author is defined it will be defined as the equivocation
+     * reporter.
+     *
+     * @param {SpConsensusBeefyForkVotingProof} equivocationProof
+     * @param {SpSessionMembershipProof} keyOwnerProof
+     **/
+    reportForkVotingUnsigned: GenericTxCall<
+      Rv,
+      (
+        equivocationProof: SpConsensusBeefyForkVotingProof,
+        keyOwnerProof: SpSessionMembershipProof,
+      ) => ChainSubmittableExtrinsic<
+        Rv,
+        {
+          pallet: 'Beefy';
+          palletCall: {
+            name: 'ReportForkVotingUnsigned';
+            params: { equivocationProof: SpConsensusBeefyForkVotingProof; keyOwnerProof: SpSessionMembershipProof };
+          };
+        }
+      >
+    >;
+
+    /**
+     * Report future block voting equivocation. This method will verify the equivocation proof
+     * and validate the given key ownership proof against the extracted offender.
+     * If both are valid, the offence will be reported.
+     *
+     * @param {SpConsensusBeefyFutureBlockVotingProof} equivocationProof
+     * @param {SpSessionMembershipProof} keyOwnerProof
+     **/
+    reportFutureBlockVoting: GenericTxCall<
+      Rv,
+      (
+        equivocationProof: SpConsensusBeefyFutureBlockVotingProof,
+        keyOwnerProof: SpSessionMembershipProof,
+      ) => ChainSubmittableExtrinsic<
+        Rv,
+        {
+          pallet: 'Beefy';
+          palletCall: {
+            name: 'ReportFutureBlockVoting';
+            params: {
+              equivocationProof: SpConsensusBeefyFutureBlockVotingProof;
+              keyOwnerProof: SpSessionMembershipProof;
+            };
+          };
+        }
+      >
+    >;
+
+    /**
+     * Report future block voting equivocation. This method will verify the equivocation proof
+     * and validate the given key ownership proof against the extracted offender.
+     * If both are valid, the offence will be reported.
+     *
+     * This extrinsic must be called unsigned and it is expected that only
+     * block authors will call it (validated in `ValidateUnsigned`), as such
+     * if the block author is defined it will be defined as the equivocation
+     * reporter.
+     *
+     * @param {SpConsensusBeefyFutureBlockVotingProof} equivocationProof
+     * @param {SpSessionMembershipProof} keyOwnerProof
+     **/
+    reportFutureBlockVotingUnsigned: GenericTxCall<
+      Rv,
+      (
+        equivocationProof: SpConsensusBeefyFutureBlockVotingProof,
+        keyOwnerProof: SpSessionMembershipProof,
+      ) => ChainSubmittableExtrinsic<
+        Rv,
+        {
+          pallet: 'Beefy';
+          palletCall: {
+            name: 'ReportFutureBlockVotingUnsigned';
+            params: {
+              equivocationProof: SpConsensusBeefyFutureBlockVotingProof;
+              keyOwnerProof: SpSessionMembershipProof;
+            };
+          };
+        }
+      >
+    >;
+
     /**
      * Generic pallet tx call
      **/

package/rococo/types.d.ts

@@ -9496,7 +9496,7 @@ export type PalletBeefyCall =
    * will be reported.
    **/
   | {
-      name: 'ReportEquivocation';
+      name: 'ReportDoubleVoting';
       params: { equivocationProof: SpConsensusBeefyDoubleVotingProof; keyOwnerProof: SpSessionMembershipProof };
     }
   /**
@@ -9511,7 +9511,7 @@ export type PalletBeefyCall =
    * reporter.
    **/
   | {
-      name: 'ReportEquivocationUnsigned';
+      name: 'ReportDoubleVotingUnsigned';
       params: { equivocationProof: SpConsensusBeefyDoubleVotingProof; keyOwnerProof: SpSessionMembershipProof };
     }
   /**
@@ -9520,7 +9520,53 @@ export type PalletBeefyCall =
    *
    * Note: `delay_in_blocks` has to be at least 1.
    **/
-  | { name: 'SetNewGenesis'; params: { delayInBlocks: number } };
+  | { name: 'SetNewGenesis'; params: { delayInBlocks: number } }
+  /**
+   * Report fork voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   **/
+  | {
+      name: 'ReportForkVoting';
+      params: { equivocationProof: SpConsensusBeefyForkVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    }
+  /**
+   * Report fork voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   *
+   * This extrinsic must be called unsigned and it is expected that only
+   * block authors will call it (validated in `ValidateUnsigned`), as such
+   * if the block author is defined it will be defined as the equivocation
+   * reporter.
+   **/
+  | {
+      name: 'ReportForkVotingUnsigned';
+      params: { equivocationProof: SpConsensusBeefyForkVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    }
+  /**
+   * Report future block voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   **/
+  | {
+      name: 'ReportFutureBlockVoting';
+      params: { equivocationProof: SpConsensusBeefyFutureBlockVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    }
+  /**
+   * Report future block voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   *
+   * This extrinsic must be called unsigned and it is expected that only
+   * block authors will call it (validated in `ValidateUnsigned`), as such
+   * if the block author is defined it will be defined as the equivocation
+   * reporter.
+   **/
+  | {
+      name: 'ReportFutureBlockVotingUnsigned';
+      params: { equivocationProof: SpConsensusBeefyFutureBlockVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    };
 
 export type PalletBeefyCallLike =
   /**
@@ -9530,7 +9576,7 @@ export type PalletBeefyCallLike =
    * will be reported.
    **/
   | {
-      name: 'ReportEquivocation';
+      name: 'ReportDoubleVoting';
       params: { equivocationProof: SpConsensusBeefyDoubleVotingProof; keyOwnerProof: SpSessionMembershipProof };
     }
   /**
@@ -9545,7 +9591,7 @@ export type PalletBeefyCallLike =
    * reporter.
    **/
   | {
-      name: 'ReportEquivocationUnsigned';
+      name: 'ReportDoubleVotingUnsigned';
       params: { equivocationProof: SpConsensusBeefyDoubleVotingProof; keyOwnerProof: SpSessionMembershipProof };
     }
   /**
@@ -9554,7 +9600,53 @@ export type PalletBeefyCallLike =
    *
    * Note: `delay_in_blocks` has to be at least 1.
    **/
-  | { name: 'SetNewGenesis'; params: { delayInBlocks: number } };
+  | { name: 'SetNewGenesis'; params: { delayInBlocks: number } }
+  /**
+   * Report fork voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   **/
+  | {
+      name: 'ReportForkVoting';
+      params: { equivocationProof: SpConsensusBeefyForkVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    }
+  /**
+   * Report fork voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   *
+   * This extrinsic must be called unsigned and it is expected that only
+   * block authors will call it (validated in `ValidateUnsigned`), as such
+   * if the block author is defined it will be defined as the equivocation
+   * reporter.
+   **/
+  | {
+      name: 'ReportForkVotingUnsigned';
+      params: { equivocationProof: SpConsensusBeefyForkVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    }
+  /**
+   * Report future block voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   **/
+  | {
+      name: 'ReportFutureBlockVoting';
+      params: { equivocationProof: SpConsensusBeefyFutureBlockVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    }
+  /**
+   * Report future block voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   *
+   * This extrinsic must be called unsigned and it is expected that only
+   * block authors will call it (validated in `ValidateUnsigned`), as such
+   * if the block author is defined it will be defined as the equivocation
+   * reporter.
+   **/
+  | {
+      name: 'ReportFutureBlockVotingUnsigned';
+      params: { equivocationProof: SpConsensusBeefyFutureBlockVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    };
 
 export type SpConsensusBeefyDoubleVotingProof = {
   first: SpConsensusBeefyVoteMessage;
@@ -9577,6 +9669,21 @@ export type SpConsensusBeefyCommitment = {
 
 export type SpConsensusBeefyPayload = Array<[FixedBytes<2>, Bytes]>;
 
+export type SpConsensusBeefyForkVotingProof = {
+  vote: SpConsensusBeefyVoteMessage;
+  ancestryProof: SpMmrPrimitivesAncestryProof;
+  header: Header;
+};
+
+export type SpMmrPrimitivesAncestryProof = {
+  prevPeaks: Array<H256>;
+  prevLeafCount: bigint;
+  leafCount: bigint;
+  items: Array<[bigint, H256]>;
+};
+
+export type SpConsensusBeefyFutureBlockVotingProof = { vote: SpConsensusBeefyVoteMessage };
+
 /**
  * Contains a variant per dispatchable extrinsic that this pallet has.
  **/
@@ -14343,9 +14450,21 @@ export type PalletBeefyError =
    **/
   | 'InvalidKeyOwnershipProof'
   /**
-   * An equivocation proof provided as part of an equivocation report is invalid.
+   * A double voting proof provided as part of an equivocation report is invalid.
    **/
-  | 'InvalidEquivocationProof'
+  | 'InvalidDoubleVotingProof'
+  /**
+   * A fork voting proof provided as part of an equivocation report is invalid.
+   **/
+  | 'InvalidForkVotingProof'
+  /**
+   * A future block voting proof provided as part of an equivocation report is invalid.
+   **/
+  | 'InvalidFutureBlockVotingProof'
+  /**
+   * The session of the equivocation proof is invalid
+   **/
+  | 'InvalidEquivocationProofSession'
   /**
    * A given equivocation report is valid but already previously reported.
    **/

package/westend/errors.d.ts

@@ -2714,9 +2714,24 @@ export interface ChainErrors<Rv extends RpcVersion> extends GenericChainErrors<R
     InvalidKeyOwnershipProof: GenericPalletError<Rv>;
 
     /**
-     * An equivocation proof provided as part of an equivocation report is invalid.
+     * A double voting proof provided as part of an equivocation report is invalid.
      **/
-    InvalidEquivocationProof: GenericPalletError<Rv>;
+    InvalidDoubleVotingProof: GenericPalletError<Rv>;
+
+    /**
+     * A fork voting proof provided as part of an equivocation report is invalid.
+     **/
+    InvalidForkVotingProof: GenericPalletError<Rv>;
+
+    /**
+     * A future block voting proof provided as part of an equivocation report is invalid.
+     **/
+    InvalidFutureBlockVotingProof: GenericPalletError<Rv>;
+
+    /**
+     * The session of the equivocation proof is invalid
+     **/
+    InvalidEquivocationProofSession: GenericPalletError<Rv>;
 
     /**
      * A given equivocation report is valid but already previously reported.

package/westend/runtime.d.ts

@@ -654,8 +654,8 @@ export interface RuntimeApis<Rv extends RpcVersion> extends GenericRuntimeApis<R
     validatorSet: GenericRuntimeApiMethod<Rv, () => Promise<SpConsensusBeefyValidatorSet | undefined>>;
 
     /**
-     * Submits an unsigned extrinsic to report an equivocation. The caller
-     * must provide the equivocation proof and a key ownership proof
+     * Submits an unsigned extrinsic to report a double voting equivocation. The caller
+     * must provide the double voting proof and a key ownership proof
      * (should be obtained using `generate_key_ownership_proof`). The
      * extrinsic will be unsigned and should only be accepted for local
      * authorship (not to be broadcast to the network). This method returns
@@ -663,11 +663,11 @@ export interface RuntimeApis<Rv extends RpcVersion> extends GenericRuntimeApis<R
      * reporting is disabled for the given runtime (i.e. this method is
      * hardcoded to return `None`). Only useful in an offchain context.
      *
-     * @callname: BeefyApi_submit_report_equivocation_unsigned_extrinsic
+     * @callname: BeefyApi_submit_report_double_voting_unsigned_extrinsic
      * @param {SpConsensusBeefyDoubleVotingProof} equivocation_proof
      * @param {SpRuntimeOpaqueValue} key_owner_proof
      **/
-    submitReportEquivocationUnsignedExtrinsic: GenericRuntimeApiMethod<
+    submitReportDoubleVotingUnsignedExtrinsic: GenericRuntimeApiMethod<
       Rv,
       (
         equivocationProof: SpConsensusBeefyDoubleVotingProof,

package/westend/tx.d.ts

@@ -91,6 +91,8 @@ import type {
   XcmVersionedAssetId,
   PolkadotRuntimeParachainsInclusionAggregateMessageOrigin,
   SpConsensusBeefyDoubleVotingProof,
+  SpConsensusBeefyForkVotingProof,
+  SpConsensusBeefyFutureBlockVotingProof,
 } from './types';
 
 export type ChainSubmittableExtrinsic<
@@ -10121,7 +10123,7 @@ export interface ChainTx<Rv extends RpcVersion> extends GenericChainTx<Rv, TxCal
      * @param {SpConsensusBeefyDoubleVotingProof} equivocationProof
      * @param {SpSessionMembershipProof} keyOwnerProof
      **/
-    reportEquivocation: GenericTxCall<
+    reportDoubleVoting: GenericTxCall<
       Rv,
       (
         equivocationProof: SpConsensusBeefyDoubleVotingProof,
@@ -10131,7 +10133,7 @@ export interface ChainTx<Rv extends RpcVersion> extends GenericChainTx<Rv, TxCal
         {
           pallet: 'Beefy';
           palletCall: {
-            name: 'ReportEquivocation';
+            name: 'ReportDoubleVoting';
             params: { equivocationProof: SpConsensusBeefyDoubleVotingProof; keyOwnerProof: SpSessionMembershipProof };
           };
         }
@@ -10152,7 +10154,7 @@ export interface ChainTx<Rv extends RpcVersion> extends GenericChainTx<Rv, TxCal
      * @param {SpConsensusBeefyDoubleVotingProof} equivocationProof
      * @param {SpSessionMembershipProof} keyOwnerProof
      **/
-    reportEquivocationUnsigned: GenericTxCall<
+    reportDoubleVotingUnsigned: GenericTxCall<
       Rv,
       (
         equivocationProof: SpConsensusBeefyDoubleVotingProof,
@@ -10162,7 +10164,7 @@ export interface ChainTx<Rv extends RpcVersion> extends GenericChainTx<Rv, TxCal
         {
           pallet: 'Beefy';
           palletCall: {
-            name: 'ReportEquivocationUnsigned';
+            name: 'ReportDoubleVotingUnsigned';
             params: { equivocationProof: SpConsensusBeefyDoubleVotingProof; keyOwnerProof: SpSessionMembershipProof };
           };
         }
@@ -10191,6 +10193,122 @@ export interface ChainTx<Rv extends RpcVersion> extends GenericChainTx<Rv, TxCal
       >
     >;
 
+    /**
+     * Report fork voting equivocation. This method will verify the equivocation proof
+     * and validate the given key ownership proof against the extracted offender.
+     * If both are valid, the offence will be reported.
+     *
+     * @param {SpConsensusBeefyForkVotingProof} equivocationProof
+     * @param {SpSessionMembershipProof} keyOwnerProof
+     **/
+    reportForkVoting: GenericTxCall<
+      Rv,
+      (
+        equivocationProof: SpConsensusBeefyForkVotingProof,
+        keyOwnerProof: SpSessionMembershipProof,
+      ) => ChainSubmittableExtrinsic<
+        Rv,
+        {
+          pallet: 'Beefy';
+          palletCall: {
+            name: 'ReportForkVoting';
+            params: { equivocationProof: SpConsensusBeefyForkVotingProof; keyOwnerProof: SpSessionMembershipProof };
+          };
+        }
+      >
+    >;
+
+    /**
+     * Report fork voting equivocation. This method will verify the equivocation proof
+     * and validate the given key ownership proof against the extracted offender.
+     * If both are valid, the offence will be reported.
+     *
+     * This extrinsic must be called unsigned and it is expected that only
+     * block authors will call it (validated in `ValidateUnsigned`), as such
+     * if the block author is defined it will be defined as the equivocation
+     * reporter.
+     *
+     * @param {SpConsensusBeefyForkVotingProof} equivocationProof
+     * @param {SpSessionMembershipProof} keyOwnerProof
+     **/
+    reportForkVotingUnsigned: GenericTxCall<
+      Rv,
+      (
+        equivocationProof: SpConsensusBeefyForkVotingProof,
+        keyOwnerProof: SpSessionMembershipProof,
+      ) => ChainSubmittableExtrinsic<
+        Rv,
+        {
+          pallet: 'Beefy';
+          palletCall: {
+            name: 'ReportForkVotingUnsigned';
+            params: { equivocationProof: SpConsensusBeefyForkVotingProof; keyOwnerProof: SpSessionMembershipProof };
+          };
+        }
+      >
+    >;
+
+    /**
+     * Report future block voting equivocation. This method will verify the equivocation proof
+     * and validate the given key ownership proof against the extracted offender.
+     * If both are valid, the offence will be reported.
+     *
+     * @param {SpConsensusBeefyFutureBlockVotingProof} equivocationProof
+     * @param {SpSessionMembershipProof} keyOwnerProof
+     **/
+    reportFutureBlockVoting: GenericTxCall<
+      Rv,
+      (
+        equivocationProof: SpConsensusBeefyFutureBlockVotingProof,
+        keyOwnerProof: SpSessionMembershipProof,
+      ) => ChainSubmittableExtrinsic<
+        Rv,
+        {
+          pallet: 'Beefy';
+          palletCall: {
+            name: 'ReportFutureBlockVoting';
+            params: {
+              equivocationProof: SpConsensusBeefyFutureBlockVotingProof;
+              keyOwnerProof: SpSessionMembershipProof;
+            };
+          };
+        }
+      >
+    >;
+
+    /**
+     * Report future block voting equivocation. This method will verify the equivocation proof
+     * and validate the given key ownership proof against the extracted offender.
+     * If both are valid, the offence will be reported.
+     *
+     * This extrinsic must be called unsigned and it is expected that only
+     * block authors will call it (validated in `ValidateUnsigned`), as such
+     * if the block author is defined it will be defined as the equivocation
+     * reporter.
+     *
+     * @param {SpConsensusBeefyFutureBlockVotingProof} equivocationProof
+     * @param {SpSessionMembershipProof} keyOwnerProof
+     **/
+    reportFutureBlockVotingUnsigned: GenericTxCall<
+      Rv,
+      (
+        equivocationProof: SpConsensusBeefyFutureBlockVotingProof,
+        keyOwnerProof: SpSessionMembershipProof,
+      ) => ChainSubmittableExtrinsic<
+        Rv,
+        {
+          pallet: 'Beefy';
+          palletCall: {
+            name: 'ReportFutureBlockVotingUnsigned';
+            params: {
+              equivocationProof: SpConsensusBeefyFutureBlockVotingProof;
+              keyOwnerProof: SpSessionMembershipProof;
+            };
+          };
+        }
+      >
+    >;
+
     /**
      * Generic pallet tx call
      **/

package/westend/types.d.ts

@@ -10722,7 +10722,7 @@ export type PalletBeefyCall =
    * will be reported.
    **/
   | {
-      name: 'ReportEquivocation';
+      name: 'ReportDoubleVoting';
       params: { equivocationProof: SpConsensusBeefyDoubleVotingProof; keyOwnerProof: SpSessionMembershipProof };
     }
   /**
@@ -10737,7 +10737,7 @@ export type PalletBeefyCall =
    * reporter.
    **/
   | {
-      name: 'ReportEquivocationUnsigned';
+      name: 'ReportDoubleVotingUnsigned';
       params: { equivocationProof: SpConsensusBeefyDoubleVotingProof; keyOwnerProof: SpSessionMembershipProof };
     }
   /**
@@ -10746,7 +10746,53 @@ export type PalletBeefyCall =
    *
    * Note: `delay_in_blocks` has to be at least 1.
    **/
-  | { name: 'SetNewGenesis'; params: { delayInBlocks: number } };
+  | { name: 'SetNewGenesis'; params: { delayInBlocks: number } }
+  /**
+   * Report fork voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   **/
+  | {
+      name: 'ReportForkVoting';
+      params: { equivocationProof: SpConsensusBeefyForkVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    }
+  /**
+   * Report fork voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   *
+   * This extrinsic must be called unsigned and it is expected that only
+   * block authors will call it (validated in `ValidateUnsigned`), as such
+   * if the block author is defined it will be defined as the equivocation
+   * reporter.
+   **/
+  | {
+      name: 'ReportForkVotingUnsigned';
+      params: { equivocationProof: SpConsensusBeefyForkVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    }
+  /**
+   * Report future block voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   **/
+  | {
+      name: 'ReportFutureBlockVoting';
+      params: { equivocationProof: SpConsensusBeefyFutureBlockVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    }
+  /**
+   * Report future block voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   *
+   * This extrinsic must be called unsigned and it is expected that only
+   * block authors will call it (validated in `ValidateUnsigned`), as such
+   * if the block author is defined it will be defined as the equivocation
+   * reporter.
+   **/
+  | {
+      name: 'ReportFutureBlockVotingUnsigned';
+      params: { equivocationProof: SpConsensusBeefyFutureBlockVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    };
 
 export type PalletBeefyCallLike =
   /**
@@ -10756,7 +10802,7 @@ export type PalletBeefyCallLike =
    * will be reported.
    **/
   | {
-      name: 'ReportEquivocation';
+      name: 'ReportDoubleVoting';
       params: { equivocationProof: SpConsensusBeefyDoubleVotingProof; keyOwnerProof: SpSessionMembershipProof };
     }
   /**
@@ -10771,7 +10817,7 @@ export type PalletBeefyCallLike =
    * reporter.
    **/
   | {
-      name: 'ReportEquivocationUnsigned';
+      name: 'ReportDoubleVotingUnsigned';
       params: { equivocationProof: SpConsensusBeefyDoubleVotingProof; keyOwnerProof: SpSessionMembershipProof };
     }
   /**
@@ -10780,7 +10826,53 @@ export type PalletBeefyCallLike =
    *
    * Note: `delay_in_blocks` has to be at least 1.
    **/
-  | { name: 'SetNewGenesis'; params: { delayInBlocks: number } };
+  | { name: 'SetNewGenesis'; params: { delayInBlocks: number } }
+  /**
+   * Report fork voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   **/
+  | {
+      name: 'ReportForkVoting';
+      params: { equivocationProof: SpConsensusBeefyForkVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    }
+  /**
+   * Report fork voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   *
+   * This extrinsic must be called unsigned and it is expected that only
+   * block authors will call it (validated in `ValidateUnsigned`), as such
+   * if the block author is defined it will be defined as the equivocation
+   * reporter.
+   **/
+  | {
+      name: 'ReportForkVotingUnsigned';
+      params: { equivocationProof: SpConsensusBeefyForkVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    }
+  /**
+   * Report future block voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   **/
+  | {
+      name: 'ReportFutureBlockVoting';
+      params: { equivocationProof: SpConsensusBeefyFutureBlockVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    }
+  /**
+   * Report future block voting equivocation. This method will verify the equivocation proof
+   * and validate the given key ownership proof against the extracted offender.
+   * If both are valid, the offence will be reported.
+   *
+   * This extrinsic must be called unsigned and it is expected that only
+   * block authors will call it (validated in `ValidateUnsigned`), as such
+   * if the block author is defined it will be defined as the equivocation
+   * reporter.
+   **/
+  | {
+      name: 'ReportFutureBlockVotingUnsigned';
+      params: { equivocationProof: SpConsensusBeefyFutureBlockVotingProof; keyOwnerProof: SpSessionMembershipProof };
+    };
 
 export type SpConsensusBeefyDoubleVotingProof = {
   first: SpConsensusBeefyVoteMessage;
@@ -10803,6 +10895,21 @@ export type SpConsensusBeefyCommitment = {
 
 export type SpConsensusBeefyPayload = Array<[FixedBytes<2>, Bytes]>;
 
+export type SpConsensusBeefyForkVotingProof = {
+  vote: SpConsensusBeefyVoteMessage;
+  ancestryProof: SpMmrPrimitivesAncestryProof;
+  header: Header;
+};
+
+export type SpMmrPrimitivesAncestryProof = {
+  prevPeaks: Array<H256>;
+  prevLeafCount: bigint;
+  leafCount: bigint;
+  items: Array<[bigint, H256]>;
+};
+
+export type SpConsensusBeefyFutureBlockVotingProof = { vote: SpConsensusBeefyVoteMessage };
+
 /**
  * Contains a variant per dispatchable extrinsic that this pallet has.
  **/
@@ -14460,9 +14567,21 @@ export type PalletBeefyError =
    **/
   | 'InvalidKeyOwnershipProof'
   /**
-   * An equivocation proof provided as part of an equivocation report is invalid.
+   * A double voting proof provided as part of an equivocation report is invalid.
    **/
-  | 'InvalidEquivocationProof'
+  | 'InvalidDoubleVotingProof'
+  /**
+   * A fork voting proof provided as part of an equivocation report is invalid.
+   **/
+  | 'InvalidForkVotingProof'
+  /**
+   * A future block voting proof provided as part of an equivocation report is invalid.
+   **/
+  | 'InvalidFutureBlockVotingProof'
+  /**
+   * The session of the equivocation proof is invalid
+   **/
+  | 'InvalidEquivocationProofSession'
   /**
    * A given equivocation report is valid but already previously reported.
    **/