lib.rs 32 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
use runtime_common::{attestations, claims, parachains, registrar, slots,
24
	impls::{CurrencyToVoteHandler, TargetedFeeAdjustment, ToAuthor},
25
	NegativeImbalance, BlockHashCount, MaximumBlockWeight, AvailableBlockRatio,
26
	MaximumBlockLength, BlockExecutionWeight, ExtrinsicBaseWeight,
27
};
Gav Wood's avatar
Gav Wood committed
28

29
use sp_std::prelude::*;
30
use sp_core::u32_trait::{_1, _2, _3, _4, _5};
31
use codec::{Encode, Decode};
32
use primitives::{
33
	AccountId, AccountIndex, Balance, BlockNumber, Hash, Nonce, Signature, Moment,
34
	parachain::{self, ActiveParas, AbridgedCandidateReceipt, SigningContext}, ValidityError,
35
};
36
use sp_runtime::{
37
	create_runtime_str, generic, impl_opaque_keys, ModuleId,
38
	ApplyExtrinsicResult, KeyTypeId, Percent, Permill, Perbill, Perquintill, RuntimeDebug,
39
	transaction_validity::{
40
		TransactionValidity, InvalidTransaction, TransactionValidityError, TransactionSource, TransactionPriority,
41
	},
42
	curve::PiecewiseLinear,
43
44
	traits::{
		BlakeTwo256, Block as BlockT, SignedExtension, OpaqueKeys, ConvertInto,
45
		DispatchInfoOf, IdentityLookup, Extrinsic as ExtrinsicT, SaturatedConversion,
46
		Verify,
47
	},
Gav Wood's avatar
Gav Wood committed
48
};
49
50
#[cfg(feature = "runtime-benchmarks")]
use sp_runtime::RuntimeString;
Arkadiy Paronyan's avatar
Arkadiy Paronyan committed
51
use version::RuntimeVersion;
52
use grandpa::{AuthorityId as GrandpaId, fg_primitives};
53
54
#[cfg(any(feature = "std", test))]
use version::NativeVersion;
55
56
use sp_core::OpaqueMetadata;
use sp_staking::SessionIndex;
57
use frame_support::{
58
	parameter_types, construct_runtime, debug,
59
	traits::{KeyOwnerProofSystem, SplitTwoWays, Randomness, LockIdentifier},
Nikolay Volf's avatar
Nikolay Volf committed
60
  weights::RuntimeDbWeight,
Gavin Wood's avatar
Gavin Wood committed
61
};
thiolliere's avatar
thiolliere committed
62
use im_online::sr25519::AuthorityId as ImOnlineId;
Gavin Wood's avatar
Gavin Wood committed
63
use authority_discovery_primitives::AuthorityId as AuthorityDiscoveryId;
Gavin Wood's avatar
Gavin Wood committed
64
use transaction_payment_rpc_runtime_api::RuntimeDispatchInfo;
65
use session::historical as session_historical;
66

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

/// Constant values used within the runtime.
pub mod constants;
78
use constants::{time::*, currency::*, fee::*};
79

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

84
// Polkadot version identifier;
85
/// Runtime version (Polkadot).
Arkadiy Paronyan's avatar
Arkadiy Paronyan committed
86
pub const VERSION: RuntimeVersion = RuntimeVersion {
87
88
	spec_name: create_runtime_str!("polkadot"),
	impl_name: create_runtime_str!("parity-polkadot"),
89
	authoring_version: 2,
90
	spec_version: 1008,
91
92
	impl_version: 0,
	apis: RUNTIME_API_VERSIONS,
93
	transaction_version: 1,
94
};
Arkadiy Paronyan's avatar
Arkadiy Paronyan committed
95

96
97
98
99
100
101
102
103
104
/// Native version.
#[cfg(any(feature = "std", test))]
pub fn native_version() -> NativeVersion {
	NativeVersion {
		runtime_version: VERSION,
		can_author_with: Default::default(),
	}
}

105
106
107
108
/// Avoid processing transactions that are anything except staking and claims.
///
/// RELEASE: This is only relevant for the initial PoA run-in period and may be removed
/// from the release runtime.
109
#[derive(Default, Encode, Decode, Clone, Eq, PartialEq, RuntimeDebug)]
110
111
pub struct OnlyStakingAndClaims;
impl SignedExtension for OnlyStakingAndClaims {
Gavin Wood's avatar
Gavin Wood committed
112
	const IDENTIFIER: &'static str = "OnlyStakingAndClaims";
113
114
115
116
	type AccountId = AccountId;
	type Call = Call;
	type AdditionalSigned = ();
	type Pre = ();
117

118
	fn additional_signed(&self) -> sp_std::result::Result<(), TransactionValidityError> { Ok(()) }
119

120
121
122
123
124
125
126
	fn validate(
		&self, _:
		&Self::AccountId,
		call: &Self::Call,
		_: &DispatchInfoOf<Self::Call>,
		_: usize
	)
Gavin Wood's avatar
Gavin Wood committed
127
		-> TransactionValidity
128
129
	{
		match call {
Gavin Wood's avatar
Gavin Wood committed
130
			Call::Slots(_) | Call::Registrar(_)
131
132
				=> Err(InvalidTransaction::Custom(ValidityError::NoPermission.into()).into()),
			_ => Ok(Default::default()),
133
134
135
136
		}
	}
}

