lib.rs 30.5 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
	},
Gav Wood's avatar
Gav Wood committed
47
};
48
49
#[cfg(feature = "runtime-benchmarks")]
use sp_runtime::RuntimeString;
Arkadiy Paronyan's avatar
Arkadiy Paronyan committed
50
use version::RuntimeVersion;
51
use grandpa::{AuthorityId as GrandpaId, fg_primitives};
52
53
#[cfg(any(feature = "std", test))]
use version::NativeVersion;
54
55
use sp_core::OpaqueMetadata;
use sp_staking::SessionIndex;
56
use frame_support::{
57
58
	parameter_types, construct_runtime, debug,
	traits::{KeyOwnerProofSystem, SplitTwoWays, Randomness},
Gavin Wood's avatar
Gavin Wood committed
59
};
thiolliere's avatar
thiolliere committed
60
use im_online::sr25519::AuthorityId as ImOnlineId;
Gavin Wood's avatar
Gavin Wood committed
61
use authority_discovery_primitives::AuthorityId as AuthorityDiscoveryId;
Gavin Wood's avatar
Gavin Wood committed
62
use system::offchain::TransactionSubmitter;
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
329
	type NextNewSession = Session;
	type ElectionLookahead = ElectionLookahead;
	type Call = Call;
	type SubmitTransaction = TransactionSubmitter<(), Runtime, UncheckedExtrinsic>;
330
	type UnsignedPriority = StakingUnsignedPriority;
331
332
}

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

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

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

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

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

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

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

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

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

Gavin Wood's avatar
Gavin Wood committed
438
439
parameter_types! {
	pub const ProposalBond: Permill = Permill::from_percent(5);
440
441
442
	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
443
444
445
446
447

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

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

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

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

Gavin Wood's avatar
Gavin Wood committed
475
476
type SubmitTransaction = TransactionSubmitter<ImOnlineId, Runtime, UncheckedExtrinsic>;

477
478
479
480
parameter_types! {
	pub const SessionDuration: BlockNumber = EPOCH_DURATION_IN_BLOCKS as _;
}

481
482
483
484
485
parameter_types! {
	pub const StakingUnsignedPriority: TransactionPriority = TransactionPriority::max_value() / 2;
	pub const ImOnlineUnsignedPriority: TransactionPriority = TransactionPriority::max_value();
}

486
impl im_online::Trait for Runtime {
thiolliere's avatar
thiolliere committed
487
	type AuthorityId = ImOnlineId;
488
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
489
490
	type Call = Call;
	type SubmitTransaction = SubmitTransaction;
491
	type SessionDuration = SessionDuration;
Gavin Wood's avatar
Gavin Wood committed
492
	type ReportUnresponsiveness = Offences;
493
	type UnsignedPriority = ImOnlineUnsignedPriority;
494
495
}

496
497
498
499
impl grandpa::Trait for Runtime {
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
500
501
502
503
504
505
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 {
506
	type OnFinalizationStalled = ();
Gavin Wood's avatar
Gavin Wood committed
507
508
509
510
	type WindowSize = WindowSize;
	type ReportLatency = ReportLatency;
}

511
512
513
514
parameter_types! {
	pub const AttestationPeriod: BlockNumber = 50;
}

515
516
517
impl attestations::Trait for Runtime {
	type AttestationPeriod = AttestationPeriod;
	type ValidatorIdentities = parachains::ValidatorIdentities<Runtime>;
518
	type RewardAttestation = Staking;
519
520
}

521
522
523
parameter_types! {
	pub const MaxCodeSize: u32 = 10 * 1024 * 1024; // 10 MB
	pub const MaxHeadDataSize: u32 = 20 * 1024; // 20 KB
524
525
526
527

	pub const ValidationUpgradeFrequency: BlockNumber = 7 * DAYS;
	pub const ValidationUpgradeDelay: BlockNumber = 1 * DAYS;
	pub const SlashPeriod: BlockNumber = 28 * DAYS;
528
529
}

530
531
532
impl parachains::Trait for Runtime {
	type Origin = Origin;
	type Call = Call;
533
	type ParachainCurrency = Balances;
534
	type BlockNumberConversion = sp_runtime::traits::Identity;
535
	type Randomness = RandomnessCollectiveFlip;
536
537
	type ActiveParachains = Registrar;
	type Registrar = Registrar;
538
539
	type MaxCodeSize = MaxCodeSize;
	type MaxHeadDataSize = MaxHeadDataSize;
540
541
542
543
544

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

545
546
547
548
	type Proof = session::historical::Proof;
	type KeyOwnerProofSystem = session::historical::Module<Self>;
	type IdentificationTuple = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(KeyTypeId, Vec<u8>)>>::IdentificationTuple;
	type ReportOffence = Offences;
549
	type BlockHashConversion = sp_runtime::traits::Identity;
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
	type SubmitSignedTransaction = TransactionSubmitter<parachain::FishermanId, Runtime, UncheckedExtrinsic>;
}

impl system::offchain::CreateTransaction<Runtime, UncheckedExtrinsic> for Runtime {
	type Public = <primitives::Signature as sp_runtime::traits::Verify>::Signer;
	type Signature = primitives::Signature;

	fn create_transaction<TSigner: system::offchain::Signer<Self::Public, Self::Signature>>(
		call: <UncheckedExtrinsic as ExtrinsicT>::Call,
		public: Self::Public,
		account: <Runtime as system::Trait>::AccountId,
		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| {
			debug::warn!("Unable to create signed payload: {:?}", e)
		}).ok()?;
		let signature = TSigner::sign(public, &raw_payload)?;
		let (call, extra, _) = raw_payload.deconstruct();
		Some((call, (account, signature, extra)))
	}
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
}

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;
606
}
607

