git.delta.rocks / unique-network / refs/commits / 3cddb472af6f

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::v1::{Junction::*, MultiLocation, NetworkId};25use xcm::latest::{prelude::*, Weight};26use xcm_builder::{27	AccountId32Aliases, EnsureXcmOrigin, FixedWeightBounds, LocationInverter, ParentAsSuperuser,28	RelayChainAsNative, SiblingParachainAsNative, SiblingParachainConvertsVia,29	SignedAccountId32AsNative, SignedToAccountId32, SovereignSignedViaLocation, ParentIsPreset,30};31use xcm_executor::{Config, XcmExecutor, traits::ShouldExecute};32use sp_std::{marker::PhantomData, vec::Vec};33use crate::{34	Runtime, Call, Event, Origin, ParachainInfo, ParachainSystem, PolkadotXcm, XcmpQueue,35	xcm_barrier::Barrier,36};3738use up_common::types::AccountId;3940#[cfg(feature = "foreign-assets")]41pub mod foreignassets;4243#[cfg(not(feature = "foreign-assets"))]44pub mod nativeassets;4546#[cfg(feature = "foreign-assets")]47pub use foreignassets as xcm_assets;4849#[cfg(not(feature = "foreign-assets"))]50pub use nativeassets as xcm_assets;5152use xcm_assets::{AssetTransactors, IsReserve, Trader};5354parameter_types! {55	pub const RelayLocation: MultiLocation = MultiLocation::parent();56	pub const RelayNetwork: NetworkId = NetworkId::Polkadot;57	pub RelayOrigin: Origin = cumulus_pallet_xcm::Origin::Relay.into();58	pub Ancestry: MultiLocation = Parachain(ParachainInfo::parachain_id().into()).into();59	pub SelfLocation: MultiLocation = MultiLocation::new(1, X1(Parachain(ParachainInfo::get().into())));6061	// One XCM operation is 1_000_000 weight - almost certainly a conservative estimate.62	pub UnitWeightCost: Weight = 1_000_000;63	pub const MaxInstructions: u32 = 100;64}6566/// Type for specifying how a `MultiLocation` can be converted into an `AccountId`. This is used67/// when determining ownership of accounts for asset transacting and when attempting to use XCM68/// `Transact` in order to determine the dispatch Origin.69pub type LocationToAccountId = (70	// The parent (Relay-chain) origin converts to the default `AccountId`.71	ParentIsPreset<AccountId>,72	// Sibling parachain origins convert to AccountId via the `ParaId::into`.73	SiblingParachainConvertsVia<Sibling, AccountId>,74	// Straight up local `AccountId32` origins just alias directly to `AccountId`.75	AccountId32Aliases<RelayNetwork, AccountId>,76);7778/// No local origins on this chain are allowed to dispatch XCM sends/executions.79pub type LocalOriginToLocation = (SignedToAccountId32<Origin, AccountId, RelayNetwork>,);8081/// The means for routing XCM messages which are not for local execution into the right message82/// queues.83pub type XcmRouter = (84	// Two routers - use UMP to communicate with the relay chain:85	cumulus_primitives_utility::ParentAsUmp<ParachainSystem, ()>,86	// ..and XCMP to communicate with the sibling chains.87	XcmpQueue,88);8990/// This is the type we use to convert an (incoming) XCM origin into a local `Origin` instance,91/// ready for dispatching a transaction with Xcm's `Transact`. There is an `OriginKind` which can92/// biases the kind of local `Origin` it will become.93pub type XcmOriginToTransactDispatchOrigin = (94	// Sovereign account converter; this attempts to derive an `AccountId` from the origin location95	// using `LocationToAccountId` and then turn that into the usual `Signed` origin. Useful for96	// foreign chains who want to have a local sovereign account on this chain which they control.97	SovereignSignedViaLocation<LocationToAccountId, Origin>,98	// Native converter for Relay-chain (Parent) location; will converts to a `Relay` origin when99	// recognised.100	RelayChainAsNative<RelayOrigin, Origin>,101	// Native converter for sibling Parachains; will convert to a `SiblingPara` origin when102	// recognised.103	SiblingParachainAsNative<cumulus_pallet_xcm::Origin, Origin>,104	// Superuser converter for the Relay-chain (Parent) location. This will allow it to issue a105	// transaction from the Root origin.106	ParentAsSuperuser<Origin>,107	// Native signed account converter; this just converts an `AccountId32` origin into a normal108	// `Origin::Signed` origin of the same 32-byte value.109	SignedAccountId32AsNative<RelayNetwork, Origin>,110	// Xcm origins can be represented natively under the Xcm pallet's Xcm origin.111	XcmPassthrough<Origin>,112);113114pub trait TryPass {115	fn try_pass<Call>(origin: &MultiLocation, message: &mut Xcm<Call>) -> Result<(), ()>;116}117118#[impl_trait_for_tuples::impl_for_tuples(30)]119impl TryPass for Tuple {120	fn try_pass<Call>(origin: &MultiLocation, message: &mut Xcm<Call>) -> Result<(), ()> {121		for_tuples!( #(122			Tuple::try_pass(origin, message)?;123		)* );124125		Ok(())126	}127}128129pub struct DenyTransact;130impl TryPass for DenyTransact {131	fn try_pass<Call>(_origin: &MultiLocation, message: &mut Xcm<Call>) -> Result<(), ()> {132		let transact_inst = message133			.0134			.iter()135			.find(|inst| matches![inst, Instruction::Transact { .. }]);136137		if transact_inst.is_some() {138			log::warn!(139				target: "xcm::barrier",140				"transact XCM rejected"141			);142143			Err(())144		} else {145			Ok(())146		}147	}148}149150/// Deny executing the XCM if it matches any of the Deny filter regardless of anything else.151/// If it passes the Deny, and matches one of the Allow cases then it is let through.152pub struct DenyThenTry<Deny, Allow>(PhantomData<Deny>, PhantomData<Allow>)153where154	Deny: TryPass,155	Allow: ShouldExecute;156157impl<Deny, Allow> ShouldExecute for DenyThenTry<Deny, Allow>158where159	Deny: TryPass,160	Allow: ShouldExecute,161{162	fn should_execute<Call>(163		origin: &MultiLocation,164		message: &mut Xcm<Call>,165		max_weight: Weight,166		weight_credit: &mut Weight,167	) -> Result<(), ()> {168		Deny::try_pass(origin, message)?;169		Allow::should_execute(origin, message, max_weight, weight_credit)170	}171}172173// Allow xcm exchange only with locations in list174pub struct DenyExchangeWithUnknownLocation<T>(PhantomData<T>);175impl<T: Get<Vec<MultiLocation>>> TryPass for DenyExchangeWithUnknownLocation<T> {176	fn try_pass<Call>(origin: &MultiLocation, message: &mut Xcm<Call>) -> Result<(), ()> {177		let allowed_locations = T::get();178179		// Check if deposit or transfer belongs to allowed parachains180		let mut allowed = allowed_locations.contains(origin);181182		message.0.iter().for_each(|inst| match inst {183			DepositReserveAsset { dest: dst, .. } => {184				allowed |= allowed_locations.contains(dst);185			}186			TransferReserveAsset { dest: dst, .. } => {187				allowed |= allowed_locations.contains(dst);188			}189			_ => {}190		});191192		if allowed {193			return Ok(());194		}195196		log::warn!(197			target: "xcm::barrier",198			"Unexpected deposit or transfer location"199		);200		// Deny201		Err(())202	}203}204205pub type Weigher = FixedWeightBounds<UnitWeightCost, Call, MaxInstructions>;206207pub struct XcmConfig<T>(PhantomData<T>);208impl<T> Config for XcmConfig<T>209where210	T: pallet_configuration::Config,211{212	type Call = Call;213	type XcmSender = XcmRouter;214	// How to withdraw and deposit an asset.215	type AssetTransactor = AssetTransactors;216	type OriginConverter = XcmOriginToTransactDispatchOrigin;217	type IsReserve = IsReserve;218	type IsTeleporter = (); // Teleportation is disabled219	type LocationInverter = LocationInverter<Ancestry>;220	type Barrier = Barrier;221	type Weigher = Weigher;222	type Trader = Trader<T>;223	type ResponseHandler = (); // Don't handle responses for now.224	type SubscriptionService = PolkadotXcm;225226	type AssetTrap = PolkadotXcm;227	type AssetClaims = PolkadotXcm;228}229230impl pallet_xcm::Config for Runtime {231	type Event = Event;232	type SendXcmOrigin = EnsureXcmOrigin<Origin, LocalOriginToLocation>;233	type XcmRouter = XcmRouter;234	type ExecuteXcmOrigin = EnsureXcmOrigin<Origin, LocalOriginToLocation>;235	type XcmExecuteFilter = Everything;236	type XcmExecutor = XcmExecutor<XcmConfig<Self>>;237	type XcmTeleportFilter = Everything;238	type XcmReserveTransferFilter = Everything;239	type Weigher = FixedWeightBounds<UnitWeightCost, Call, MaxInstructions>;240	type LocationInverter = LocationInverter<Ancestry>;241	type Origin = Origin;242	type Call = Call;243	const VERSION_DISCOVERY_QUEUE_SIZE: u32 = 100;244	type AdvertisedXcmVersion = pallet_xcm::CurrentXcmVersion;245}246247impl cumulus_pallet_xcm::Config for Runtime {248	type Event = Event;249	type XcmExecutor = XcmExecutor<XcmConfig<Self>>;250}251252impl cumulus_pallet_xcmp_queue::Config for Runtime {253	type WeightInfo = ();254	type Event = Event;255	type XcmExecutor = XcmExecutor<XcmConfig<Self>>;256	type ChannelInfo = ParachainSystem;257	type VersionWrapper = ();258	type ExecuteOverweightOrigin = frame_system::EnsureRoot<AccountId>;259	type ControllerOrigin = EnsureRoot<AccountId>;260	type ControllerOriginConverter = XcmOriginToTransactDispatchOrigin;261}262263impl cumulus_pallet_dmp_queue::Config for Runtime {264	type Event = Event;265	type XcmExecutor = XcmExecutor<XcmConfig<Self>>;266	type ExecuteOverweightOrigin = frame_system::EnsureRoot<AccountId>;267}