lib.rs 50 KB
Newer Older
Shawn Tabrizi's avatar
Shawn Tabrizi committed
1
// Copyright 2017-2020 Parity Technologies (UK) Ltd.
Gav's avatar
Gav committed
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
// This file is part of Polkadot.

// Polkadot is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// Polkadot is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with Polkadot.  If not, see <http://www.gnu.org/licenses/>.

17
//! The Polkadot runtime. This can be compiled with `#[no_std]`, ready for Wasm.
Gav's avatar
Gav committed
18
19

#![cfg_attr(not(feature = "std"), no_std)]
20
21
// `construct_runtime!` does a lot of recursion and requires us to increase the limit to 256.
#![recursion_limit="256"]
Gav Wood's avatar
Gav Wood committed
22

23
24
25
use runtime_common::{
	attestations, claims, parachains, registrar, slots, SlowAdjustingFeeUpdate,
	impls::{CurrencyToVoteHandler, ToAuthor},
26
	NegativeImbalance, BlockHashCount, MaximumBlockWeight, AvailableBlockRatio,
27
	MaximumBlockLength, BlockExecutionWeight, ExtrinsicBaseWeight, RocksDbWeight,
Shawn Tabrizi's avatar
Shawn Tabrizi committed
28
	MaximumExtrinsicWeight, purchase,
29
};
Gav Wood's avatar
Gav Wood committed
30

31
use sp_std::prelude::*;
32
use sp_core::u32_trait::{_1, _2, _3, _4, _5};
33
use codec::{Encode, Decode};
asynchronous rob's avatar
asynchronous rob committed
34
35
use primitives::v0::{
	self as parachain,
36
	AccountId, AccountIndex, Balance, BlockNumber, Hash, Nonce, Signature, Moment,
asynchronous rob's avatar
asynchronous rob committed
37
	ActiveParas, AbridgedCandidateReceipt, SigningContext,
38
};
Gavin Wood's avatar
Gavin Wood committed
39
40
41
42
43
44
use sp_runtime::{create_runtime_str, generic, impl_opaque_keys, ModuleId, ApplyExtrinsicResult, KeyTypeId, Percent, Permill, Perbill, transaction_validity::{
	TransactionValidity, TransactionSource, TransactionPriority,
}, curve::PiecewiseLinear, traits::{
	BlakeTwo256, Block as BlockT, OpaqueKeys, ConvertInto, IdentityLookup,
	Extrinsic as ExtrinsicT, SaturatedConversion, Verify,
}};
45
46
#[cfg(feature = "runtime-benchmarks")]
use sp_runtime::RuntimeString;
47
48
use sp_version::RuntimeVersion;
use pallet_grandpa::{AuthorityId as GrandpaId, fg_primitives};
49
#[cfg(any(feature = "std", test))]
50
use sp_version::NativeVersion;
51
52
use sp_core::OpaqueMetadata;
use sp_staking::SessionIndex;
53
use frame_support::{
Shawn Tabrizi's avatar
Shawn Tabrizi committed
54
	parameter_types, ord_parameter_types, construct_runtime, debug, RuntimeDebug,
Gavin Wood's avatar
Gavin Wood committed
55
	traits::{KeyOwnerProofSystem, SplitTwoWays, Randomness, LockIdentifier, Filter},
56
	weights::Weight,
Gavin Wood's avatar
Gavin Wood committed
57
};
58
59
use frame_system::{EnsureRoot, EnsureOneOf, EnsureSignedBy};
use pallet_im_online::sr25519::AuthorityId as ImOnlineId;
Gavin Wood's avatar
Gavin Wood committed
60
use authority_discovery_primitives::AuthorityId as AuthorityDiscoveryId;
61
62
use pallet_transaction_payment_rpc_runtime_api::RuntimeDispatchInfo;
use pallet_session::historical as session_historical;
63
use static_assertions::const_assert;
64

Gav Wood's avatar
Gav Wood committed
65
#[cfg(feature = "std")]
66
pub use pallet_staking::StakerStatus;
67
#[cfg(any(feature = "std", test))]
68
pub use sp_runtime::BuildStorage;
69
70
pub use pallet_timestamp::Call as TimestampCall;
pub use pallet_balances::Call as BalancesCall;
71
pub use attestations::{Call as AttestationsCall, MORE_ATTESTATIONS_IDENTIFIER};
72
pub use parachains::Call as ParachainsCall;
73
74
75

/// Constant values used within the runtime.
pub mod constants;
76
use constants::{time::*, currency::*, fee::*};
77
use frame_support::traits::InstanceFilter;
78

79
80
81
// Weights used in the runtime.
mod weights;

82
83
84
85
// Make the WASM binary available.
#[cfg(feature = "std")]
include!(concat!(env!("OUT_DIR"), "/wasm_binary.rs"));

86
// Polkadot version identifier;
87
/// Runtime version (Polkadot).
Arkadiy Paronyan's avatar
Arkadiy Paronyan committed
88
pub const VERSION: RuntimeVersion = RuntimeVersion {
89
90
	spec_name: create_runtime_str!("polkadot"),
	impl_name: create_runtime_str!("parity-polkadot"),
Gavin Wood's avatar
Gavin Wood committed
91
	authoring_version: 0,
92
	spec_version: 23,
93
	impl_version: 0,
94
	#[cfg(not(feature = "disable-runtime-api"))]
95
	apis: RUNTIME_API_VERSIONS,
96
	#[cfg(feature = "disable-runtime-api")]
97
	apis: sp_version::create_apis_vec![[]],
Gavin Wood's avatar
Gavin Wood committed
98
	transaction_version: 4,
99
};
Arkadiy Paronyan's avatar
Arkadiy Paronyan committed
100