Gavin Wood's avatar
Gavin Wood committed
608
parameter_types! {
609
	pub const LeasePeriod: BlockNumber = 100_000;
Gavin Wood's avatar
Gavin Wood committed
610
611
612
613
614
	pub const EndingPeriod: BlockNumber = 1000;
}

impl slots::Trait for Runtime {
	type Event = Event;
615
616
	type Currency = Balances;
	type Parachains = Registrar;
Gavin Wood's avatar
Gavin Wood committed
617
	type EndingPeriod = EndingPeriod;
Gavin Wood's avatar
Gavin Wood committed
618
	type LeasePeriod = LeasePeriod;
619
	type Randomness = RandomnessCollectiveFlip;
Gavin Wood's avatar
Gavin Wood committed
620
621
}

Gavin Wood's avatar
Gavin Wood committed
622
parameter_types! {
623
	pub const Prefix: &'static [u8] = b"Pay DOTs to the Polkadot account:";
624
625
626
627
}

impl claims::Trait for Runtime {
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
628
	type VestingSchedule = Vesting;
629
630
631
	type Prefix = Prefix;
}

632
633
634
635
parameter_types! {
	pub const MinVestedTransfer: Balance = 100 * DOLLARS;
}

Gavin Wood's avatar
Gavin Wood committed
636
637
638
639
impl vesting::Trait for Runtime {
	type Event = Event;
	type Currency = Balances;
	type BlockNumberToBalance = ConvertInto;
640
	type MinVestedTransfer = MinVestedTransfer;
Gavin Wood's avatar
Gavin Wood committed
641
642
}

643
644
impl sudo::Trait for Runtime {
	type Event = Event;
645
	type Call = Call;
646
647
}