137
parameter_types! {
138
	pub const Version: RuntimeVersion = VERSION;
139
140
}

Nikolay Volf's avatar
Nikolay Volf committed
141
142
143
144
145
146
147
parameter_types! {
	pub const DbWeight: RuntimeDbWeight = RuntimeDbWeight {
		read: 60_000_000,
		write: 200_000_000,
	};
}

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

Gavin Wood's avatar
Gavin Wood committed
173
174
175
176
177
178
179
impl scheduler::Trait for Runtime {
	type Event = Event;
	type Origin = Origin;
	type Call = Call;
	type MaximumWeight = MaximumBlockWeight;
}

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

impl babe::Trait for Runtime {
	type EpochDuration = EpochDuration;
	type ExpectedBlockTime = ExpectedBlockTime;
188
189
190

	// session module is the trigger
	type EpochChangeTrigger = babe::ExternalTrigger;
191
192
}

Gavin Wood's avatar
Gavin Wood committed
193
194
195
196
parameter_types! {
	pub const IndexDeposit: Balance = 1 * DOLLARS;
}

Gav Wood's avatar
Gav Wood committed
197
198
impl indices::Trait for Runtime {
	type AccountIndex = AccountIndex;
199
200
	type Currency = Balances;
	type Deposit = IndexDeposit;
Gav Wood's avatar
Gav Wood committed
201
202
203
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
204
parameter_types! {
205
	pub const ExistentialDeposit: Balance = 100 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
206
207
208
209
210
}

/// Splits fees 80/20 between treasury and block author.
pub type DealWithFees = SplitTwoWays<
	Balance,
211
212
213
	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
214
215
>;

216
impl balances::Trait for Runtime {
Gav's avatar
Gav committed
217
218
	type Balance = Balance;
	type Event = Event;
219
	type DustRemoval = ();
Gavin Wood's avatar
Gavin Wood committed
220
	type ExistentialDeposit = ExistentialDeposit;
221
	type AccountStore = System;
222
223
224
225
}

parameter_types! {
	pub const TransactionByteFee: Balance = 10 * MILLICENTS;
226
	// for a sane configuration, this should always be less than `AvailableBlockRatio`.
227
	pub const TargetBlockFullness: Perquintill = Perquintill::from_percent(25);
228
229
230
231
232
}

impl transaction_payment::Trait for Runtime {
	type Currency = Balances;
	type OnTransactionPayment = DealWithFees;
Gavin Wood's avatar
Gavin Wood committed
233
	type TransactionByteFee = TransactionByteFee;
234
	type WeightToFee = WeightToFee;
235
	type FeeMultiplierUpdate = TargetedFeeAdjustment<TargetBlockFullness, Self>;
Gav's avatar
Gav committed
236
237
}

238
parameter_types! {
239
	pub const MinimumPeriod: u64 = SLOT_DURATION / 2;
240
}
241
impl timestamp::Trait for Runtime {
242
	type Moment = u64;
243
	type OnTimestampSet = Babe;
244
	type MinimumPeriod = MinimumPeriod;
245
246
}

Gavin Wood's avatar
Gavin Wood committed
247
parameter_types! {
248
	pub const UncleGenerations: u32 = 0;
Gavin Wood's avatar
Gavin Wood committed
249
250
251
252
}

// TODO: substrate#2986 implement this properly
impl authorship::Trait for Runtime {
253
	type FindAuthor = session::FindAccountFromAuthorIndex<Self, Babe>;
Gavin Wood's avatar
Gavin Wood committed
254
255
	type UncleGenerations = UncleGenerations;
	type FilterUncle = ();
Gavin Wood's avatar
Gavin Wood committed
256
	type EventHandler = (Staking, ImOnline);
Gavin Wood's avatar
Gavin Wood committed
257
258
}

259
260
261
262
263
264
parameter_types! {
	pub const Period: BlockNumber = 10 * MINUTES;
	pub const Offset: BlockNumber = 0;
}

impl_opaque_keys! {
265
	pub struct SessionKeys {
Gavin Wood's avatar
Gavin Wood committed
266
267
268
269
		pub grandpa: Grandpa,
		pub babe: Babe,
		pub im_online: ImOnline,
		pub parachain_validator: Parachains,
Gavin Wood's avatar
Gavin Wood committed
270
		pub authority_discovery: AuthorityDiscovery,
271
	}
272
273
}

thiolliere's avatar
thiolliere committed
274
275
276
277
parameter_types! {
	pub const DisabledValidatorsThreshold: Perbill = Perbill::from_percent(17);
}

278
impl session::Trait for Runtime {
Gav's avatar
Gav committed
279
	type Event = Event;
280
281
	type ValidatorId = AccountId;
	type ValidatorIdOf = staking::StashOf<Self>;
Gavin Wood's avatar
Gavin Wood committed
282
	type ShouldEndSession = Babe;
283
	type NextSessionRotation = Babe;
Gavin Wood's avatar
Gavin Wood committed
284
285
286
	type SessionManager = Staking;
	type SessionHandler = <SessionKeys as OpaqueKeys>::KeyTypeIdProviders;
	type Keys = SessionKeys;
thiolliere's avatar
thiolliere committed
287
	type DisabledValidatorsThreshold = DisabledValidatorsThreshold;
288
289
290
291
}

impl session::historical::Trait for Runtime {
	type FullIdentification = staking::Exposure<AccountId, Balance>;
292
	type FullIdentificationOf = staking::ExposureOf<Runtime>;
293
294
}

295
pallet_staking_reward_curve::build! {
thiolliere's avatar
thiolliere committed
296
297
298
299
300
301
302
303
304
305
	const REWARD_CURVE: PiecewiseLinear<'static> = curve!(
		min_inflation: 0_025_000,
		max_inflation: 0_100_000,
		ideal_stake: 0_500_000,
		falloff: 0_050_000,
		max_piece_count: 40,
		test_precision: 0_005_000,
	);
}