101
102
103
104
105
106
107
108
109
/// Native version.
#[cfg(any(feature = "std", test))]
pub fn native_version() -> NativeVersion {
	NativeVersion {
		runtime_version: VERSION,
		can_author_with: Default::default(),
	}
}

110
111
pub struct BaseFilter;
impl Filter<Call> for BaseFilter {
Gavin Wood's avatar
Gavin Wood committed
112
	fn filter(call: &Call) -> bool {
113
		match call {
Gavin Wood's avatar
Gavin Wood committed
114
			Call::Parachains(parachains::Call::set_heads(..)) => true,
Gavin Wood's avatar
Gavin Wood committed
115

Gavin Wood's avatar
Gavin Wood committed
116
			// Parachains stuff
Gavin Wood's avatar
Gavin Wood committed
117
			Call::Parachains(_) | Call::Attestations(_) | Call::Slots(_) | Call::Registrar(_) =>
Gavin Wood's avatar
Gavin Wood committed
118
119
120
				false,

			// These modules are all allowed to be called by transactions:
121
122
			Call::Democracy(_) | Call::Council(_) | Call::TechnicalCommittee(_) |
			Call::TechnicalMembership(_) | Call::Treasury(_) | Call::ElectionsPhragmen(_) |
Gavin Wood's avatar
Gavin Wood committed
123
			Call::System(_) | Call::Scheduler(_) | Call::Indices(_) |
Gavin Wood's avatar
Gavin Wood committed
124
			Call::Babe(_) | Call::Timestamp(_) | Call::Balances(_) |
Gavin Wood's avatar
Gavin Wood committed
125
126
127
			Call::Authorship(_) | Call::Staking(_) | Call::Offences(_) |
			Call::Session(_) | Call::FinalityTracker(_) | Call::Grandpa(_) | Call::ImOnline(_) |
			Call::AuthorityDiscovery(_) |
Gavin Wood's avatar
Gavin Wood committed
128
			Call::Utility(_) | Call::Claims(_) | Call::Vesting(_) |
Gavin Wood's avatar
Gavin Wood committed
129
			Call::Identity(_) | Call::Proxy(_) | Call::Multisig(_) |
Shawn Tabrizi's avatar
Shawn Tabrizi committed
130
			Call::Purchase(_) =>
Gavin Wood's avatar
Gavin Wood committed
131
				true,
132
133
134
135
		}
	}
}

Gavin Wood's avatar
Gavin Wood committed
136
137
138
type MoreThanHalfCouncil = EnsureOneOf<
	AccountId,
	EnsureRoot<AccountId>,
139
	pallet_collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>
Gavin Wood's avatar
Gavin Wood committed
140
141
>;

142
parameter_types! {
143
	pub const Version: RuntimeVersion = VERSION;
144
145
}

146
impl frame_system::Trait for Runtime {
147
	type BaseCallFilter = BaseFilter;
148
	type Origin = Origin;
149
	type Call = Call;
Gav Wood's avatar
Gav Wood committed
150
	type Index = Nonce;
151
152
153
154
	type BlockNumber = BlockNumber;
	type Hash = Hash;
	type Hashing = BlakeTwo256;
	type AccountId = AccountId;
155
	type Lookup = IdentityLookup<AccountId>;
156
	type Header = generic::Header<BlockNumber, BlakeTwo256>;
Gav's avatar
Gav committed
157
	type Event = Event;
158
	type BlockHashCount = BlockHashCount;
159
	type MaximumBlockWeight = MaximumBlockWeight;
160
	type DbWeight = RocksDbWeight;
161
162
	type BlockExecutionWeight = BlockExecutionWeight;
	type ExtrinsicBaseWeight = ExtrinsicBaseWeight;
Tomasz Drwięga's avatar
Tomasz Drwięga committed
163
	type MaximumExtrinsicWeight = MaximumExtrinsicWeight;
164
165
	type MaximumBlockLength = MaximumBlockLength;
	type AvailableBlockRatio = AvailableBlockRatio;
166
	type Version = Version;
167
	type ModuleToIndex = ModuleToIndex;
168
	type AccountData = pallet_balances::AccountData<Balance>;
Gavin Wood's avatar
Gavin Wood committed
169
	type OnNewAccount = ();
170
	type OnKilledAccount = ();
171
	type SystemWeightInfo = ();
172
173
}

174
impl pallet_scheduler::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
175
176
	type Event = Event;
	type Origin = Origin;
177
	type PalletsOrigin = OriginCaller;
Gavin Wood's avatar
Gavin Wood committed
178
179
	type Call = Call;
	type MaximumWeight = MaximumBlockWeight;
180
	type ScheduleOrigin = EnsureRoot<AccountId>;
181
	type WeightInfo = ();
Gavin Wood's avatar
Gavin Wood committed
182
183
}

