git.delta.rocks / unique-network / refs/commits / 2477690c31b6

1// Copyright 2019-2022 Unique Network (Gibraltar) Ltd.2// This file is part of Unique Network.34// Unique Network is free software: you can redistribute it and/or modify5// it under the terms of the GNU General Public License as published by6// the Free Software Foundation, either version 3 of the License, or7// (at your option) any later version.89// Unique Network is distributed in the hope that it will be useful,10// but WITHOUT ANY WARRANTY; without even the implied warranty of11// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the12// GNU General Public License for more details.1314// You should have received a copy of the GNU General Public License15// along with Unique Network. If not, see <http://www.gnu.org/licenses/>.1617use frame_support::{18	traits::{Everything, Get},19	parameter_types,20};21use frame_system::EnsureRoot;22use pallet_xcm::XcmPassthrough;23use polkadot_parachain::primitives::Sibling;24use xcm::latest::{prelude::*, Weight, MultiLocation, NetworkId};25use xcm_builder::{26	AccountId32Aliases, EnsureXcmOrigin, FixedWeightBounds, LocationInverter, ParentAsSuperuser,27	RelayChainAsNative, SiblingParachainAsNative, SiblingParachainConvertsVia,28	SignedAccountId32AsNative, SignedToAccountId32, SovereignSignedViaLocation, ParentIsPreset,29};30use xcm_executor::{Config, XcmExecutor, traits::ShouldExecute};31use sp_std::{marker::PhantomData, vec::Vec};32use crate::{33	Runtime, RuntimeCall, RuntimeEvent, RuntimeOrigin, ParachainInfo, ParachainSystem, PolkadotXcm,34	XcmpQueue, xcm_barrier::Barrier,35};3637use up_common::types::AccountId;3839#[cfg(feature = "foreign-assets")]40pub mod foreignassets;4142#[cfg(not(feature = "foreign-assets"))]43pub mod nativeassets;4445#[cfg(feature = "foreign-assets")]46pub use foreignassets as xcm_assets;4748#[cfg(not(feature = "foreign-assets"))]49pub use nativeassets as xcm_assets;5051use xcm_assets::{AssetTransactors, IsReserve, Trader};5253parameter_types! {54	pub const RelayLocation: MultiLocation = MultiLocation::parent();55	pub const RelayNetwork: NetworkId = NetworkId::Polkadot;56	pub RelayOrigin: RuntimeOrigin = cumulus_pallet_xcm::Origin::Relay.into();57	pub Ancestry: MultiLocation = Parachain(ParachainInfo::parachain_id().into()).into();58	pub SelfLocation: MultiLocation = MultiLocation::new(1, X1(Parachain(ParachainInfo::get().into())));5960	// One XCM operation is 1_000_000 weight - almost certainly a conservative estimate.61	pub UnitWeightCost: Weight = 1_000_000;62	pub const MaxInstructions: u32 = 100;63}6465/// Type for specifying how a `MultiLocation` can be converted into an `AccountId`. This is used66/// when determining ownership of accounts for asset transacting and when attempting to use XCM67/// `Transact` in order to determine the dispatch Origin.68pub type LocationToAccountId = (69	// The parent (Relay-chain) origin converts to the default `AccountId`.70	ParentIsPreset<AccountId>,71	// Sibling parachain origins convert to AccountId via the `ParaId::into`.72	SiblingParachainConvertsVia<Sibling, AccountId>,73	// Straight up local `AccountId32` origins just alias directly to `AccountId`.74	AccountId32Aliases<RelayNetwork, AccountId>,75);7677/// No local origins on this chain are allowed to dispatch XCM sends/executions.78pub type LocalOriginToLocation = (SignedToAccountId32<RuntimeOrigin, AccountId, RelayNetwork>,);7980/// The means for routing XCM messages which are not for local execution into the right message81/// queues.82pub type XcmRouter = (83	// Two routers - use UMP to communicate with the relay chain:84	cumulus_primitives_utility::ParentAsUmp<ParachainSystem, ()>,85	// ..and XCMP to communicate with the sibling chains.86	XcmpQueue,87);8889/// This is the type we use to convert an (incoming) XCM origin into a local `Origin` instance,90/// ready for dispatching a transaction with Xcm's `Transact`. There is an `OriginKind` which can91/// biases the kind of local `Origin` it will become.92pub type XcmOriginToTransactDispatchOrigin = (93	// Sovereign account converter; this attempts to derive an `AccountId` from the origin location94	// using `LocationToAccountId` and then turn that into the usual `Signed` origin. Useful for95	// foreign chains who want to have a local sovereign account on this chain which they control.96	SovereignSignedViaLocation<LocationToAccountId, RuntimeOrigin>,97	// Native converter for Relay-chain (Parent) location; will converts to a `Relay` origin when98	// recognised.99	RelayChainAsNative<RelayOrigin, RuntimeOrigin>,100	// Native converter for sibling Parachains; will convert to a `SiblingPara` origin when101	// recognised.102	SiblingParachainAsNative<cumulus_pallet_xcm::Origin, RuntimeOrigin>,103	// Superuser converter for the Relay-chain (Parent) location. This will allow it to issue a104	// transaction from the Root origin.105	ParentAsSuperuser<RuntimeOrigin>,106	// Native signed account converter; this just converts an `AccountId32` origin into a normal107	// `Origin::Signed` origin of the same 32-byte value.108	SignedAccountId32AsNative<RelayNetwork, RuntimeOrigin>,109	// Xcm origins can be represented natively under the Xcm pallet's Xcm origin.110	XcmPassthrough<RuntimeOrigin>,111);112113pub trait TryPass {114	fn try_pass<Call>(origin: &MultiLocation, message: &mut Xcm<Call>) -> Result<(), ()>;115}116117#[impl_trait_for_tuples::impl_for_tuples(30)]118impl TryPass for Tuple {119	fn try_pass<Call>(origin: &MultiLocation, message: &mut Xcm<Call>) -> Result<(), ()> {120		for_tuples!( #(121			Tuple::try_pass(origin, message)?;122		)* );123124		Ok(())125	}126}127128pub struct DenyTransact;129impl TryPass for DenyTransact {130	fn try_pass<Call>(_origin: &MultiLocation, message: &mut Xcm<Call>) -> Result<(), ()> {131		let transact_inst = message132			.0133			.iter()134			.find(|inst| matches![inst, Instruction::Transact { .. }]);135136		if transact_inst.is_some() {137			log::warn!(138				target: "xcm::barrier",139				"transact XCM rejected"140			);141142			Err(())143		} else {144			Ok(())145		}146	}147}148149/// Deny executing the XCM if it matches any of the Deny filter regardless of anything else.150/// If it passes the Deny, and matches one of the Allow cases then it is let through.151pub struct DenyThenTry<Deny, Allow>(PhantomData<Deny>, PhantomData<Allow>)152where153	Deny: TryPass,154	Allow: ShouldExecute;155156impl<Deny, Allow> ShouldExecute for DenyThenTry<Deny, Allow>157where158	Deny: TryPass,159	Allow: ShouldExecute,160{161	fn should_execute<Call>(162		origin: &MultiLocation,163		message: &mut Xcm<Call>,164		max_weight: Weight,165		weight_credit: &mut Weight,166	) -> Result<(), ()> {167		Deny::try_pass(origin, message)?;168		Allow::should_execute(origin, message, max_weight, weight_credit)169	}170}171172// Allow xcm exchange only with locations in list173pub struct DenyExchangeWithUnknownLocation<T>(PhantomData<T>);174impl<T: Get<Vec<MultiLocation>>> TryPass for DenyExchangeWithUnknownLocation<T> {175	fn try_pass<Call>(origin: &MultiLocation, message: &mut Xcm<Call>) -> Result<(), ()> {176		let allowed_locations = T::get();177178		// Check if deposit or transfer belongs to allowed parachains179		let mut allowed = allowed_locations.contains(origin);180181		message.0.iter().for_each(|inst| match inst {182			DepositReserveAsset { dest: dst, .. } => {183				allowed |= allowed_locations.contains(dst);184			}185			TransferReserveAsset { dest: dst, .. } => {186				allowed |= allowed_locations.contains(dst);187			}188			InitiateReserveWithdraw { reserve: dst, .. } => {189				allowed |= allowed_locations.contains(dst);190			}191			_ => {}192		});193194		if allowed {195			return Ok(());196		}197198		log::warn!(199			target: "xcm::barrier",200			"Unexpected deposit or transfer location"201		);202		// Deny203		Err(())204	}205}206207pub type Weigher = FixedWeightBounds<UnitWeightCost, RuntimeCall, MaxInstructions>;208209pub struct XcmConfig<T>(PhantomData<T>);210impl<T> Config for XcmConfig<T>211where212	T: pallet_configuration::Config,213{214	type RuntimeCall = RuntimeCall;215	type XcmSender = XcmRouter;216	// How to withdraw and deposit an asset.217	type AssetTransactor = AssetTransactors;218	type OriginConverter = XcmOriginToTransactDispatchOrigin;219	type IsReserve = IsReserve;220	type IsTeleporter = (); // Teleportation is disabled221	type LocationInverter = LocationInverter<Ancestry>;222	type Barrier = Barrier;223	type Weigher = Weigher;224	type Trader = Trader<T>;225	type ResponseHandler = (); // Don't handle responses for now.226	type SubscriptionService = PolkadotXcm;227228	type AssetTrap = PolkadotXcm;229	type AssetClaims = PolkadotXcm;230}231232impl pallet_xcm::Config for Runtime {233	type RuntimeEvent = RuntimeEvent;234	type SendXcmOrigin = EnsureXcmOrigin<RuntimeOrigin, LocalOriginToLocation>;235	type XcmRouter = XcmRouter;236	type ExecuteXcmOrigin = EnsureXcmOrigin<RuntimeOrigin, LocalOriginToLocation>;237	type XcmExecuteFilter = Everything;238	type XcmExecutor = XcmExecutor<XcmConfig<Self>>;239	type XcmTeleportFilter = Everything;240	type XcmReserveTransferFilter = Everything;241	type Weigher = FixedWeightBounds<UnitWeightCost, RuntimeCall, MaxInstructions>;242	type LocationInverter = LocationInverter<Ancestry>;243	type RuntimeOrigin = RuntimeOrigin;244	type RuntimeCall = RuntimeCall;245	const VERSION_DISCOVERY_QUEUE_SIZE: u32 = 100;246	type AdvertisedXcmVersion = pallet_xcm::CurrentXcmVersion;247}248249impl cumulus_pallet_xcm::Config for Runtime {250	type RuntimeEvent = RuntimeEvent;251	type XcmExecutor = XcmExecutor<XcmConfig<Self>>;252}253254impl cumulus_pallet_xcmp_queue::Config for Runtime {255	type WeightInfo = ();256	type RuntimeEvent = RuntimeEvent;257	type XcmExecutor = XcmExecutor<XcmConfig<Self>>;258	type ChannelInfo = ParachainSystem;259	type VersionWrapper = ();260	type ExecuteOverweightOrigin = frame_system::EnsureRoot<AccountId>;261	type ControllerOrigin = EnsureRoot<AccountId>;262	type ControllerOriginConverter = XcmOriginToTransactDispatchOrigin;263}264265impl cumulus_pallet_dmp_queue::Config for Runtime {266	type RuntimeEvent = RuntimeEvent;267	type XcmExecutor = XcmExecutor<XcmConfig<Self>>;268	type ExecuteOverweightOrigin = frame_system::EnsureRoot<AccountId>;269}