306
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
307
	// Six sessions in an era (24 hours).
308
	pub const SessionsPerEra: SessionIndex = 6;
Gavin Wood's avatar
Gavin Wood committed
309
	// 28 eras for unbonding (28 days).
Gavin Wood's avatar
Gavin Wood committed
310
311
	pub const BondingDuration: staking::EraIndex = 28;
	pub const SlashDeferDuration: staking::EraIndex = 28;
thiolliere's avatar
thiolliere committed
312
	pub const RewardCurve: &'static PiecewiseLinear<'static> = &REWARD_CURVE;
Gavin Wood's avatar
Gavin Wood committed
313
	pub const MaxNominatorRewardedPerValidator: u32 = 64;
314
315
	// quarter of the last session will be for election.
	pub const ElectionLookahead: BlockNumber = EPOCH_DURATION_IN_BLOCKS / 4;
316
}
317

318
impl staking::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
319
	type Currency = Balances;
320
	type UnixTime = Timestamp;
321
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
322
	type RewardRemainder = Treasury;
Gav's avatar
Gav committed
323
	type Event = Event;
324
	type Slash = Treasury;
325
	type Reward = ();
326
327
	type SessionsPerEra = SessionsPerEra;
	type BondingDuration = BondingDuration;
Gavin Wood's avatar
Gavin Wood committed
328
329
	type SlashDeferDuration = SlashDeferDuration;
	// A super-majority of the council can cancel the slash.
Gavin Wood's avatar
Gavin Wood committed
330
	type SlashCancelOrigin = collective::EnsureProportionAtLeast<_3, _4, AccountId, CouncilCollective>;
331
	type SessionInterface = Self;
thiolliere's avatar
thiolliere committed
332
	type RewardCurve = RewardCurve;
Gavin Wood's avatar
Gavin Wood committed
333
	type MaxNominatorRewardedPerValidator = MaxNominatorRewardedPerValidator;
334
335
336
	type NextNewSession = Session;
	type ElectionLookahead = ElectionLookahead;
	type Call = Call;
337
	type UnsignedPriority = StakingUnsignedPriority;
338
339
}

340
parameter_types! {
341
342
	pub const LaunchPeriod: BlockNumber = 28 * DAYS;
	pub const VotingPeriod: BlockNumber = 28 * DAYS;
343
	pub const FastTrackVotingPeriod: BlockNumber = 3 * HOURS;
344
	pub const MinimumDeposit: Balance = 100 * DOLLARS;
345
346
	pub const EnactmentPeriod: BlockNumber = 8 * DAYS;
	pub const CooloffPeriod: BlockNumber = 7 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
347
348
	// One cent: $10,000 / MB
	pub const PreimageByteDeposit: Balance = 1 * CENTS;
349
	pub const InstantAllowed: bool = false;
350
351
}