184
parameter_types! {
185
	pub const EpochDuration: u64 = EPOCH_DURATION_IN_BLOCKS as u64;
186
187
188
	pub const ExpectedBlockTime: Moment = MILLISECS_PER_BLOCK;
}

189
impl pallet_babe::Trait for Runtime {
190
191
	type EpochDuration = EpochDuration;
	type ExpectedBlockTime = ExpectedBlockTime;
192
193

	// session module is the trigger
194
	type EpochChangeTrigger = pallet_babe::ExternalTrigger;
195
196
197
198
199

	type KeyOwnerProofSystem = Historical;

	type KeyOwnerProof = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(
		KeyTypeId,
200
		pallet_babe::AuthorityId,
201
202
203
204
	)>>::Proof;

	type KeyOwnerIdentification = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(
		KeyTypeId,
205
		pallet_babe::AuthorityId,
206
207
208
	)>>::IdentificationTuple;

	type HandleEquivocation =
209
	pallet_babe::EquivocationHandler<Self::KeyOwnerIdentification, Offences>;
210
211
}

Gavin Wood's avatar
Gavin Wood committed
212
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
213
	pub const IndexDeposit: Balance = 10 * DOLLARS;
Gavin Wood's avatar
Gavin Wood committed
214
215
}

216
impl pallet_indices::Trait for Runtime {
Gav Wood's avatar
Gav Wood committed
217
	type AccountIndex = AccountIndex;
218
219
	type Currency = Balances;
	type Deposit = IndexDeposit;
Gav Wood's avatar
Gav Wood committed
220
	type Event = Event;
221
	type WeightInfo = ();
Gav Wood's avatar
Gav Wood committed
222
223
}

Gavin Wood's avatar
Gavin Wood committed
224
parameter_types! {
225
	pub const ExistentialDeposit: Balance = 100 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
226
227
228
229
230
}

/// Splits fees 80/20 between treasury and block author.
pub type DealWithFees = SplitTwoWays<
	Balance,
231
232
233
	NegativeImbalance<Runtime>,
	_4, Treasury,   		// 4 parts (80%) goes to the treasury.
	_1, ToAuthor<Runtime>,   	// 1 part (20%) goes to the block author.
Gavin Wood's avatar
Gavin Wood committed
234
235
>;

236
impl pallet_balances::Trait for Runtime {
Gav's avatar
Gav committed
237
	type Balance = Balance;
238
	type DustRemoval = ();
Gavin Wood's avatar
Gavin Wood committed
239
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
240
	type ExistentialDeposit = ExistentialDeposit;
241
	type AccountStore = System;
242
	type WeightInfo = weights::pallet_balances::WeightInfo;
243
244
245
246
247
248
}

parameter_types! {
	pub const TransactionByteFee: Balance = 10 * MILLICENTS;
}

249
impl pallet_transaction_payment::Trait for Runtime {
250
251
	type Currency = Balances;
	type OnTransactionPayment = DealWithFees;
Gavin Wood's avatar
Gavin Wood committed
252
	type TransactionByteFee = TransactionByteFee;
253
	type WeightToFee = WeightToFee;
254
	type FeeMultiplierUpdate = SlowAdjustingFeeUpdate<Self>;
Gav's avatar
Gav committed
255
256
}

257
parameter_types! {
258
	pub const MinimumPeriod: u64 = SLOT_DURATION / 2;
259
}
260
impl pallet_timestamp::Trait for Runtime {
261
	type Moment = u64;
262
	type OnTimestampSet = Babe;
263
	type MinimumPeriod = MinimumPeriod;
264
	type WeightInfo = ();
265
266
}

Gavin Wood's avatar
Gavin Wood committed
267
parameter_types! {
268
	pub const UncleGenerations: u32 = 0;
Gavin Wood's avatar
Gavin Wood committed
269
270
271
}

// TODO: substrate#2986 implement this properly
272
273
impl pallet_authorship::Trait for Runtime {
	type FindAuthor = pallet_session::FindAccountFromAuthorIndex<Self, Babe>;
Gavin Wood's avatar
Gavin Wood committed
274
275
	type UncleGenerations = UncleGenerations;
	type FilterUncle = ();
Gavin Wood's avatar
Gavin Wood committed
276
	type EventHandler = (Staking, ImOnline);
Gavin Wood's avatar
Gavin Wood committed
277
278
}

279
impl_opaque_keys! {
280
	pub struct SessionKeys {
Gavin Wood's avatar
Gavin Wood committed
281
282
283
284
		pub grandpa: Grandpa,
		pub babe: Babe,
		pub im_online: ImOnline,
		pub parachain_validator: Parachains,
Gavin Wood's avatar
Gavin Wood committed
285
		pub authority_discovery: AuthorityDiscovery,
286
	}
287
288
}

thiolliere's avatar
thiolliere committed
289
290
291
292
parameter_types! {
	pub const DisabledValidatorsThreshold: Perbill = Perbill::from_percent(17);
}

