lib.rs 30.4 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
26
27
	NegativeImbalance, BlockHashCount, MaximumBlockWeight, AvailableBlockRatio,
	MaximumBlockLength,
};
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::{
Gavin Wood's avatar
Gavin Wood committed
37
	create_runtime_str, generic, impl_opaque_keys,
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
59
	parameter_types, construct_runtime, debug,
	traits::{KeyOwnerProofSystem, SplitTwoWays, Randomness},
Gavin Wood's avatar
Gavin Wood committed
60
};
thiolliere's avatar
thiolliere committed
61
use im_online::sr25519::AuthorityId as ImOnlineId;
Gavin Wood's avatar
Gavin Wood committed
62
use authority_discovery_primitives::AuthorityId as AuthorityDiscoveryId;
Gavin Wood's avatar
Gavin Wood committed
63
use transaction_payment_rpc_runtime_api::RuntimeDispatchInfo;
64
use session::historical as session_historical;
65

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

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

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

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

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

104
105
106
107
/// 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.
108
#[derive(Default, Encode, Decode, Clone, Eq, PartialEq, RuntimeDebug)]
109
110
pub struct OnlyStakingAndClaims;
impl SignedExtension for OnlyStakingAndClaims {
Gavin Wood's avatar
Gavin Wood committed
111
	const IDENTIFIER: &'static str = "OnlyStakingAndClaims";
112
113
114
115
	type AccountId = AccountId;
	type Call = Call;
	type AdditionalSigned = ();
	type Pre = ();
116

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

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

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

140
141
impl system::Trait for Runtime {
	type Origin = Origin;
142
	type Call = Call;
Gav Wood's avatar
Gav Wood committed
143
	type Index = Nonce;
144
145
146
147
	type BlockNumber = BlockNumber;
	type Hash = Hash;
	type Hashing = BlakeTwo256;
	type AccountId = AccountId;
148
	type Lookup = IdentityLookup<AccountId>;
149
	type Header = generic::Header<BlockNumber, BlakeTwo256>;
Gav's avatar
Gav committed
150
	type Event = Event;
151
	type BlockHashCount = BlockHashCount;
152
	type MaximumBlockWeight = MaximumBlockWeight;
153
	type DbWeight = ();
154
155
	type MaximumBlockLength = MaximumBlockLength;
	type AvailableBlockRatio = AvailableBlockRatio;
156
	type Version = Version;
157
	type ModuleToIndex = ModuleToIndex;
158
	type AccountData = balances::AccountData<Balance>;
Gavin Wood's avatar
Gavin Wood committed
159
	type OnNewAccount = ();
160
	type OnKilledAccount = ();
161
162
}

Gavin Wood's avatar
Gavin Wood committed
163
164
165
166
167
168
169
impl scheduler::Trait for Runtime {
	type Event = Event;
	type Origin = Origin;
	type Call = Call;
	type MaximumWeight = MaximumBlockWeight;
}

170
parameter_types! {
171
	pub const EpochDuration: u64 = EPOCH_DURATION_IN_BLOCKS as u64;
172
173
174
175
176
177
	pub const ExpectedBlockTime: Moment = MILLISECS_PER_BLOCK;
}

impl babe::Trait for Runtime {
	type EpochDuration = EpochDuration;
	type ExpectedBlockTime = ExpectedBlockTime;
178
179
180