352
353
354
impl democracy::Trait for Runtime {
	type Proposal = Call;
	type Event = Event;
355
	type Currency = Balances;
356
357
358
359
	type EnactmentPeriod = EnactmentPeriod;
	type LaunchPeriod = LaunchPeriod;
	type VotingPeriod = VotingPeriod;
	type MinimumDeposit = MinimumDeposit;
360
361
	/// A straight majority of the council can decide what their next motion is.
	type ExternalOrigin = collective::EnsureProportionAtLeast<_1, _2, AccountId, CouncilCollective>;
362
363
	/// A 60% super-majority can have the next scheduled referendum be a straight majority-carries vote.
	type ExternalMajorityOrigin = collective::EnsureProportionAtLeast<_3, _5, AccountId, CouncilCollective>;
364
365
366
367
368
369
	/// A unanimous council can have the next scheduled referendum be a straight default-carries
	/// (NTB) vote.
	type ExternalDefaultOrigin = collective::EnsureProportionAtLeast<_1, _1, AccountId, CouncilCollective>;
	/// Two thirds of the technical committee can have an ExternalMajority/ExternalDefault vote
	/// be tabled immediately and with a shorter voting/enactment period.
	type FastTrackOrigin = collective::EnsureProportionAtLeast<_2, _3, AccountId, TechnicalCollective>;
370
371
372
	type InstantOrigin = collective::EnsureProportionAtLeast<_1, _1, AccountId, TechnicalCollective>;
	type InstantAllowed = InstantAllowed;
	type FastTrackVotingPeriod = FastTrackVotingPeriod;
373
374
375
376
377
	// To cancel a proposal which has been passed, 2/3 of the council must agree to it.
	type CancellationOrigin = collective::EnsureProportionAtLeast<_2, _3, AccountId, CouncilCollective>;
	// 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.
	type VetoOrigin = collective::EnsureMember<AccountId, TechnicalCollective>;
378
	type CooloffPeriod = CooloffPeriod;
Gavin Wood's avatar
Gavin Wood committed
379
380
	type PreimageByteDeposit = PreimageByteDeposit;
	type Slash = Treasury;
Gavin Wood's avatar
Gavin Wood committed
381
	type Scheduler = Scheduler;
382
}
383

384
385
386
387
parameter_types! {
	pub const CouncilMotionDuration: BlockNumber = 7 * DAYS;
}

388
389
type CouncilCollective = collective::Instance1;
impl collective::Trait<CouncilCollective> for Runtime {
390
391
392
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
393
	type MotionDuration = CouncilMotionDuration;
394
395
}

Gavin Wood's avatar
Gavin Wood committed
396
parameter_types! {
397
398
	pub const CandidacyBond: Balance = 100 * DOLLARS;
	pub const VotingBond: Balance = 5 * DOLLARS;
399
400
401
	/// Weekly council elections initially, later monthly.
	pub const TermDuration: BlockNumber = 7 * DAYS;
	/// 13 members initially, to be increased to 23 eventually.
Kian Paimani's avatar
Kian Paimani committed
402
	pub const DesiredMembers: u32 = 13;
403
	pub const DesiredRunnersUp: u32 = 20;
404
	pub const ElectionsPhragmenModuleId: LockIdentifier = *b"phrelect";
405
406
407
}

impl elections_phragmen::Trait for Runtime {
408
	type Event = Event;
409
410
	type Currency = Balances;
	type ChangeMembers = Council;
411
	type InitializeMembers = Council;
412
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
413
414
	type CandidacyBond = CandidacyBond;
	type VotingBond = VotingBond;
415
416
417
	type LoserCandidate = Treasury;
	type BadReport = Treasury;
	type KickedMember = Treasury;
Gavin Wood's avatar
Gavin Wood committed
418
419
420
	type DesiredMembers = DesiredMembers;
	type DesiredRunnersUp = DesiredRunnersUp;
	type TermDuration = TermDuration;
421
	type ModuleId = ElectionsPhragmenModuleId;
422
423
}

424
425
426
427
parameter_types! {
	pub const TechnicalMotionDuration: BlockNumber = 7 * DAYS;
}

428
429
type TechnicalCollective = collective::Instance2;
impl collective::Trait<TechnicalCollective> for Runtime {
430
431
432
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
433
	type MotionDuration = TechnicalMotionDuration;
434
435
}

436
437
438
439
440
441
impl membership::Trait<membership::Instance1> for Runtime {
	type Event = Event;
	type AddOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
	type RemoveOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
	type SwapOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
	type ResetOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
442
	type PrimeOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
443
444
445
446
	type MembershipInitialized = TechnicalCommittee;
	type MembershipChanged = TechnicalCommittee;
}