293
impl pallet_session::Trait for Runtime {
Gav's avatar
Gav committed
294
	type Event = Event;
295
	type ValidatorId = AccountId;
296
	type ValidatorIdOf = pallet_staking::StashOf<Self>;
Gavin Wood's avatar
Gavin Wood committed
297
	type ShouldEndSession = Babe;
298
	type NextSessionRotation = Babe;
299
	type SessionManager = pallet_session::historical::NoteHistoricalRoot<Self, Staking>;
Gavin Wood's avatar
Gavin Wood committed
300
301
	type SessionHandler = <SessionKeys as OpaqueKeys>::KeyTypeIdProviders;
	type Keys = SessionKeys;
thiolliere's avatar
thiolliere committed
302
	type DisabledValidatorsThreshold = DisabledValidatorsThreshold;
303
	type WeightInfo = ();
304
305
}

306
307
308
impl pallet_session::historical::Trait for Runtime {
	type FullIdentification = pallet_staking::Exposure<AccountId, Balance>;
	type FullIdentificationOf = pallet_staking::ExposureOf<Runtime>;
309
310
}

311
312
313
// TODO #6469: This shouldn't be static, but a lazily cached value, not built unless needed, and
// re-built in case input parameters have changed. The `ideal_stake` should be determined by the
// amount of parachain slots being bid on: this should be around `(75 - 25.min(slots / 4))%`.
314
pallet_staking_reward_curve::build! {
thiolliere's avatar
thiolliere committed
315
316
317
	const REWARD_CURVE: PiecewiseLinear<'static> = curve!(
		min_inflation: 0_025_000,
		max_inflation: 0_100_000,
318
319
320
		// 3:2:1 staked : parachains : float.
		// while there's no parachains, then this is 75% staked : 25% float.
		ideal_stake: 0_750_000,
thiolliere's avatar
thiolliere committed
321
322
323
324
325
326
		falloff: 0_050_000,
		max_piece_count: 40,
		test_precision: 0_005_000,
	);
}

327
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
328
	// Six sessions in an era (24 hours).
329
	pub const SessionsPerEra: SessionIndex = 6;
Gavin Wood's avatar
Gavin Wood committed
330
	// 28 eras for unbonding (28 days).
331
332
	pub const BondingDuration: pallet_staking::EraIndex = 28;
	pub const SlashDeferDuration: pallet_staking::EraIndex = 27;
thiolliere's avatar
thiolliere committed
333
	pub const RewardCurve: &'static PiecewiseLinear<'static> = &REWARD_CURVE;
Gavin Wood's avatar
Gavin Wood committed
334
	pub const MaxNominatorRewardedPerValidator: u32 = 64;
joe petrowski's avatar
joe petrowski committed
335
	// last 15 minutes of the last session will be for election.
Gavin Wood's avatar
Gavin Wood committed
336
	pub const ElectionLookahead: BlockNumber = EPOCH_DURATION_IN_BLOCKS / 16;
337
338
	pub const MaxIterations: u32 = 10;
	pub MinSolutionScoreBump: Perbill = Perbill::from_rational_approximation(5u32, 10_000);
339
}
340

Gavin Wood's avatar
Gavin Wood committed
341
342
343
type SlashCancelOrigin = EnsureOneOf<
	AccountId,
	EnsureRoot<AccountId>,
344
	pallet_collective::EnsureProportionAtLeast<_3, _4, AccountId, CouncilCollective>
Gavin Wood's avatar
Gavin Wood committed
345
346
>;

347
impl pallet_staking::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
348
	type Currency = Balances;
349
	type UnixTime = Timestamp;
350
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
351
	type RewardRemainder = Treasury;
Gav's avatar
Gav committed
352
	type Event = Event;
353
	type Slash = Treasury;
354
	type Reward = ();
355
356
	type SessionsPerEra = SessionsPerEra;
	type BondingDuration = BondingDuration;
Gavin Wood's avatar
Gavin Wood committed
357
358
	type SlashDeferDuration = SlashDeferDuration;
	// A super-majority of the council can cancel the slash.
Gavin Wood's avatar
Gavin Wood committed
359
	type SlashCancelOrigin = SlashCancelOrigin;
360
	type SessionInterface = Self;
thiolliere's avatar
thiolliere committed
361
	type RewardCurve = RewardCurve;
Gavin Wood's avatar
Gavin Wood committed
362
	type MaxNominatorRewardedPerValidator = MaxNominatorRewardedPerValidator;
363
364
365
	type NextNewSession = Session;
	type ElectionLookahead = ElectionLookahead;
	type Call = Call;
366
	type UnsignedPriority = StakingUnsignedPriority;
367
	type MaxIterations = MaxIterations;
368
	type MinSolutionScoreBump = MinSolutionScoreBump;
369
	type WeightInfo = ();
370
371
}

Gavin Wood's avatar
Gavin Wood committed
372
373
374
375
376
377
378
379
380
381
parameter_types! {
	// Minimum 4 CENTS/byte
	pub const BasicDeposit: Balance = deposit(1, 258);
	pub const FieldDeposit: Balance = deposit(0, 66);
	pub const SubAccountDeposit: Balance = deposit(1, 53);
	pub const MaxSubAccounts: u32 = 100;
	pub const MaxAdditionalFields: u32 = 100;
	pub const MaxRegistrars: u32 = 20;
}

382
impl pallet_identity::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
383
384
385
386
387
388
389
390
391
	type Event = Event;
	type Currency = Balances;
	type BasicDeposit = BasicDeposit;
	type FieldDeposit = FieldDeposit;
	type SubAccountDeposit = SubAccountDeposit;
	type MaxSubAccounts = MaxSubAccounts;
	type MaxAdditionalFields = MaxAdditionalFields;
	type MaxRegistrars = MaxRegistrars;
	type Slashed = Treasury;