	// session module is the trigger
	type EpochChangeTrigger = babe::ExternalTrigger;
181
182
}

Gavin Wood's avatar
Gavin Wood committed
183
184
185
186
parameter_types! {
	pub const IndexDeposit: Balance = 1 * DOLLARS;
}

Gav Wood's avatar
Gav Wood committed
187
188
impl indices::Trait for Runtime {
	type AccountIndex = AccountIndex;
189
190
	type Currency = Balances;
	type Deposit = IndexDeposit;
Gav Wood's avatar
Gav Wood committed
191
192
193
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
194
parameter_types! {
195
	pub const ExistentialDeposit: Balance = 100 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
196
197
198
199
200
}

/// Splits fees 80/20 between treasury and block author.
pub type DealWithFees = SplitTwoWays<
	Balance,
201
202
203
	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
204
205
>;

206
impl balances::Trait for Runtime {
Gav's avatar
Gav committed
207
208
	type Balance = Balance;
	type Event = Event;
209
	type DustRemoval = ();
Gavin Wood's avatar
Gavin Wood committed
210
	type ExistentialDeposit = ExistentialDeposit;
211
	type AccountStore = System;
212
213
214
215
216
}

parameter_types! {
	pub const TransactionBaseFee: Balance = 1 * CENTS;
	pub const TransactionByteFee: Balance = 10 * MILLICENTS;
217
	// for a sane configuration, this should always be less than `AvailableBlockRatio`.
218
	pub const TargetBlockFullness: Perquintill = Perquintill::from_percent(25);
219
220
221
222
223
}

impl transaction_payment::Trait for Runtime {
	type Currency = Balances;
	type OnTransactionPayment = DealWithFees;
Gavin Wood's avatar
Gavin Wood committed
224
225
	type TransactionBaseFee = TransactionBaseFee;
	type TransactionByteFee = TransactionByteFee;
226
	type WeightToFee = WeightToFee;
227
	type FeeMultiplierUpdate = TargetedFeeAdjustment<TargetBlockFullness, Self>;
Gav's avatar
Gav committed
228
229
}

230
parameter_types! {
231
	pub const MinimumPeriod: u64 = SLOT_DURATION / 2;
232
}
233
impl timestamp::Trait for Runtime {
234
	type Moment = u64;
235
	type OnTimestampSet = Babe;
236
	type MinimumPeriod = MinimumPeriod;
237
238
}

Gavin Wood's avatar
Gavin Wood committed
239
parameter_types! {
240
	pub const UncleGenerations: u32 = 0;
Gavin Wood's avatar
Gavin Wood committed
241
242
243
244
}

// TODO: substrate#2986 implement this properly
impl authorship::Trait for Runtime {
245
	type FindAuthor = session::FindAccountFromAuthorIndex<Self, Babe>;
Gavin Wood's avatar
Gavin Wood committed
246
247
	type UncleGenerations = UncleGenerations;
	type FilterUncle = ();
Gavin Wood's avatar
Gavin Wood committed
248
	type EventHandler = (Staking, ImOnline);
Gavin Wood's avatar
Gavin Wood committed
249
250
}

251
252
253
254
255
256
parameter_types! {
	pub const Period: BlockNumber = 10 * MINUTES;
	pub const Offset: BlockNumber = 0;
}

impl_opaque_keys! {
257
	pub struct SessionKeys {
Gavin Wood's avatar
Gavin Wood committed
258
259
260
261
		pub grandpa: Grandpa,
		pub babe: Babe,
		pub im_online: ImOnline,
		pub parachain_validator: Parachains,
Gavin Wood's avatar
Gavin Wood committed
262
		pub authority_discovery: AuthorityDiscovery,
263
	}
264
265
}

thiolliere's avatar
thiolliere committed
266
267
268
269
parameter_types! {
	pub const DisabledValidatorsThreshold: Perbill = Perbill::from_percent(17);
}

270
impl session::Trait for Runtime {
Gav's avatar
Gav committed
271
	type Event = Event;
272
273
	type ValidatorId = AccountId;
	type ValidatorIdOf = staking::StashOf<Self>;
Gavin Wood's avatar
Gavin Wood committed
274
	type ShouldEndSession = Babe;
275
	type NextSessionRotation = Babe;
Gavin Wood's avatar
Gavin Wood committed
276
277
278
	type SessionManager = Staking;
	type SessionHandler = <SessionKeys as OpaqueKeys>::KeyTypeIdProviders;
	type Keys = SessionKeys;
thiolliere's avatar
thiolliere committed
279
	type DisabledValidatorsThreshold = DisabledValidatorsThreshold;
280
281
282
283
}

impl session::historical::Trait for Runtime {
	type FullIdentification = staking::Exposure<AccountId, Balance>;
284
	type FullIdentificationOf = staking::ExposureOf<Runtime>;
285
286
}

287
pallet_staking_reward_curve::build! {
thiolliere's avatar
thiolliere committed
288
289
290
291
292
293
294
295
296
297
	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,
	);
}

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

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

332
parameter_types! {
333
334
	pub const LaunchPeriod: BlockNumber = 28 * DAYS;
	pub const VotingPeriod: BlockNumber = 28 * DAYS;
335
	pub const FastTrackVotingPeriod: BlockNumber = 3 * HOURS;
336
	pub const MinimumDeposit: Balance = 100 * DOLLARS;
337
338
	pub const EnactmentPeriod: BlockNumber = 8 * DAYS;
	pub const CooloffPeriod: BlockNumber = 7 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
339
340
	// One cent: $10,000 / MB
	pub const PreimageByteDeposit: Balance = 1 * CENTS;
341
	pub const InstantAllowed: bool = false;
342
343
}

344
345
346
impl democracy::Trait for Runtime {
	type Proposal = Call;
	type Event = Event;
347
	type Currency = Balances;
348
349
350
351
	type EnactmentPeriod = EnactmentPeriod;
	type LaunchPeriod = LaunchPeriod;
	type VotingPeriod = VotingPeriod;
	type MinimumDeposit = MinimumDeposit;
352
353
	/// A straight majority of the council can decide what their next motion is.
	type ExternalOrigin = collective::EnsureProportionAtLeast<_1, _2, AccountId, CouncilCollective>;
354
355
	/// A 60% super-majority can have the next scheduled referendum be a straight majority-carries vote.
	type ExternalMajorityOrigin = collective::EnsureProportionAtLeast<_3, _5, AccountId, CouncilCollective>;
356
357
358
359
360
361
	/// 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>;
362
363
364
	type InstantOrigin = collective::EnsureProportionAtLeast<_1, _1, AccountId, TechnicalCollective>;
	type InstantAllowed = InstantAllowed;
	type FastTrackVotingPeriod = FastTrackVotingPeriod;
365
366
367
368
369
	// 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>;
370
	type CooloffPeriod = CooloffPeriod;
Gavin Wood's avatar
Gavin Wood committed
371
372
	type PreimageByteDeposit = PreimageByteDeposit;
	type Slash = Treasury;
Gavin Wood's avatar
Gavin Wood committed
373
	type Scheduler = Scheduler;
374
}
375

376
377
378
379
parameter_types! {
	pub const CouncilMotionDuration: BlockNumber = 7 * DAYS;
}

380
381
type CouncilCollective = collective::Instance1;
impl collective::Trait<CouncilCollective> for Runtime {
382
383
384
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
385
	type MotionDuration = CouncilMotionDuration;
386
387
}

Gavin Wood's avatar
Gavin Wood committed
388
parameter_types! {
389
390
	pub const CandidacyBond: Balance = 100 * DOLLARS;
	pub const VotingBond: Balance = 5 * DOLLARS;
391
392
393
	/// 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
394
	pub const DesiredMembers: u32 = 13;
395
	pub const DesiredRunnersUp: u32 = 20;
396
397
398
}

impl elections_phragmen::Trait for Runtime {
399
	type Event = Event;
400
401
	type Currency = Balances;
	type ChangeMembers = Council;
402
	type InitializeMembers = Council;
403
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
404
405
	type CandidacyBond = CandidacyBond;
	type VotingBond = VotingBond;
406
407
408
	type LoserCandidate = Treasury;
	type BadReport = Treasury;
	type KickedMember = Treasury;
Gavin Wood's avatar
Gavin Wood committed
409
410
411
	type DesiredMembers = DesiredMembers;
	type DesiredRunnersUp = DesiredRunnersUp;
	type TermDuration = TermDuration;
412
413
}

414
415
416
417
parameter_types! {
	pub const TechnicalMotionDuration: BlockNumber = 7 * DAYS;
}

418
419
type TechnicalCollective = collective::Instance2;
impl collective::Trait<TechnicalCollective> for Runtime {
420
421
422
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
423
	type MotionDuration = TechnicalMotionDuration;
424
425
}

426
427
428
429
430
431
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>;
432
	type PrimeOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
433
434
435
436
	type MembershipInitialized = TechnicalCommittee;
	type MembershipChanged = TechnicalCommittee;
}