Gavin Wood's avatar
Gavin Wood committed
447
448
parameter_types! {
	pub const ProposalBond: Permill = Permill::from_percent(5);
449
450
451
	pub const ProposalBondMinimum: Balance = 100 * DOLLARS;
	pub const SpendPeriod: BlockNumber = 24 * DAYS;
	pub const Burn: Permill = Permill::from_percent(1);
452
	pub const TreasuryModuleId: ModuleId = ModuleId(*b"py/trsry");
Gavin Wood's avatar
Gavin Wood committed
453
454
455
456
457

	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
458
459
}

460
impl treasury::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
461
	type Currency = Balances;
462
	type ApproveOrigin = collective::EnsureProportionAtLeast<_3, _5, AccountId, CouncilCollective>;
463
	type RejectOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
Gavin Wood's avatar
Gavin Wood committed
464
465
466
467
468
	type Tippers = ElectionsPhragmen;
	type TipCountdown = TipCountdown;
	type TipFindersFee = TipFindersFee;
	type TipReportDepositBase = TipReportDepositBase;
	type TipReportDepositPerByte = TipReportDepositPerByte;
469
	type Event = Event;
470
	type ProposalRejection = Treasury;
Gavin Wood's avatar
Gavin Wood committed
471
472
473
474
	type ProposalBond = ProposalBond;
	type ProposalBondMinimum = ProposalBondMinimum;
	type SpendPeriod = SpendPeriod;
	type Burn = Burn;
475
	type ModuleId = TreasuryModuleId;
476
}
477

478
479
480
481
482
483
impl offences::Trait for Runtime {
	type Event = Event;
	type IdentificationTuple = session::historical::IdentificationTuple<Self>;
	type OnOffenceHandler = Staking;
}

Gavin Wood's avatar
Gavin Wood committed
484
485
impl authority_discovery::Trait for Runtime {}

486
487
488
489
parameter_types! {
	pub const SessionDuration: BlockNumber = EPOCH_DURATION_IN_BLOCKS as _;
}

490
491
492
493
494
parameter_types! {
	pub const StakingUnsignedPriority: TransactionPriority = TransactionPriority::max_value() / 2;
	pub const ImOnlineUnsignedPriority: TransactionPriority = TransactionPriority::max_value();
}

495
impl im_online::Trait for Runtime {
thiolliere's avatar
thiolliere committed
496
	type AuthorityId = ImOnlineId;
497
	type Event = Event;
498
	type SessionDuration = SessionDuration;
Gavin Wood's avatar
Gavin Wood committed
499
	type ReportUnresponsiveness = Offences;
500
	type UnsignedPriority = ImOnlineUnsignedPriority;
501
502
}

