Transactional processing for XCM (#1222)

Moved from: paritytech/polkadot#6951 closes #490 - [x] update cumulus --- This PR introduces transactional processing of certain xcm instructions. For the list of instructions checkout #490. The transactional processing is implemented as an xcm-executor config item. The two implementations in this PR are `FrameTransactionalProcessor` and `()`. The `()` implementation does no transactional processing. Each implementation of the `ProcessTransaction` trait has an `IS_TRANSACTIONAL` const that tells the XCVM if transactional processing is actually implemented. If Transactional processing is implemented, changes to touched registers should also be rolled back to prevent inconsistencies. Note for reviewers: Check out the following safety assumption: https://github.com/paritytech/polkadot-sdk/pull/1222/files#diff-4effad7d8c1c9de19fd27e18661cbf2128c8718f3b2420a27d2f816e0749ea53R30 --------- Co-authored-by: Keith Yeung <kungfukeith11@gmail.com> Co-authored-by: Francisco Aguirre <franciscoaguirreperez@gmail.com> Co-authored-by: command-bot <>
paritytech · Feb 1, 2024 · e0bc77e · e0bc77e
1 parent 4c5e93b
commit e0bc77e
Show file tree

Hide file tree

Showing 54 changed files with 5,240 additions and 228 deletions.
diff --git a/cumulus/pallets/xcmp-queue/src/mock.rs b/cumulus/pallets/xcmp-queue/src/mock.rs
@@ -30,7 +30,7 @@ use sp_runtime::{
  BuildStorage,
 };
 use xcm::prelude::*;
-use xcm_builder::{CurrencyAdapter, FixedWeightBounds, IsConcrete, NativeAsset, ParentIsPreset};
+use xcm_builder::{CurrencyAdapter, FixedWeightBounds, FrameTransactionalProcessor, IsConcrete, NativeAsset, ParentIsPreset};
 use xcm_executor::traits::ConvertOrigin;
 
 type Block = frame_system::mocking::MockBlock<Test>;
@@ -172,6 +172,7 @@ impl xcm_executor::Config for XcmConfig {
  type CallDispatcher = RuntimeCall;
  type SafeCallFilter = Everything;
  type Aliasers = Nothing;
+ type TransactionalProcessor = FrameTransactionalProcessor;
 }
 
 pub type XcmRouter = (

diff --git a/cumulus/parachain-template/runtime/src/xcm_config.rs b/cumulus/parachain-template/runtime/src/xcm_config.rs
@@ -15,7 +15,7 @@ use xcm::latest::prelude::*;
 use xcm_builder::{
  AccountId32Aliases, AllowExplicitUnpaidExecutionFrom, AllowTopLevelPaidExecutionFrom,
  CurrencyAdapter, DenyReserveTransferToRelayChain, DenyThenTry, EnsureXcmOrigin,
- FixedWeightBounds, IsConcrete, NativeAsset, ParentIsPreset, RelayChainAsNative,
+ FixedWeightBounds, FrameTransactionalProcessor, IsConcrete, NativeAsset, ParentIsPreset, RelayChainAsNative,
  SiblingParachainAsNative, SiblingParachainConvertsVia, SignedAccountId32AsNative,
  SignedToAccountId32, SovereignSignedViaLocation, TakeWeightCredit, TrailingSetTopicAsId,
  UsingComponents, WithComputedOrigin, WithUniqueTopic,
@@ -136,6 +136,7 @@ impl xcm_executor::Config for XcmConfig {
  type CallDispatcher = RuntimeCall;
  type SafeCallFilter = Everything;
  type Aliasers = Nothing;
+ type TransactionalProcessor = FrameTransactionalProcessor;
 }
 
 /// No local origins on this chain are allowed to dispatch XCM sends/executions.

diff --git a/cumulus/parachains/runtimes/assets/asset-hub-rococo/src/lib.rs b/cumulus/parachains/runtimes/assets/asset-hub-rococo/src/lib.rs
@@ -1537,6 +1537,13 @@ impl_runtime_apis! {
  Ok((origin, ticket, assets))
  }
 
+ fn fee_asset() -> Result<MultiAsset, BenchmarkError> {
+ Ok(MultiAsset {
+ id: Concrete(TokenLocation::get()),
+ fun: Fungible(1_000_000 * UNITS),
+ })
+ }
+
  fn unlockable_asset() -> Result<(MultiLocation, MultiLocation, MultiAsset), BenchmarkError> {
  Err(BenchmarkError::Skip)
  }

diff --git a/cumulus/parachains/runtimes/assets/asset-hub-rococo/src/xcm_config.rs b/cumulus/parachains/runtimes/assets/asset-hub-rococo/src/xcm_config.rs
@@ -46,7 +46,7 @@ use xcm_builder::{
  AccountId32Aliases, AllowExplicitUnpaidExecutionFrom, AllowKnownQueryResponses,
  AllowSubscriptionsFrom, AllowTopLevelPaidExecutionFrom, CurrencyAdapter,
  DenyReserveTransferToRelayChain, DenyThenTry, DescribeAllTerminal, DescribeFamily,
- EnsureXcmOrigin, FungiblesAdapter, GlobalConsensusParachainConvertsFor, HashedDescription,
+ EnsureXcmOrigin, FrameTransactionalProcessor, FungiblesAdapter, GlobalConsensusParachainConvertsFor, HashedDescription,
  IsConcrete, LocalMint, NetworkExportTableItem, NoChecking, ParentAsSuperuser, ParentIsPreset,
  RelayChainAsNative, SiblingParachainAsNative, SiblingParachainConvertsVia,
  SignedAccountId32AsNative, SignedToAccountId32, SovereignSignedViaLocation, StartsWith,
@@ -607,6 +607,7 @@ impl xcm_executor::Config for XcmConfig {
  type CallDispatcher = WithOriginFilter<SafeCallFilter>;
  type SafeCallFilter = SafeCallFilter;
  type Aliasers = Nothing;
+ type TransactionalProcessor = FrameTransactionalProcessor;
 }
 
 /// Converts a local signed origin into an XCM multilocation.

diff --git a/cumulus/parachains/runtimes/assets/asset-hub-westend/src/lib.rs b/cumulus/parachains/runtimes/assets/asset-hub-westend/src/lib.rs
@@ -1614,6 +1614,13 @@ impl_runtime_apis! {
  Ok((origin, ticket, assets))
  }
 
+ fn fee_asset() -> Result<MultiAsset, BenchmarkError> {
+ Ok(MultiAsset {
+ id: Concrete(WestendLocation::get()),
+ fun: Fungible(1_000_000 * UNITS),
+ })
+ }
+
  fn unlockable_asset() -> Result<(MultiLocation, MultiLocation, MultiAsset), BenchmarkError> {
  Err(BenchmarkError::Skip)
  }

diff --git a/cumulus/parachains/runtimes/assets/asset-hub-westend/src/xcm_config.rs b/cumulus/parachains/runtimes/assets/asset-hub-westend/src/xcm_config.rs
@@ -46,6 +46,7 @@ use xcm_builder::{
  AccountId32Aliases, AllowExplicitUnpaidExecutionFrom, AllowKnownQueryResponses,
  AllowSubscriptionsFrom, AllowTopLevelPaidExecutionFrom, CurrencyAdapter,
  DenyReserveTransferToRelayChain, DenyThenTry, DescribeFamily, DescribePalletTerminal,
+ FrameTransactionalProcessor,
  EnsureXcmOrigin, FungiblesAdapter, GlobalConsensusParachainConvertsFor, HashedDescription,
  IsConcrete, LocalMint, NetworkExportTableItem, NoChecking, ParentAsSuperuser, ParentIsPreset,
  RelayChainAsNative, SiblingParachainAsNative, SiblingParachainConvertsVia,
@@ -613,6 +614,7 @@ impl xcm_executor::Config for XcmConfig {
  type CallDispatcher = WithOriginFilter<SafeCallFilter>;
  type SafeCallFilter = SafeCallFilter;
  type Aliasers = Nothing;
+ type TransactionalProcessor = FrameTransactionalProcessor;
 }
 
 /// Local origins on this chain are allowed to dispatch XCM sends/executions.

diff --git a/cumulus/parachains/runtimes/bridge-hubs/bridge-hub-rococo/src/lib.rs b/cumulus/parachains/runtimes/bridge-hubs/bridge-hub-rococo/src/lib.rs
@@ -927,6 +927,13 @@ impl_runtime_apis! {
  Ok((origin, ticket, assets))
  }
 
+ fn fee_asset() -> Result<MultiAsset, BenchmarkError> {
+ Ok(MultiAsset {
+ id: Concrete(TokenLocation::get()),
+ fun: Fungible(1_000_000 * UNITS),
+ })
+ }
+
  fn unlockable_asset() -> Result<(MultiLocation, MultiLocation, MultiAsset), BenchmarkError> {
  Err(BenchmarkError::Skip)
  }

diff --git a/cumulus/parachains/runtimes/bridge-hubs/bridge-hub-rococo/src/xcm_config.rs b/cumulus/parachains/runtimes/bridge-hubs/bridge-hub-rococo/src/xcm_config.rs
@@ -46,7 +46,7 @@ use xcm::latest::prelude::*;
 use xcm_builder::{
  deposit_or_burn_fee, AccountId32Aliases, AllowExplicitUnpaidExecutionFrom,
  AllowKnownQueryResponses, AllowSubscriptionsFrom, AllowTopLevelPaidExecutionFrom,
- CurrencyAdapter, DenyReserveTransferToRelayChain, DenyThenTry, EnsureXcmOrigin, HandleFee,
+ CurrencyAdapter, DenyReserveTransferToRelayChain, DenyThenTry, EnsureXcmOrigin, FrameTransactionalProcessor, HandleFee,
  IsConcrete, ParentAsSuperuser, ParentIsPreset, RelayChainAsNative, SiblingParachainAsNative,
  SiblingParachainConvertsVia, SignedAccountId32AsNative, SignedToAccountId32,
  SovereignSignedViaLocation, TakeWeightCredit, TrailingSetTopicAsId, UsingComponents,
@@ -289,6 +289,7 @@ impl xcm_executor::Config for XcmConfig {
  type CallDispatcher = WithOriginFilter<SafeCallFilter>;
  type SafeCallFilter = SafeCallFilter;
  type Aliasers = Nothing;
+ type TransactionalProcessor = FrameTransactionalProcessor;
 }
 
 pub type PriceForParentDelivery =

diff --git a/cumulus/parachains/runtimes/bridge-hubs/bridge-hub-westend/src/lib.rs b/cumulus/parachains/runtimes/bridge-hubs/bridge-hub-westend/src/lib.rs
@@ -916,6 +916,13 @@ impl_runtime_apis! {
  Ok((origin, ticket, assets))
  }
 
+ fn fee_asset() -> Result<MultiAsset, BenchmarkError> {
+ Ok(MultiAsset {
+ id: Concrete(WestendLocation::get()),
+ fun: Fungible(1_000_000 * UNITS),
+ })
+ }
+
  fn unlockable_asset() -> Result<(MultiLocation, MultiLocation, MultiAsset), BenchmarkError> {
  Err(BenchmarkError::Skip)
  }

diff --git a/cumulus/parachains/runtimes/bridge-hubs/bridge-hub-westend/src/xcm_config.rs b/cumulus/parachains/runtimes/bridge-hubs/bridge-hub-westend/src/xcm_config.rs
@@ -39,7 +39,7 @@ use xcm::latest::prelude::*;
 use xcm_builder::{
  AccountId32Aliases, AllowExplicitUnpaidExecutionFrom, AllowKnownQueryResponses,
  AllowSubscriptionsFrom, AllowTopLevelPaidExecutionFrom, CurrencyAdapter,
- DenyReserveTransferToRelayChain, DenyThenTry, EnsureXcmOrigin, IsConcrete, ParentAsSuperuser,
+ DenyReserveTransferToRelayChain, DenyThenTry, EnsureXcmOrigin, FrameTransactionalProcessor, IsConcrete, ParentAsSuperuser,
  ParentIsPreset, RelayChainAsNative, SiblingParachainAsNative, SiblingParachainConvertsVia,
  SignedAccountId32AsNative, SignedToAccountId32, SovereignSignedViaLocation, TakeWeightCredit,
  TrailingSetTopicAsId, UsingComponents, WeightInfoBounds, WithComputedOrigin, WithUniqueTopic,
@@ -268,6 +268,7 @@ impl xcm_executor::Config for XcmConfig {
  type CallDispatcher = WithOriginFilter<SafeCallFilter>;
  type SafeCallFilter = SafeCallFilter;
  type Aliasers = Nothing;
+ type TransactionalProcessor = FrameTransactionalProcessor;
 }
 
 pub type PriceForParentDelivery =

diff --git a/cumulus/parachains/runtimes/collectives/collectives-westend/src/xcm_config.rs b/cumulus/parachains/runtimes/collectives/collectives-westend/src/xcm_config.rs
@@ -36,7 +36,7 @@ use xcm::latest::prelude::*;
 use xcm_builder::{
  AccountId32Aliases, AllowExplicitUnpaidExecutionFrom, AllowKnownQueryResponses,
  AllowSubscriptionsFrom, AllowTopLevelPaidExecutionFrom, CurrencyAdapter,
- DenyReserveTransferToRelayChain, DenyThenTry, EnsureXcmOrigin, FixedWeightBounds, IsConcrete,
+ DenyReserveTransferToRelayChain, DenyThenTry, EnsureXcmOrigin, FixedWeightBounds, FrameTransactionalProcessor, IsConcrete,
  LocatableAssetId, OriginToPluralityVoice, ParentAsSuperuser, ParentIsPreset,
  RelayChainAsNative, SiblingParachainAsNative, SiblingParachainConvertsVia,
  SignedAccountId32AsNative, SignedToAccountId32, SovereignSignedViaLocation, TakeWeightCredit,
@@ -305,6 +305,7 @@ impl xcm_executor::Config for XcmConfig {
  type CallDispatcher = WithOriginFilter<SafeCallFilter>;
  type SafeCallFilter = SafeCallFilter;
  type Aliasers = Nothing;
+ type TransactionalProcessor = FrameTransactionalProcessor;
 }
 
 /// Converts a local signed origin into an XCM multilocation.

diff --git a/cumulus/parachains/runtimes/contracts/contracts-rococo/src/xcm_config.rs b/cumulus/parachains/runtimes/contracts/contracts-rococo/src/xcm_config.rs
@@ -38,7 +38,7 @@ use xcm::latest::prelude::*;
 use xcm_builder::{
  AccountId32Aliases, AllowExplicitUnpaidExecutionFrom, AllowKnownQueryResponses,
  AllowSubscriptionsFrom, AllowTopLevelPaidExecutionFrom, CurrencyAdapter,
- DenyReserveTransferToRelayChain, DenyThenTry, EnsureXcmOrigin, FixedWeightBounds, IsConcrete,
+ DenyReserveTransferToRelayChain, DenyThenTry, EnsureXcmOrigin, FixedWeightBounds, FrameTransactionalProcessor, IsConcrete,
  NativeAsset, ParentAsSuperuser, ParentIsPreset, RelayChainAsNative, SiblingParachainAsNative,
  SiblingParachainConvertsVia, SignedAccountId32AsNative, SignedToAccountId32,
  SovereignSignedViaLocation, TakeWeightCredit, TrailingSetTopicAsId, UsingComponents,
@@ -209,6 +209,7 @@ impl xcm_executor::Config for XcmConfig {
  type CallDispatcher = RuntimeCall;
  type SafeCallFilter = Everything;
  type Aliasers = Nothing;
+ type TransactionalProcessor = FrameTransactionalProcessor;
 }
 
 /// Converts a local signed origin into an XCM multilocation.