Gavin Wood's avatar
Gavin Wood committed
392
393
	type ForceOrigin = MoreThanHalfCouncil;
	type RegistrarOrigin = MoreThanHalfCouncil;
394
	type WeightInfo = ();
Gavin Wood's avatar
Gavin Wood committed
395
396
}

397
parameter_types! {
398
399
	pub const LaunchPeriod: BlockNumber = 28 * DAYS;
	pub const VotingPeriod: BlockNumber = 28 * DAYS;
400
	pub const FastTrackVotingPeriod: BlockNumber = 3 * HOURS;
401
	pub const MinimumDeposit: Balance = 100 * DOLLARS;
Gav Wood's avatar
Gav Wood committed
402
	pub const EnactmentPeriod: BlockNumber = 28 * DAYS;
403
	pub const CooloffPeriod: BlockNumber = 7 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
404
405
	// One cent: $10,000 / MB
	pub const PreimageByteDeposit: Balance = 1 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
406
	pub const InstantAllowed: bool = true;
407
	pub const MaxVotes: u32 = 100;
408
409
}

410
impl pallet_democracy::Trait for Runtime {
411
412
	type Proposal = Call;
	type Event = Event;
413
	type Currency = Balances;
414
415
416
417
	type EnactmentPeriod = EnactmentPeriod;
	type LaunchPeriod = LaunchPeriod;
	type VotingPeriod = VotingPeriod;
	type MinimumDeposit = MinimumDeposit;
418
	/// A straight majority of the council can decide what their next motion is.
419
420
421
	type ExternalOrigin = frame_system::EnsureOneOf<AccountId,
		pallet_collective::EnsureProportionAtLeast<_1, _2, AccountId, CouncilCollective>,
		frame_system::EnsureRoot<AccountId>,
Gavin Wood's avatar
Gavin Wood committed
422
	>;
423
	/// A 60% super-majority can have the next scheduled referendum be a straight majority-carries vote.
424
425
426
	type ExternalMajorityOrigin = frame_system::EnsureOneOf<AccountId,
		pallet_collective::EnsureProportionAtLeast<_3, _5, AccountId, CouncilCollective>,
		frame_system::EnsureRoot<AccountId>,
Gavin Wood's avatar
Gavin Wood committed
427
	>;
428
429
	/// A unanimous council can have the next scheduled referendum be a straight default-carries
	/// (NTB) vote.
430
431
432
	type ExternalDefaultOrigin = frame_system::EnsureOneOf<AccountId,
		pallet_collective::EnsureProportionAtLeast<_1, _1, AccountId, CouncilCollective>,
		frame_system::EnsureRoot<AccountId>,
Gavin Wood's avatar
Gavin Wood committed
433
	>;
434
435
	/// Two thirds of the technical committee can have an ExternalMajority/ExternalDefault vote
	/// be tabled immediately and with a shorter voting/enactment period.
436
437
438
	type FastTrackOrigin = frame_system::EnsureOneOf<AccountId,
		pallet_collective::EnsureProportionAtLeast<_2, _3, AccountId, TechnicalCollective>,
		frame_system::EnsureRoot<AccountId>,
Gavin Wood's avatar
Gavin Wood committed
439
	>;
440
441
442
	type InstantOrigin = frame_system::EnsureOneOf<AccountId,
		pallet_collective::EnsureProportionAtLeast<_1, _1, AccountId, TechnicalCollective>,
		frame_system::EnsureRoot<AccountId>,
Gavin Wood's avatar
Gavin Wood committed
443
	>;
444
445
	type InstantAllowed = InstantAllowed;
	type FastTrackVotingPeriod = FastTrackVotingPeriod;
446
	// To cancel a proposal which has been passed, 2/3 of the council must agree to it.
447
448
449
	type CancellationOrigin = frame_system::EnsureOneOf<AccountId,
		pallet_collective::EnsureProportionAtLeast<_2, _3, AccountId, CouncilCollective>,
		frame_system::EnsureRoot<AccountId>,
Gavin Wood's avatar
Gavin Wood committed
450
	>;
451
452
	// Any single technical committee member may veto a coming council proposal, however they can
	// only do it once and it lasts only for the cooloff period.
453
	type VetoOrigin = pallet_collective::EnsureMember<AccountId, TechnicalCollective>;
454
	type CooloffPeriod = CooloffPeriod;
Gavin Wood's avatar
Gavin Wood committed
455
	type PreimageByteDeposit = PreimageByteDeposit;
456
	type OperationalPreimageOrigin = pallet_collective::EnsureMember<AccountId, CouncilCollective>;
Gavin Wood's avatar
Gavin Wood committed
457
	type Slash = Treasury;
Gavin Wood's avatar
Gavin Wood committed
458
	type Scheduler = Scheduler;
459
	type PalletsOrigin = OriginCaller;
460
	type MaxVotes = MaxVotes;
461
	type WeightInfo = weights::pallet_democracy::WeightInfo;
462
}
463

464
465
parameter_types! {
	pub const CouncilMotionDuration: BlockNumber = 7 * DAYS;
466
	pub const CouncilMaxProposals: u32 = 100;
467
468
}