Gavin Wood's avatar
Gavin Wood committed
437
438
parameter_types! {
	pub const ProposalBond: Permill = Permill::from_percent(5);
439
440
441
	pub const ProposalBondMinimum: Balance = 100 * DOLLARS;
	pub const SpendPeriod: BlockNumber = 24 * DAYS;
	pub const Burn: Permill = Permill::from_percent(1);
Gavin Wood's avatar
Gavin Wood committed
442
443
444
445
446

	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
447
448
}

449
impl treasury::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
450
	type Currency = Balances;
451
	type ApproveOrigin = collective::EnsureProportionAtLeast<_3, _5, AccountId, CouncilCollective>;
452
	type RejectOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
Gavin Wood's avatar
Gavin Wood committed
453
454
455
456
457
	type Tippers = ElectionsPhragmen;
	type TipCountdown = TipCountdown;
	type TipFindersFee = TipFindersFee;
	type TipReportDepositBase = TipReportDepositBase;
	type TipReportDepositPerByte = TipReportDepositPerByte;
458
	type Event = Event;
459
	type ProposalRejection = Treasury;
Gavin Wood's avatar
Gavin Wood committed
460
461
462
463
	type ProposalBond = ProposalBond;
	type ProposalBondMinimum = ProposalBondMinimum;
	type SpendPeriod = SpendPeriod;
	type Burn = Burn;