503
504
505
506
impl grandpa::Trait for Runtime {
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
507
508
509
510
511
512
parameter_types! {
	pub const WindowSize: BlockNumber = finality_tracker::DEFAULT_WINDOW_SIZE.into();
	pub const ReportLatency: BlockNumber = finality_tracker::DEFAULT_REPORT_LATENCY.into();
}

impl finality_tracker::Trait for Runtime {
513
	type OnFinalizationStalled = ();
Gavin Wood's avatar
Gavin Wood committed
514
515
516
517
	type WindowSize = WindowSize;
	type ReportLatency = ReportLatency;
}

518
519
520
521
parameter_types! {
	pub const AttestationPeriod: BlockNumber = 50;
}

522
523
524
impl attestations::Trait for Runtime {
	type AttestationPeriod = AttestationPeriod;
	type ValidatorIdentities = parachains::ValidatorIdentities<Runtime>;
525
	type RewardAttestation = Staking;
526
527
}

528
529
530
parameter_types! {
	pub const MaxCodeSize: u32 = 10 * 1024 * 1024; // 10 MB
	pub const MaxHeadDataSize: u32 = 20 * 1024; // 20 KB
531
532
533
534

	pub const ValidationUpgradeFrequency: BlockNumber = 7 * DAYS;
	pub const ValidationUpgradeDelay: BlockNumber = 1 * DAYS;
	pub const SlashPeriod: BlockNumber = 28 * DAYS;
535
536
}

537
impl parachains::Trait for Runtime {
538
	type AuthorityId = parachains::FishermanAuthorityId;
539
540
	type Origin = Origin;
	type Call = Call;
541
	type ParachainCurrency = Balances;
542
	type BlockNumberConversion = sp_runtime::traits::Identity;
543
	type Randomness = RandomnessCollectiveFlip;
544
545
	type ActiveParachains = Registrar;
	type Registrar = Registrar;
546
547
	type MaxCodeSize = MaxCodeSize;
	type MaxHeadDataSize = MaxHeadDataSize;
548
549
550
551
552

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

553
554
555
556
	type Proof = session::historical::Proof;
	type KeyOwnerProofSystem = session::historical::Module<Self>;
	type IdentificationTuple = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(KeyTypeId, Vec<u8>)>>::IdentificationTuple;
	type ReportOffence = Offences;
557
	type BlockHashConversion = sp_runtime::traits::Identity;
558
559
}

560
561
562
563
564
565
566
impl<LocalCall> system::offchain::CreateSignedTransaction<LocalCall> for Runtime where
	Call: From<LocalCall>,
{
	fn create_transaction<C: system::offchain::AppCrypto<Self::Public, Self::Signature>>(
		call: Call,
		public: <Signature as Verify>::Signer,
		account: AccountId,
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
		nonce: <Runtime as system::Trait>::Index,
	) -> Option<(Call, <UncheckedExtrinsic as ExtrinsicT>::SignaturePayload)> {
		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>()
			.saturating_sub(1);
		let tip = 0;
		let extra: SignedExtra = (
			OnlyStakingAndClaims,
			system::CheckVersion::<Runtime>::new(),
			system::CheckGenesis::<Runtime>::new(),
			system::CheckEra::<Runtime>::from(generic::Era::mortal(period, current_block)),
			system::CheckNonce::<Runtime>::from(nonce),
			system::CheckWeight::<Runtime>::new(),
			transaction_payment::ChargeTransactionPayment::<Runtime>::from(tip),
			registrar::LimitParathreadCommits::<Runtime>::new(),
			parachains::ValidateDoubleVoteReports::<Runtime>::new(),
		);
		let raw_payload = SignedPayload::new(call, extra).map_err(|e| {
590
			debug::warn!("Unable to create signed payload: {:?}", e);
591
		}).ok()?;
592
593
594
		let signature = raw_payload.using_encoded(|payload| {
			C::sign(payload, public)
		})?;
595
596
597
		let (call, extra, _) = raw_payload.deconstruct();
		Some((call, (account, signature, extra)))
	}
598
599
}

600
601
602
603
604
605
606
607
608
609
610
611
impl system::offchain::SigningTypes for Runtime {
	type Public = <Signature as Verify>::Signer;
	type Signature = Signature;
}

impl<C> system::offchain::SendTransactionTypes<C> for Runtime where
	Call: From<C>,
{
	type OverarchingCall = Call;
	type Extrinsic = UncheckedExtrinsic;
}

612
613
614
615
616
617
618
619
620
621
622
623
624
625
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;
626
}
627

Gavin Wood's avatar
Gavin Wood committed
628
parameter_types! {
629
	pub const LeasePeriod: BlockNumber = 100_000;
Gavin Wood's avatar
Gavin Wood committed
630
631
632
633
634
	pub const EndingPeriod: BlockNumber = 1000;
}

impl slots::Trait for Runtime {
	type Event = Event;
635
636
	type Currency = Balances;
	type Parachains = Registrar;
Gavin Wood's avatar
Gavin Wood committed
637
	type EndingPeriod = EndingPeriod;
Gavin Wood's avatar
Gavin Wood committed
638
	type LeasePeriod = LeasePeriod;
639
	type Randomness = RandomnessCollectiveFlip;
Gavin Wood's avatar
Gavin Wood committed
640
641
}

Gavin Wood's avatar
Gavin Wood committed
642
parameter_types! {
643
	pub const Prefix: &'static [u8] = b"Pay DOTs to the Polkadot account:";
644
645
646
647
}

impl claims::Trait for Runtime {
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
648
	type VestingSchedule = Vesting;
649
650
651
	type Prefix = Prefix;
}

652
653
654
655
parameter_types! {
	pub const MinVestedTransfer: Balance = 100 * DOLLARS;
}

Gavin Wood's avatar
Gavin Wood committed
656
657
658
659
impl vesting::Trait for Runtime {
	type Event = Event;
	type Currency = Balances;
	type BlockNumberToBalance = ConvertInto;
660
	type MinVestedTransfer = MinVestedTransfer;
Gavin Wood's avatar
Gavin Wood committed
661
662
}

663
664
impl sudo::Trait for Runtime {
	type Event = Event;
665
	type Call = Call;
666
667
}