469
470
type CouncilCollective = pallet_collective::Instance1;
impl pallet_collective::Trait<CouncilCollective> for Runtime {
471
472
473
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
474
	type MotionDuration = CouncilMotionDuration;
475
	type MaxProposals = CouncilMaxProposals;
476
	type WeightInfo = ();
477
478
}

Gavin Wood's avatar
Gavin Wood committed
479
parameter_types! {
480
481
	pub const CandidacyBond: Balance = 100 * DOLLARS;
	pub const VotingBond: Balance = 5 * DOLLARS;
Gavin Wood's avatar
Gavin Wood committed
482
483
	/// Weekly council elections; scaling up to monthly eventually.
	pub const TermDuration: BlockNumber = 7 * DAYS;
484
	/// 13 members initially, to be increased to 23 eventually.
485
	pub const DesiredMembers: u32 = 13;
486
	pub const DesiredRunnersUp: u32 = 20;
487
	pub const ElectionsPhragmenModuleId: LockIdentifier = *b"phrelect";
488
}
489
// Make sure that there are no more than MAX_MEMBERS members elected via phragmen.
490
const_assert!(DesiredMembers::get() <= pallet_collective::MAX_MEMBERS);
491

492
impl pallet_elections_phragmen::Trait for Runtime {
493
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
494
	type ModuleId = ElectionsPhragmenModuleId;
495
496
	type Currency = Balances;
	type ChangeMembers = Council;
497
	type InitializeMembers = Council;
498
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
499
500
	type CandidacyBond = CandidacyBond;
	type VotingBond = VotingBond;
501
502
503
	type LoserCandidate = Treasury;
	type BadReport = Treasury;
	type KickedMember = Treasury;
Gavin Wood's avatar
Gavin Wood committed
504
505
506
	type DesiredMembers = DesiredMembers;
	type DesiredRunnersUp = DesiredRunnersUp;
	type TermDuration = TermDuration;
507
	type WeightInfo = ();
508
509
}

510
511
parameter_types! {
	pub const TechnicalMotionDuration: BlockNumber = 7 * DAYS;
512
	pub const TechnicalMaxProposals: u32 = 100;
513
514
}

515
516
type TechnicalCollective = pallet_collective::Instance2;
impl pallet_collective::Trait<TechnicalCollective> for Runtime {
517
518
519
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
520
	type MotionDuration = TechnicalMotionDuration;
521
	type MaxProposals = TechnicalMaxProposals;
522
	type WeightInfo = ();
523
524
}

525
impl pallet_membership::Trait<pallet_membership::Instance1> for Runtime {
526
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
527
528
529
530
531
	type AddOrigin = MoreThanHalfCouncil;
	type RemoveOrigin = MoreThanHalfCouncil;
	type SwapOrigin = MoreThanHalfCouncil;
	type ResetOrigin = MoreThanHalfCouncil;
	type PrimeOrigin = MoreThanHalfCouncil;
532
533
534
535
	type MembershipInitialized = TechnicalCommittee;
	type MembershipChanged = TechnicalCommittee;
}

Gavin Wood's avatar
Gavin Wood committed
536
537
parameter_types! {
	pub const ProposalBond: Permill = Permill::from_percent(5);
538
539
540
	pub const ProposalBondMinimum: Balance = 100 * DOLLARS;
	pub const SpendPeriod: BlockNumber = 24 * DAYS;
	pub const Burn: Permill = Permill::from_percent(1);
541
	pub const TreasuryModuleId: ModuleId = ModuleId(*b"py/trsry");
Gavin Wood's avatar
Gavin Wood committed
542
543
544
545
546

	pub const TipCountdown: BlockNumber = 1 * DAYS;
	pub const TipFindersFee: Percent = Percent::from_percent(20);
	pub const TipReportDepositBase: Balance = 1 * DOLLARS;
	pub const TipReportDepositPerByte: Balance = 1 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
547
548
}

Gavin Wood's avatar
Gavin Wood committed
549
550
551
type ApproveOrigin = EnsureOneOf<
	AccountId,
	EnsureRoot<AccountId>,
552
	pallet_collective::EnsureProportionAtLeast<_3, _5, AccountId, CouncilCollective>
Gavin Wood's avatar
Gavin Wood committed
553
554
>;

555
impl pallet_treasury::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
556
	type ModuleId = TreasuryModuleId;
Gavin Wood's avatar
Gavin Wood committed
557
	type Currency = Balances;
Gavin Wood's avatar
Gavin Wood committed
558
559
	type ApproveOrigin = ApproveOrigin;
	type RejectOrigin = MoreThanHalfCouncil;
Gavin Wood's avatar
Gavin Wood committed
560
561
562
563
564
	type Tippers = ElectionsPhragmen;
	type TipCountdown = TipCountdown;
	type TipFindersFee = TipFindersFee;
	type TipReportDepositBase = TipReportDepositBase;
	type TipReportDepositPerByte = TipReportDepositPerByte;
565
	type Event = Event;
566
	type ProposalRejection = Treasury;
Gavin Wood's avatar
Gavin Wood committed
567
568
569
570
	type ProposalBond = ProposalBond;
	type ProposalBondMinimum = ProposalBondMinimum;
	type SpendPeriod = SpendPeriod;
	type Burn = Burn;