464
}
465

466
467
468
469
470
471
impl offences::Trait for Runtime {
	type Event = Event;
	type IdentificationTuple = session::historical::IdentificationTuple<Self>;
	type OnOffenceHandler = Staking;
}

Gavin Wood's avatar
Gavin Wood committed
472
473
impl authority_discovery::Trait for Runtime {}

474
475
476
477
parameter_types! {
	pub const SessionDuration: BlockNumber = EPOCH_DURATION_IN_BLOCKS as _;
}

478
479
480
481
482
parameter_types! {
	pub const StakingUnsignedPriority: TransactionPriority = TransactionPriority::max_value() / 2;
	pub const ImOnlineUnsignedPriority: TransactionPriority = TransactionPriority::max_value();
}

483
impl im_online::Trait for Runtime {
thiolliere's avatar
thiolliere committed
484
	type AuthorityId = ImOnlineId;
485
	type Event = Event;
486
	type SessionDuration = SessionDuration;
Gavin Wood's avatar
Gavin Wood committed
487
	type ReportUnresponsiveness = Offences;
488
	type UnsignedPriority = ImOnlineUnsignedPriority;
489
490
}

491
492
493
494
impl grandpa::Trait for Runtime {
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
495
496
497
498
499
500
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 {
501
	type OnFinalizationStalled = ();
Gavin Wood's avatar
Gavin Wood committed
502
503
504
505
	type WindowSize = WindowSize;
	type ReportLatency = ReportLatency;
}

506
507
508
509
parameter_types! {
	pub const AttestationPeriod: BlockNumber = 50;
}

510
511
512
impl attestations::Trait for Runtime {
	type AttestationPeriod = AttestationPeriod;
	type ValidatorIdentities = parachains::ValidatorIdentities<Runtime>;
513
	type RewardAttestation = Staking;
514
515
}

516
517
518
parameter_types! {
	pub const MaxCodeSize: u32 = 10 * 1024 * 1024; // 10 MB
	pub const MaxHeadDataSize: u32 = 20 * 1024; // 20 KB
519
520
521
522

	pub const ValidationUpgradeFrequency: BlockNumber = 7 * DAYS;
	pub const ValidationUpgradeDelay: BlockNumber = 1 * DAYS;
	pub const SlashPeriod: BlockNumber = 28 * DAYS;
523
524
}

525
impl parachains::Trait for Runtime {
526
	type AuthorityId = parachains::FishermanAuthorityId;
527
528
	type Origin = Origin;
	type Call = Call;
529
	type ParachainCurrency = Balances;
530
	type BlockNumberConversion = sp_runtime::traits::Identity;
531
	type Randomness = RandomnessCollectiveFlip;
532
533
	type ActiveParachains = Registrar;
	type Registrar = Registrar;
534
535
	type MaxCodeSize = MaxCodeSize;
	type MaxHeadDataSize = MaxHeadDataSize;
536
537
538
539
540

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

541
542
543
544
	type Proof = session::historical::Proof;
	type KeyOwnerProofSystem = session::historical::Module<Self>;
	type IdentificationTuple = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(KeyTypeId, Vec<u8>)>>::IdentificationTuple;
	type ReportOffence = Offences;
545
	type BlockHashConversion = sp_runtime::traits::Identity;
546
547
}

548
549
550
551
552
553
554
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,
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
		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| {
578
			debug::warn!("Unable to create signed payload: {:?}", e);
579
		}).ok()?;
