git.delta.rocks / unique-network / refs/commits / ea8fa39bcf35

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	weights::Weight,20	parameter_types,21};22use frame_system::EnsureRoot;23use pallet_xcm::XcmPassthrough;24use polkadot_parachain::primitives::Sibling;25use xcm::v1::{Junction::*, MultiLocation, NetworkId};26use xcm::latest::prelude::*;27use xcm_builder::{28	AccountId32Aliases, EnsureXcmOrigin, FixedWeightBounds, LocationInverter, ParentAsSuperuser,29	RelayChainAsNative, SiblingParachainAsNative, SiblingParachainConvertsVia,30	SignedAccountId32AsNative, SignedToAccountId32, SovereignSignedViaLocation, ParentIsPreset,31};32use xcm_executor::{Config, XcmExecutor, traits::ShouldExecute};33use sp_std::{marker::PhantomData, vec::Vec};34use crate::{35	Runtime, Call, Event, Origin, ParachainInfo, ParachainSystem, PolkadotXcm, XcmpQueue,36	xcm_barrier::Barrier,37};3839use up_common::types::AccountId;4041#[cfg(feature = "foreign-assets")]42pub mod foreignassets;4344#[cfg(not(feature = "foreign-assets"))]45pub mod nativeassets;4647#[cfg(feature = "foreign-assets")]48pub use foreignassets as xcm_assets;4950#[cfg(not(feature = "foreign-assets"))]51pub use nativeassets as xcm_assets;5253use xcm_assets::{AssetTransactors, IsReserve, Trader};5455parameter_types! {56	pub const RelayLocation: MultiLocation = MultiLocation::parent();57	pub const RelayNetwork: NetworkId = NetworkId::Polkadot;58	pub RelayOrigin: Origin = cumulus_pallet_xcm::Origin::Relay.into();59	pub Ancestry: MultiLocation = Parachain(ParachainInfo::parachain_id().into()).into();60	pub SelfLocation: MultiLocation = MultiLocation::new(1, X1(Parachain(ParachainInfo::get().into())));6162	// One XCM operation is 1_000_000 weight - almost certainly a conservative estimate.63	pub UnitWeightCost: Weight = 1_000_000;64	pub const MaxInstructions: u32 = 100;65}6667/// Type for specifying how a `MultiLocation` can be converted into an `AccountId`. This is used68/// when determining ownership of accounts for asset transacting and when attempting to use XCM69/// `Transact` in order to determine the dispatch Origin.70pub type LocationToAccountId = (71	// The parent (Relay-chain) origin converts to the default `AccountId`.72	ParentIsPreset<AccountId>,73	// Sibling parachain origins convert to AccountId via the `ParaId::into`.74	SiblingParachainConvertsVia<Sibling, AccountId>,75	// Straight up local `AccountId32` origins just alias directly to `AccountId`.76	AccountId32Aliases<RelayNetwork, AccountId>,77);7879/// No local origins on this chain are allowed to dispatch XCM sends/executions.80pub type LocalOriginToLocation = (SignedToAccountId32<Origin, AccountId, RelayNetwork>,);8182/// The means for routing XCM messages which are not for local execution into the right message83/// queues.84pub type XcmRouter = (85	// Two routers - use UMP to communicate with the relay chain:86	cumulus_primitives_utility::ParentAsUmp<ParachainSystem, ()>,87	// ..and XCMP to communicate with the sibling chains.88	XcmpQueue,89);9091/// This is the type we use to convert an (incoming) XCM origin into a local `Origin` instance,92/// ready for dispatching a transaction with Xcm's `Transact`. There is an `OriginKind` which can93/// biases the kind of local `Origin` it will become.94pub type XcmOriginToTransactDispatchOrigin = (95	// Sovereign account converter; this attempts to derive an `AccountId` from the origin location96	// using `LocationToAccountId` and then turn that into the usual `Signed` origin. Useful for97	// foreign chains who want to have a local sovereign account on this chain which they control.98	SovereignSignedViaLocation<LocationToAccountId, Origin>,99	// Native converter for Relay-chain (Parent) location; will converts to a `Relay` origin when100	// recognised.101	RelayChainAsNative<RelayOrigin, Origin>,102	// Native converter for sibling Parachains; will convert to a `SiblingPara` origin when103	// recognised.104	SiblingParachainAsNative<cumulus_pallet_xcm::Origin, Origin>,105	// Superuser converter for the Relay-chain (Parent) location. This will allow it to issue a106	// transaction from the Root origin.107	ParentAsSuperuser<Origin>,108	// Native signed account converter; this just converts an `AccountId32` origin into a normal109	// `Origin::Signed` origin of the same 32-byte value.110	SignedAccountId32AsNative<RelayNetwork, Origin>,111	// Xcm origins can be represented natively under the Xcm pallet's Xcm origin.112	XcmPassthrough<Origin>,113);114115pub trait TryPass {116	fn try_pass<Call>(origin: &MultiLocation, message: &mut Xcm<Call>) -> Result<(), ()>;117}118119#[impl_trait_for_tuples::impl_for_tuples(30)]120impl TryPass for Tuple {121	fn try_pass<Call>(origin: &MultiLocation, message: &mut Xcm<Call>) -> Result<(), ()> {122		for_tuples!( #(123			Tuple::try_pass(origin, message)?;124		)* );125126		Ok(())127	}128}129130pub struct DenyTransact;131impl TryPass for DenyTransact {132	fn try_pass<Call>(_origin: &MultiLocation, message: &mut Xcm<Call>) -> Result<(), ()> {133		let transact_inst = message134			.0135			.iter()136			.find(|inst| matches![inst, Instruction::Transact { .. }]);137138		if transact_inst.is_some() {139			log::warn!(140				target: "xcm::barrier",141				"transact XCM rejected"142			);143144			Err(())145		} else {146			Ok(())147		}148	}149}150151/// Deny executing the XCM if it matches any of the Deny filter regardless of anything else.152/// If it passes the Deny, and matches one of the Allow cases then it is let through.153pub struct DenyThenTry<Deny, Allow>(PhantomData<Deny>, PhantomData<Allow>)154where155	Deny: TryPass,156	Allow: ShouldExecute;157158impl<Deny, Allow> ShouldExecute for DenyThenTry<Deny, Allow>159where160	Deny: TryPass,161	Allow: ShouldExecute,162{163	fn should_execute<Call>(164		origin: &MultiLocation,165		message: &mut Xcm<Call>,166		max_weight: Weight,167		weight_credit: &mut Weight,168	) -> Result<(), ()> {169		Deny::try_pass(origin, message)?;170		Allow::should_execute(origin, message, max_weight, weight_credit)171	}172}173174// Allow xcm exchange only with locations in list175pub struct DenyExchangeWithUnknownLocation<T>(PhantomData<T>);176impl<T: Get<Vec<MultiLocation>>> TryPass for DenyExchangeWithUnknownLocation<T> {177	fn try_pass<Call>(origin: &MultiLocation, message: &mut Xcm<Call>) -> Result<(), ()> {178		let allowed_locations = T::get();179180		// Check if deposit or transfer belongs to allowed parachains181		let mut allowed = allowed_locations.contains(origin);182183		message.0.iter().for_each(|inst| match inst {184			DepositReserveAsset { dest: dst, .. } => {185				allowed |= allowed_locations.contains(dst);186			}187			TransferReserveAsset { dest: dst, .. } => {188				allowed |= allowed_locations.contains(dst);189			}190			_ => {}191		});192193		if allowed {194			return Ok(());195		}196197		log::warn!(198			target: "xcm::barrier",199			"Unexpected deposit or transfer location"200		);201		// Deny202		Err(())203	}204}205206pub type Weigher = FixedWeightBounds<UnitWeightCost, Call, MaxInstructions>;207208pub struct XcmConfig<T>(PhantomData<T>);209impl<T> Config for XcmConfig<T>210where211	T: pallet_configuration::Config,212{213	type Call = Call;214	type XcmSender = XcmRouter;215	// How to withdraw and deposit an asset.216	type AssetTransactor = AssetTransactors;217	type OriginConverter = XcmOriginToTransactDispatchOrigin;218	type IsReserve = IsReserve;219	type IsTeleporter = (); // Teleportation is disabled220	type LocationInverter = LocationInverter<Ancestry>;221	type Barrier = Barrier;222	type Weigher = Weigher;223	type Trader = Trader<T>;224	type ResponseHandler = (); // Don't handle responses for now.225	type SubscriptionService = PolkadotXcm;226227	type AssetTrap = PolkadotXcm;228	type AssetClaims = PolkadotXcm;229}230231impl pallet_xcm::Config for Runtime {232	type Event = Event;233	type SendXcmOrigin = EnsureXcmOrigin<Origin, LocalOriginToLocation>;234	type XcmRouter = XcmRouter;235	type ExecuteXcmOrigin = EnsureXcmOrigin<Origin, LocalOriginToLocation>;236	type XcmExecuteFilter = Everything;237	type XcmExecutor = XcmExecutor<XcmConfig<Self>>;238	type XcmTeleportFilter = Everything;239	type XcmReserveTransferFilter = Everything;240	type Weigher = FixedWeightBounds<UnitWeightCost, Call, MaxInstructions>;241	type LocationInverter = LocationInverter<Ancestry>;242	type Origin = Origin;243	type Call = Call;244	const VERSION_DISCOVERY_QUEUE_SIZE: u32 = 100;245	type AdvertisedXcmVersion = pallet_xcm::CurrentXcmVersion;246}247248impl cumulus_pallet_xcm::Config for Runtime {249	type Event = Event;250	type XcmExecutor = XcmExecutor<XcmConfig<Self>>;251}252253impl cumulus_pallet_xcmp_queue::Config for Runtime {254	type WeightInfo = ();255	type Event = Event;256	type XcmExecutor = XcmExecutor<XcmConfig<Self>>;257	type ChannelInfo = ParachainSystem;258	type VersionWrapper = ();259	type ExecuteOverweightOrigin = frame_system::EnsureRoot<AccountId>;260	type ControllerOrigin = EnsureRoot<AccountId>;261	type ControllerOriginConverter = XcmOriginToTransactDispatchOrigin;262}263264impl cumulus_pallet_dmp_queue::Config for Runtime {265	type Event = Event;266	type XcmExecutor = XcmExecutor<XcmConfig<Self>>;267	type ExecuteOverweightOrigin = frame_system::EnsureRoot<AccountId>;268}