571
	type BurnDestination = ();
572
	type WeightInfo = ();
573
}
574

575
parameter_types! {
576
	pub OffencesWeightSoftLimit: Weight = Perbill::from_percent(60) * MaximumBlockWeight::get();
577
578
}

579
impl pallet_offences::Trait for Runtime {
580
	type Event = Event;
581
	type IdentificationTuple = pallet_session::historical::IdentificationTuple<Self>;
582
	type OnOffenceHandler = Staking;
583
	type WeightSoftLimit = OffencesWeightSoftLimit;
584
	type WeightInfo = ();
585
586
}

587
impl pallet_authority_discovery::Trait for Runtime {}
Gavin Wood's avatar
Gavin Wood committed
588

589
590
591
592
parameter_types! {
	pub const SessionDuration: BlockNumber = EPOCH_DURATION_IN_BLOCKS as _;
}

593
594
595
596
597
parameter_types! {
	pub const StakingUnsignedPriority: TransactionPriority = TransactionPriority::max_value() / 2;
	pub const ImOnlineUnsignedPriority: TransactionPriority = TransactionPriority::max_value();
}

598
impl pallet_im_online::Trait for Runtime {
thiolliere's avatar
thiolliere committed
599
	type AuthorityId = ImOnlineId;
600
	type Event = Event;
601
	type SessionDuration = SessionDuration;
Gavin Wood's avatar
Gavin Wood committed
602
	type ReportUnresponsiveness = Offences;
603
	type UnsignedPriority = ImOnlineUnsignedPriority;
604
	type WeightInfo = ();
605
606
}

607
impl pallet_grandpa::Trait for Runtime {
608
	type Event = Event;
609
610
611
	type Call = Call;

	type KeyOwnerProof =
Gavin Wood's avatar
Gavin Wood committed
612
	<Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(KeyTypeId, GrandpaId)>>::Proof;
613
614
615
616
617
618

	type KeyOwnerIdentification = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(
		KeyTypeId,
		GrandpaId,
	)>>::IdentificationTuple;

Gavin Wood's avatar
Gavin Wood committed
619
620
	type KeyOwnerProofSystem = Historical;

621
	type HandleEquivocation = pallet_grandpa::EquivocationHandler<Self::KeyOwnerIdentification, Offences>;
622
623
}

Gavin Wood's avatar
Gavin Wood committed
624
parameter_types! {
625
626
	pub WindowSize: BlockNumber = pallet_finality_tracker::DEFAULT_WINDOW_SIZE.into();
	pub ReportLatency: BlockNumber = pallet_finality_tracker::DEFAULT_REPORT_LATENCY.into();
Gavin Wood's avatar
Gavin Wood committed
627
628
}

629
impl pallet_finality_tracker::Trait for Runtime {
630
	type OnFinalizationStalled = ();
Gavin Wood's avatar
Gavin Wood committed
631
632
633
634
	type WindowSize = WindowSize;
	type ReportLatency = ReportLatency;
}

635
636
637
638
parameter_types! {
	pub const AttestationPeriod: BlockNumber = 50;
}

639
640
641
impl attestations::Trait for Runtime {
	type AttestationPeriod = AttestationPeriod;
	type ValidatorIdentities = parachains::ValidatorIdentities<Runtime>;
642
	type RewardAttestation = Staking;
643
644
}

645
646
647
parameter_types! {
	pub const MaxCodeSize: u32 = 10 * 1024 * 1024; // 10 MB
	pub const MaxHeadDataSize: u32 = 20 * 1024; // 20 KB
648
649
650
651

	pub const ValidationUpgradeFrequency: BlockNumber = 7 * DAYS;
	pub const ValidationUpgradeDelay: BlockNumber = 1 * DAYS;
	pub const SlashPeriod: BlockNumber = 28 * DAYS;
652
653
}

654
impl parachains::Trait for Runtime {
asynchronous rob's avatar
asynchronous rob committed
655
	type AuthorityId = primitives::v0::fisherman::FishermanAppCrypto;
656
657
	type Origin = Origin;
	type Call = Call;
658
	type ParachainCurrency = Balances;
659
	type BlockNumberConversion = sp_runtime::traits::Identity;
660
	type Randomness = RandomnessCollectiveFlip;
661
662
	type ActiveParachains = Registrar;
	type Registrar = Registrar;
663
664
	type MaxCodeSize = MaxCodeSize;
	type MaxHeadDataSize = MaxHeadDataSize;
665
666
667
668
669

	type ValidationUpgradeFrequency = ValidationUpgradeFrequency;
	type ValidationUpgradeDelay = ValidationUpgradeDelay;
	type SlashPeriod = SlashPeriod;

670
	type Proof = sp_session::MembershipProof;
671
	type KeyOwnerProofSystem = pallet_session::historical::Module<Self>;
672
673
	type IdentificationTuple = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(KeyTypeId, Vec<u8>)>>::IdentificationTuple;
	type ReportOffence = Offences;
674
	type BlockHashConversion = sp_runtime::traits::Identity;
675
676
}