580
581
582
		let signature = raw_payload.using_encoded(|payload| {
			C::sign(payload, public)
		})?;
583
584
585
		let (call, extra, _) = raw_payload.deconstruct();
		Some((call, (account, signature, extra)))
	}
586
587
}

588
589
590
591
592
593
594
595
596
597
598
599
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;
}

600
601
602
603
604
605
606
607
608
609
610
611
612
613
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;
614
}
615

Gavin Wood's avatar
Gavin Wood committed
616
parameter_types! {
617
	pub const LeasePeriod: BlockNumber = 100_000;
Gavin Wood's avatar
Gavin Wood committed
618
619
620
621
622
	pub const EndingPeriod: BlockNumber = 1000;
}

impl slots::Trait for Runtime {
	type Event = Event;
623
624
	type Currency = Balances;
	type Parachains = Registrar;
Gavin Wood's avatar
Gavin Wood committed
625
	type EndingPeriod = EndingPeriod;
Gavin Wood's avatar
Gavin Wood committed
626
	type LeasePeriod = LeasePeriod;
627
	type Randomness = RandomnessCollectiveFlip;
Gavin Wood's avatar
Gavin Wood committed
628
629
}

Gavin Wood's avatar
Gavin Wood committed
630
parameter_types! {
631
	pub const Prefix: &'static [u8] = b"Pay DOTs to the Polkadot account:";
632
633
634
635
}

impl claims::Trait for Runtime {
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
636
	type VestingSchedule = Vesting;
637
638
639
	type Prefix = Prefix;
}

640
641
642
643
parameter_types! {
	pub const MinVestedTransfer: Balance = 100 * DOLLARS;
}

Gavin Wood's avatar
Gavin Wood committed
644
645
646
647
impl vesting::Trait for Runtime {
	type Event = Event;
	type Currency = Balances;
	type BlockNumberToBalance = ConvertInto;
648
	type MinVestedTransfer = MinVestedTransfer;
Gavin Wood's avatar
Gavin Wood committed
649
650
}

651
652
impl sudo::Trait for Runtime {
	type Event = Event;
653
	type Call = Call;
654
655
}