Gavin Wood's avatar
Gavin Wood committed
648
construct_runtime! {
649
	pub enum Runtime where
650
		Block = Block,
651
		NodeBlock = primitives::Block,
652
		UncheckedExtrinsic = UncheckedExtrinsic
653
	{
654
		// Basic stuff; balances is uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
655
		System: system::{Module, Call, Storage, Config, Event<T>},
Ashley's avatar
Ashley committed
656
		RandomnessCollectiveFlip: randomness_collective_flip::{Module, Storage},
Gavin Wood's avatar
Gavin Wood committed
657
		Scheduler: scheduler::{Module, Call, Storage, Event<T>},
658
659

		// Must be before session.
660
		Babe: babe::{Module, Call, Storage, Config, Inherent(Timestamp)},
661
662

		Timestamp: timestamp::{Module, Call, Storage, Inherent},
663
		Indices: indices::{Module, Call, Storage, Config<T>, Event<T>},
664
		Balances: balances::{Module, Call, Storage, Config<T>, Event<T>},
665
		TransactionPayment: transaction_payment::{Module, Storage},
666
667
668

		// Consensus support.
		Authorship: authorship::{Module, Call, Storage},
Kian Paimani's avatar
Kian Paimani committed
669
		Staking: staking::{Module, Call, Storage, Config<T>, Event<T>, ValidateUnsigned},
670
		Offences: offences::{Module, Call, Storage, Event},
671
		Historical: session_historical::{Module},
672
		Session: session::{Module, Call, Storage, Event, Config<T>},
673
		FinalityTracker: finality_tracker::{Module, Call, Storage, Inherent},
674
		Grandpa: grandpa::{Module, Call, Storage, Config, Event},
thiolliere's avatar
thiolliere committed
675
		ImOnline: im_online::{Module, Call, Storage, Event<T>, ValidateUnsigned, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
676
		AuthorityDiscovery: authority_discovery::{Module, Call, Config},
677
678

		// Governance stuff; uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
679
		Democracy: democracy::{Module, Call, Storage, Config, Event<T>},
680
681
		Council: collective::<Instance1>::{Module, Call, Storage, Origin<T>, Event<T>, Config<T>},
		TechnicalCommittee: collective::<Instance2>::{Module, Call, Storage, Origin<T>, Event<T>, Config<T>},
682
		ElectionsPhragmen: elections_phragmen::{Module, Call, Storage, Event<T>, Config<T>},
683
		TechnicalMembership: membership::<Instance1>::{Module, Call, Storage, Event<T>, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
684
		Treasury: treasury::{Module, Call, Storage, Event<T>},
685
686
687

		// Parachains stuff; slots are disabled (no auctions initially). The rest are safe as they
		// have no public dispatchables.
688
		Parachains: parachains::{Module, Call, Storage, Config, Inherent, Origin},
689
		Attestations: attestations::{Module, Call, Storage},
Gavin Wood's avatar
Gavin Wood committed
690
		Slots: slots::{Module, Call, Storage, Event<T>},
691
		Registrar: registrar::{Module, Call, Storage, Event, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
692
693
694
695
696
697
698

		// 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.
699
		Sudo: sudo::{Module, Call, Storage, Config<T>, Event<T>},
Gav's avatar
Gav committed
700
	}
Gavin Wood's avatar
Gavin Wood committed
701
}
702
703

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

735
736
sp_api::impl_runtime_apis! {
	impl sp_api::Core<Block> for Runtime {
737
738
739
740
741
742
743
		fn version() -> RuntimeVersion {
			VERSION
		}

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

745
746
		fn initialize_block(header: &<Block as BlockT>::Header) {
			Executive::initialize_block(header)
747
748
		}
	}
Gav's avatar
Gav committed
749

750
	impl sp_api::Metadata<Block> for Runtime {
751
752
753
		fn metadata() -> OpaqueMetadata {
			Runtime::metadata().into()
		}
Gav's avatar
Gav committed
754
755
	}

756
	impl block_builder_api::BlockBuilder<Block> for Runtime {
757
		fn apply_extrinsic(extrinsic: <Block as BlockT>::Extrinsic) -> ApplyExtrinsicResult {
758
759
760
			Executive::apply_extrinsic(extrinsic)
		}

761
762
		fn finalize_block() -> <Block as BlockT>::Header {
			Executive::finalize_block()
763
		}
764

Gavin Wood's avatar
Gavin Wood committed
765
		fn inherent_extrinsics(data: inherents::InherentData) -> Vec<<Block as BlockT>::Extrinsic> {
766
			data.create_extrinsics()
767
		}
768

Gavin Wood's avatar
Gavin Wood committed
769
770
771
772
		fn check_inherents(
			block: Block,
			data: inherents::InherentData,
		) -> inherents::CheckInherentsResult {
773
			data.check_extrinsics(&block)
774
		}
775

776
		fn random_seed() -> <Block as BlockT>::Hash {
Ashley's avatar
Ashley committed
777
			RandomnessCollectiveFlip::random_seed()
778
		}
779
780
	}

781
	impl tx_pool_api::runtime_api::TaggedTransactionQueue<Block> for Runtime {
782
783
784
785
786
		fn validate_transaction(
			source: TransactionSource,
			tx: <Block as BlockT>::Extrinsic,
		) -> TransactionValidity {
			Executive::validate_transaction(source, tx)
787
		}
Gav's avatar
Gav committed
788
	}
789

790
	impl offchain_primitives::OffchainWorkerApi<Block> for Runtime {
791
792
		fn offchain_worker(header: &<Block as BlockT>::Header) {
			Executive::offchain_worker(header)
793
794
795
		}
	}

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

	impl fg_primitives::GrandpaApi<Block> for Runtime {
836
		fn grandpa_authorities() -> Vec<(GrandpaId, u64)> {
837
838
839
840
			Grandpa::grandpa_authorities()
		}
	}

841
	impl babe_primitives::BabeApi<Block> for Runtime {
842
		fn configuration() -> babe_primitives::BabeConfiguration {
843
844
845
846
847
848
849
			// 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(),
850
				epoch_length: EpochDuration::get(),
851
				c: PRIMARY_PROBABILITY,
852
				genesis_authorities: Babe::authorities(),
853
				randomness: Babe::randomness(),
854
				secondary_slots: true,
855
			}
856
		}
857
858
859
860

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

Gavin Wood's avatar
Gavin Wood committed
863
864
865
866
867
868
	impl authority_discovery_primitives::AuthorityDiscoveryApi<Block> for Runtime {
		fn authorities() -> Vec<AuthorityDiscoveryId> {
			AuthorityDiscovery::authorities()
		}
	}

Gavin Wood's avatar
Gavin Wood committed
869
	impl sp_session::SessionKeys<Block> for Runtime {
870
871
872
		fn generate_session_keys(seed: Option<Vec<u8>>) -> Vec<u8> {
			SessionKeys::generate(seed)
		}
Gavin Wood's avatar
Gavin Wood committed
873
874
875
876
877
878

		fn decode_session_keys(
			encoded: Vec<u8>,
		) -> Option<Vec<(Vec<u8>, sp_core::crypto::KeyTypeId)>> {
			SessionKeys::decode_into_raw_public_keys(&encoded)
		}