Gavin Wood's avatar
Gavin Wood committed
668
construct_runtime! {
669
	pub enum Runtime where
670
		Block = Block,
671
		NodeBlock = primitives::Block,
672
		UncheckedExtrinsic = UncheckedExtrinsic
673
	{
674
		// Basic stuff; balances is uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
675
		System: system::{Module, Call, Storage, Config, Event<T>},
Ashley's avatar
Ashley committed
676
		RandomnessCollectiveFlip: randomness_collective_flip::{Module, Storage},
Gavin Wood's avatar
Gavin Wood committed
677
		Scheduler: scheduler::{Module, Call, Storage, Event<T>},
678
679

		// Must be before session.
680
		Babe: babe::{Module, Call, Storage, Config, Inherent(Timestamp)},
681
682

		Timestamp: timestamp::{Module, Call, Storage, Inherent},
683
		Indices: indices::{Module, Call, Storage, Config<T>, Event<T>},
684
		Balances: balances::{Module, Call, Storage, Config<T>, Event<T>},
685
		TransactionPayment: transaction_payment::{Module, Storage},
686
687
688

		// Consensus support.
		Authorship: authorship::{Module, Call, Storage},
Kian Paimani's avatar
Kian Paimani committed
689
		Staking: staking::{Module, Call, Storage, Config<T>, Event<T>, ValidateUnsigned},
690
		Offences: offences::{Module, Call, Storage, Event},
691
		Historical: session_historical::{Module},
692
		Session: session::{Module, Call, Storage, Event, Config<T>},
693
		FinalityTracker: finality_tracker::{Module, Call, Storage, Inherent},
694
		Grandpa: grandpa::{Module, Call, Storage, Config, Event},
thiolliere's avatar
thiolliere committed
695
		ImOnline: im_online::{Module, Call, Storage, Event<T>, ValidateUnsigned, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
696
		AuthorityDiscovery: authority_discovery::{Module, Call, Config},
697
698

		// Governance stuff; uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
699
		Democracy: democracy::{Module, Call, Storage, Config, Event<T>},
700
701
		Council: collective::<Instance1>::{Module, Call, Storage, Origin<T>, Event<T>, Config<T>},
		TechnicalCommittee: collective::<Instance2>::{Module, Call, Storage, Origin<T>, Event<T>, Config<T>},
702
		ElectionsPhragmen: elections_phragmen::{Module, Call, Storage, Event<T>, Config<T>},
703
		TechnicalMembership: membership::<Instance1>::{Module, Call, Storage, Event<T>, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
704
		Treasury: treasury::{Module, Call, Storage, Event<T>},
705
706
707

		// Parachains stuff; slots are disabled (no auctions initially). The rest are safe as they
		// have no public dispatchables.
708
		Parachains: parachains::{Module, Call, Storage, Config, Inherent, Origin},
709
		Attestations: attestations::{Module, Call, Storage},
Gavin Wood's avatar
Gavin Wood committed
710
		Slots: slots::{Module, Call, Storage, Event<T>},
711
		Registrar: registrar::{Module, Call, Storage, Event, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
712
713
714
715
716
717
718

		// Claims. Usable initially.
		Claims: claims::{Module, Call, Storage, Event<T>, Config<T>, ValidateUnsigned},
		// Vesting. Usable initially, but removed once all vesting is finished.
		Vesting: vesting::{Module, Call, Storage, Event<T>, Config<T>},

		// Sudo. Last module. Usable initially, but removed once governance enabled.
719
		Sudo: sudo::{Module, Call, Storage, Config<T>, Event<T>},
Gav's avatar
Gav committed
720
	}
Gavin Wood's avatar
Gavin Wood committed
721
}
722
723

/// The address format for describing accounts.
724
pub type Address = AccountId;
725
/// Block header type as expected by this runtime.
726
pub type Header = generic::Header<BlockNumber, BlakeTwo256>;
727
728
729
730
731
732
/// Block type as expected by this runtime.
pub type Block = generic::Block<Header, UncheckedExtrinsic>;
/// A Block signed with a Justification
pub type SignedBlock = generic::SignedBlock<Block>;
/// BlockId type as expected by this runtime.
pub type BlockId = generic::BlockId<Block>;
733
734
/// The SignedExtension to the basic transaction logic.
pub type SignedExtra = (
735
736
	// RELEASE: remove this for release build.
	OnlyStakingAndClaims,
737
	system::CheckVersion<Runtime>,
738
	system::CheckGenesis<Runtime>,
739
740
741
	system::CheckEra<Runtime>,
	system::CheckNonce<Runtime>,
	system::CheckWeight<Runtime>,
742
	transaction_payment::ChargeTransactionPayment::<Runtime>,
743
744
	registrar::LimitParathreadCommits<Runtime>,
	parachains::ValidateDoubleVoteReports<Runtime>
745
);
746
/// Unchecked extrinsic type as expected by this runtime.
747
pub type UncheckedExtrinsic = generic::UncheckedExtrinsic<Address, Call, Signature, SignedExtra>;
748
/// Extrinsic type that has already been checked.
Gav Wood's avatar
Gav Wood committed
749
pub type CheckedExtrinsic = generic::CheckedExtrinsic<AccountId, Nonce, Call>;
750
/// Executive: handles dispatch to the various modules.
751
pub type Executive = executive::Executive<Runtime, Block, system::ChainContext<Runtime>, Runtime, AllModules>;
752
753
/// The payload being signed in transactions.
pub type SignedPayload = generic::SignedPayload<Call, SignedExtra>;
754

755
756
sp_api::impl_runtime_apis! {
	impl sp_api::Core<Block> for Runtime {
757
758
759
760
761
762
763
		fn version() -> RuntimeVersion {
			VERSION
		}

		fn execute_block(block: Block) {
			Executive::execute_block(block)
		}
764

765
766
		fn initialize_block(header: &<Block as BlockT>::Header) {
			Executive::initialize_block(header)
767
768
		}
	}
Gav's avatar
Gav committed
769

770
	impl sp_api::Metadata<Block> for Runtime {
771
772
773
		fn metadata() -> OpaqueMetadata {
			Runtime::metadata().into()
		}
Gav's avatar
Gav committed
774
775
	}

776
	impl block_builder_api::BlockBuilder<Block> for Runtime {
777
		fn apply_extrinsic(extrinsic: <Block as BlockT>::Extrinsic) -> ApplyExtrinsicResult {
778
779
780
			Executive::apply_extrinsic(extrinsic)
		}

781
782
		fn finalize_block() -> <Block as BlockT>::Header {
			Executive::finalize_block()
783
		}
784

Gavin Wood's avatar
Gavin Wood committed
785
		fn inherent_extrinsics(data: inherents::InherentData) -> Vec<<Block as BlockT>::Extrinsic> {
786
			data.create_extrinsics()
787
		}
788

Gavin Wood's avatar
Gavin Wood committed
789
790
791
792
		fn check_inherents(
			block: Block,
			data: inherents::InherentData,
		) -> inherents::CheckInherentsResult {
793
			data.check_extrinsics(&block)
794
		}
795

796
		fn random_seed() -> <Block as BlockT>::Hash {
Ashley's avatar
Ashley committed
797
			RandomnessCollectiveFlip::random_seed()
798
		}
799
800
	}

801
	impl tx_pool_api::runtime_api::TaggedTransactionQueue<Block> for Runtime {
802
803
804
805
806
		fn validate_transaction(
			source: TransactionSource,
			tx: <Block as BlockT>::Extrinsic,
		) -> TransactionValidity {
			Executive::validate_transaction(source, tx)
807
		}
Gav's avatar
Gav committed
808
	}
809

810
	impl offchain_primitives::OffchainWorkerApi<Block> for Runtime {
811
812
		fn offchain_worker(header: &<Block as BlockT>::Header) {
			Executive::offchain_worker(header)
813
814
815
		}
	}

816
	impl parachain::ParachainHost<Block> for Runtime {
Gav Wood's avatar
Gav Wood committed
817
		fn validators() -> Vec<parachain::ValidatorId> {
818
			Parachains::authorities()
819
820
		}
		fn duty_roster() -> parachain::DutyRoster {
821
			Parachains::calculate_duty_roster().0
822
		}
823
824
		fn active_parachains() -> Vec<(parachain::Id, Option<(parachain::CollatorId, parachain::Retriable)>)> {
			Registrar::active_paras()
825
		}
826
827
828
829
		fn global_validation_schedule() -> parachain::GlobalValidationSchedule {
			Parachains::global_validation_schedule()
		}
		fn local_validation_data(id: parachain::Id) -> Option<parachain::LocalValidationData> {
830
			Parachains::current_local_validation_data(&id)
831
		}
832
		fn parachain_code(id: parachain::Id) -> Option<parachain::ValidationCode> {
833
834
			Parachains::parachain_code(&id)
		}
835
836
837
		fn get_heads(extrinsics: Vec<<Block as BlockT>::Extrinsic>)
			-> Option<Vec<AbridgedCandidateReceipt>>
		{
838
839
840
841
842
843
844
845
846
847
848
849
			extrinsics
				.into_iter()
				.find_map(|ex| match UncheckedExtrinsic::decode(&mut ex.encode().as_slice()) {
					Ok(ex) => match ex.function {
						Call::Parachains(ParachainsCall::set_heads(heads)) => {
							Some(heads.into_iter().map(|c| c.candidate).collect())
						}
						_ => None,
					}
					Err(_) => None,
				})
		}
850
851
852
		fn signing_context() -> SigningContext {
			Parachains::signing_context()
		}
853
	}
854
855

	impl fg_primitives::GrandpaApi<Block> for Runtime {
856
		fn grandpa_authorities() -> Vec<(GrandpaId, u64)> {
857
858
859
860
			Grandpa::grandpa_authorities()
		}
	}

861
	impl babe_primitives::BabeApi<Block> for Runtime {
862
		fn configuration() -> babe_primitives::BabeGenesisConfiguration {