Gavin Wood's avatar
Gavin Wood committed
656
construct_runtime! {
657
	pub enum Runtime where
658
		Block = Block,
659
		NodeBlock = primitives::Block,
660
		UncheckedExtrinsic = UncheckedExtrinsic
661
	{
662
		// Basic stuff; balances is uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
663
		System: system::{Module, Call, Storage, Config, Event<T>},
Ashley's avatar
Ashley committed
664
		RandomnessCollectiveFlip: randomness_collective_flip::{Module, Storage},
Gavin Wood's avatar
Gavin Wood committed
665
		Scheduler: scheduler::{Module, Call, Storage, Event<T>},
666
667

		// Must be before session.
668
		Babe: babe::{Module, Call, Storage, Config, Inherent(Timestamp)},
669
670

		Timestamp: timestamp::{Module, Call, Storage, Inherent},
671
		Indices: indices::{Module, Call, Storage, Config<T>, Event<T>},
672
		Balances: balances::{Module, Call, Storage, Config<T>, Event<T>},
673
		TransactionPayment: transaction_payment::{Module, Storage},
674
675
676

		// Consensus support.
		Authorship: authorship::{Module, Call, Storage},
Kian Paimani's avatar
Kian Paimani committed
677
		Staking: staking::{Module, Call, Storage, Config<T>, Event<T>, ValidateUnsigned},
678
		Offences: offences::{Module, Call, Storage, Event},
679
		Historical: session_historical::{Module},
680
		Session: session::{Module, Call, Storage, Event, Config<T>},
681
		FinalityTracker: finality_tracker::{Module, Call, Storage, Inherent},
682
		Grandpa: grandpa::{Module, Call, Storage, Config, Event},
thiolliere's avatar
thiolliere committed
683
		ImOnline: im_online::{Module, Call, Storage, Event<T>, ValidateUnsigned, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
684
		AuthorityDiscovery: authority_discovery::{Module, Call, Config},
685
686

		// Governance stuff; uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
687
		Democracy: democracy::{Module, Call, Storage, Config, Event<T>},
688
689
		Council: collective::<Instance1>::{Module, Call, Storage, Origin<T>, Event<T>, Config<T>},
		TechnicalCommittee: collective::<Instance2>::{Module, Call, Storage, Origin<T>, Event<T>, Config<T>},
690
		ElectionsPhragmen: elections_phragmen::{Module, Call, Storage, Event<T>, Config<T>},
691
		TechnicalMembership: membership::<Instance1>::{Module, Call, Storage, Event<T>, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
692
		Treasury: treasury::{Module, Call, Storage, Event<T>},
693
694
695

		// Parachains stuff; slots are disabled (no auctions initially). The rest are safe as they
		// have no public dispatchables.
696
		Parachains: parachains::{Module, Call, Storage, Config, Inherent, Origin},
697
		Attestations: attestations::{Module, Call, Storage},
Gavin Wood's avatar
Gavin Wood committed
698
		Slots: slots::{Module, Call, Storage, Event<T>},
699
		Registrar: registrar::{Module, Call, Storage, Event, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
700
701
702
703
704
705
706

		// 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.
707
		Sudo: sudo::{Module, Call, Storage, Config<T>, Event<T>},
Gav's avatar
Gav committed
708
	}
Gavin Wood's avatar
Gavin Wood committed
709
}
710
711

/// The address format for describing accounts.
712
pub type Address = AccountId;
713
/// Block header type as expected by this runtime.
714
pub type Header = generic::Header<BlockNumber, BlakeTwo256>;
715
716
717
718
719
720
/// 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>;
721
722
/// The SignedExtension to the basic transaction logic.
pub type SignedExtra = (
723
724
	// RELEASE: remove this for release build.
	OnlyStakingAndClaims,
725
	system::CheckVersion<Runtime>,
726
	system::CheckGenesis<Runtime>,
727
728
729
	system::CheckEra<Runtime>,
	system::CheckNonce<Runtime>,
	system::CheckWeight<Runtime>,
730
	transaction_payment::ChargeTransactionPayment::<Runtime>,
731
732
	registrar::LimitParathreadCommits<Runtime>,
	parachains::ValidateDoubleVoteReports<Runtime>
733
);
734
/// Unchecked extrinsic type as expected by this runtime.
735
pub type UncheckedExtrinsic = generic::UncheckedExtrinsic<Address, Call, Signature, SignedExtra>;
736
/// Extrinsic type that has already been checked.
Gav Wood's avatar
Gav Wood committed
737
pub type CheckedExtrinsic = generic::CheckedExtrinsic<AccountId, Nonce, Call>;
738
/// Executive: handles dispatch to the various modules.
739
pub type Executive = executive::Executive<Runtime, Block, system::ChainContext<Runtime>, Runtime, AllModules>;
740
741
/// The payload being signed in transactions.
pub type SignedPayload = generic::SignedPayload<Call, SignedExtra>;
742

743
744
sp_api::impl_runtime_apis! {
	impl sp_api::Core<Block> for Runtime {
745
746
747
748
749
750
751
		fn version() -> RuntimeVersion {
			VERSION
		}

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

753
754
		fn initialize_block(header: &<Block as BlockT>::Header) {
			Executive::initialize_block(header)
755
756
		}
	}
Gav's avatar
Gav committed
757

758
	impl sp_api::Metadata<Block> for Runtime {
759
760
761
		fn metadata() -> OpaqueMetadata {
			Runtime::metadata().into()
		}
Gav's avatar
Gav committed
762
763
	}

764
	impl block_builder_api::BlockBuilder<Block> for Runtime {
765
		fn apply_extrinsic(extrinsic: <Block as BlockT>::Extrinsic) -> ApplyExtrinsicResult {
766
767
768
			Executive::apply_extrinsic(extrinsic)
		}

769
770
		fn finalize_block() -> <Block as BlockT>::Header {
			Executive::finalize_block()
771
		}
772

Gavin Wood's avatar
Gavin Wood committed
773
		fn inherent_extrinsics(data: inherents::InherentData) -> Vec<<Block as BlockT>::Extrinsic> {
774
			data.create_extrinsics()
775
		}
776

Gavin Wood's avatar
Gavin Wood committed
777
778
779
780
		fn check_inherents(
			block: Block,
			data: inherents::InherentData,
		) -> inherents::CheckInherentsResult {
781
			data.check_extrinsics(&block)
782
		}
783

784
		fn random_seed() -> <Block as BlockT>::Hash {
Ashley's avatar
Ashley committed
785
			RandomnessCollectiveFlip::random_seed()
786
		}
787
788
	}

789
	impl tx_pool_api::runtime_api::TaggedTransactionQueue<Block> for Runtime {
790
791
792
793
794
		fn validate_transaction(
			source: TransactionSource,
			tx: <Block as BlockT>::Extrinsic,
		) -> TransactionValidity {
			Executive::validate_transaction(source, tx)
795
		}
Gav's avatar
Gav committed
796
	}
797

798
	impl offchain_primitives::OffchainWorkerApi<Block> for Runtime {
799
800
		fn offchain_worker(header: &<Block as BlockT>::Header) {
			Executive::offchain_worker(header)
801
802
803
		}
	}

804
	impl parachain::ParachainHost<Block> for Runtime {
Gav Wood's avatar
Gav Wood committed
805
		fn validators() -> Vec<parachain::ValidatorId> {
806
			Parachains::authorities()
807
808
		}
		fn duty_roster() -> parachain::DutyRoster {
809
			Parachains::calculate_duty_roster().0
810
		}
811
812
		fn active_parachains() -> Vec<(parachain::Id, Option<(parachain::CollatorId, parachain::Retriable)>)> {
			Registrar::active_paras()
813
		}
814
815
816
817
		fn global_validation_schedule() -> parachain::GlobalValidationSchedule {
			Parachains::global_validation_schedule()
		}
		fn local_validation_data(id: parachain::Id) -> Option<parachain::LocalValidationData> {
818
			Parachains::current_local_validation_data(&id)
819
		}
820
		fn parachain_code(id: parachain::Id) -> Option<parachain::ValidationCode> {
821
822
			Parachains::parachain_code(&id)
		}
823
824
825
		fn get_heads(extrinsics: Vec<<Block as BlockT>::Extrinsic>)
			-> Option<Vec<AbridgedCandidateReceipt>>
		{
826
827
828
829
830
831
832
833
834
835
836
837
			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,
				})
		}
838
839
840
		fn signing_context() -> SigningContext {
			Parachains::signing_context()
		}
841
	}
842
843

	impl fg_primitives::GrandpaApi<Block> for Runtime {
844
		fn grandpa_authorities() -> Vec<(GrandpaId, u64)> {
845
846
847
848
			Grandpa::grandpa_authorities()
		}
	}

849
	impl babe_primitives::BabeApi<Block> for Runtime {
850
		fn configuration() -> babe_primitives::BabeConfiguration {
851
852
853
854
855
856
857
			// The choice of `c` parameter (where `1 - c` represents the
			// probability of a slot being empty), is done in accordance to the
			// slot duration and expected target block time, for safely
			// resisting network delays of maximum two seconds.
			// <https://research.web3.foundation/en/latest/polkadot/BABE/Babe/#6-practical-results>
			babe_primitives::BabeConfiguration {
				slot_duration: Babe::slot_duration(),
858
				epoch_length: EpochDuration::get(),
859
				c: PRIMARY_PROBABILITY,
860
				genesis_authorities: Babe::authorities(),
861
				randomness: Babe::randomness(),
862
				secondary_slots: true,
863
			}
864
		}
865
866
867
868

		fn current_epoch_start() -> babe_primitives::SlotNumber {
			Babe::current_epoch_start()
		}