677
678
/// Submits a transaction with the node's public and signature type. Adheres to the signed extension
/// format of the chain.
679
impl<LocalCall> frame_system::offchain::CreateSignedTransaction<LocalCall> for Runtime where
680
681
	Call: From<LocalCall>,
{
682
	fn create_transaction<C: frame_system::offchain::AppCrypto<Self::Public, Self::Signature>>(
683
684
685
		call: Call,
		public: <Signature as Verify>::Signer,
		account: AccountId,
686
		nonce: <Runtime as frame_system::Trait>::Index,
687
	) -> Option<(Call, <UncheckedExtrinsic as ExtrinsicT>::SignaturePayload)> {
688
		// take the biggest period possible.
689
690
691
692
693
694
695
		let period = BlockHashCount::get()
			.checked_next_power_of_two()
			.map(|c| c / 2)
			.unwrap_or(2) as u64;

		let current_block = System::block_number()
			.saturated_into::<u64>()
696
697
			// The `System::block_number` is initialized with `n+1`,
			// so the actual block number is `n`.
698
699
700
			.saturating_sub(1);
		let tip = 0;
		let extra: SignedExtra = (
701
702
703
704
705
706
707
			frame_system::CheckSpecVersion::<Runtime>::new(),
			frame_system::CheckTxVersion::<Runtime>::new(),
			frame_system::CheckGenesis::<Runtime>::new(),
			frame_system::CheckMortality::<Runtime>::from(generic::Era::mortal(period, current_block)),
			frame_system::CheckNonce::<Runtime>::from(nonce),
			frame_system::CheckWeight::<Runtime>::new(),
			pallet_transaction_payment::ChargeTransactionPayment::<Runtime>::from(tip),
708
709
			registrar::LimitParathreadCommits::<Runtime>::new(),
			parachains::ValidateDoubleVoteReports::<Runtime>::new(),
710
			claims::PrevalidateAttests::<Runtime>::new(),
711
712
		);
		let raw_payload = SignedPayload::new(call, extra).map_err(|e| {
713
			debug::warn!("Unable to create signed payload: {:?}", e);
714
		}).ok()?;
715
716
717
		let signature = raw_payload.using_encoded(|payload| {
			C::sign(payload, public)
		})?;
718
719
720
		let (call, extra, _) = raw_payload.deconstruct();
		Some((call, (account, signature, extra)))
	}
721
722
}

723
impl frame_system::offchain::SigningTypes for Runtime {
724
725
726
727
	type Public = <Signature as Verify>::Signer;
	type Signature = Signature;
}

728
impl<C> frame_system::offchain::SendTransactionTypes<C> for Runtime where Call: From<C> {
729
	type Extrinsic = UncheckedExtrinsic;
Gavin Wood's avatar
Gavin Wood committed
730
	type OverarchingCall = Call;
731
732
}

733
734
735
736
737
738
739
740
741
742
743
744
745
746
parameter_types! {
	pub const ParathreadDeposit: Balance = 500 * DOLLARS;
	pub const QueueSize: usize = 2;
	pub const MaxRetries: u32 = 3;
}

impl registrar::Trait for Runtime {
	type Event = Event;
	type Origin = Origin;
	type Currency = Balances;
	type ParathreadDeposit = ParathreadDeposit;
	type SwapAux = Slots;
	type QueueSize = QueueSize;
	type MaxRetries = MaxRetries;
747
}
748

Gavin Wood's avatar
Gavin Wood committed
749
parameter_types! {
750
	pub const LeasePeriod: BlockNumber = 100_000;
Gavin Wood's avatar
Gavin Wood committed
751
752
753
754
755
	pub const EndingPeriod: BlockNumber = 1000;
}

impl slots::Trait for Runtime {
	type Event = Event;
756
757
	type Currency = Balances;
	type Parachains = Registrar;
Gavin Wood's avatar
Gavin Wood committed
758
	type EndingPeriod = EndingPeriod;
Gavin Wood's avatar
Gavin Wood committed
759
	type LeasePeriod = LeasePeriod;
760
	type Randomness = RandomnessCollectiveFlip;
Gavin Wood's avatar
Gavin Wood committed
761
762
}

Gavin Wood's avatar
Gavin Wood committed
763
parameter_types! {
764
	pub Prefix: &'static [u8] = b"Pay DOTs to the Polkadot account:";
765
766
767
768
}

impl claims::Trait for Runtime {
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
769
	type VestingSchedule = Vesting;
770
	type Prefix = Prefix;
771
	/// At least 3/4 of the council must agree to a claim move before it can happen.
772
	type MoveClaimOrigin = pallet_collective::EnsureProportionAtLeast<_3, _4, AccountId, CouncilCollective>;
773
774
}

775
776
777
778
parameter_types! {
	pub const MinVestedTransfer: Balance = 100 * DOLLARS;
}

779
impl pallet_vesting::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
780
781
782
	type Event = Event;
	type Currency = Balances;
	type BlockNumberToBalance = ConvertInto;
783
	type MinVestedTransfer = MinVestedTransfer;
784
	type WeightInfo = ();
Gavin Wood's avatar
Gavin Wood committed
785
786
}

787
impl pallet_utility::Trait for Runtime {
788
789
	type Event = Event;
	type Call = Call;
790
	type WeightInfo = ();
791
792
}

Gavin Wood's avatar
Gavin Wood committed
793
parameter_types! {
794
795
	// One storage item; key size is 32; value is size 4+4+16+32 bytes = 56 bytes.
	pub const DepositBase: Balance = deposit(1, 88);