lib.rs 31 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 sp_std::prelude::*;
24
use sp_core::u32_trait::{_1, _2, _3, _4, _5};
25
use codec::{Encode, Decode};
26
use primitives::{
27
	AccountId, AccountIndex, Balance, BlockNumber, Hash, Nonce, Signature, Moment,
28
	parachain::{self, ActiveParas, AbridgedCandidateReceipt, SigningContext}, ValidityError,
29
};
30
use runtime_common::{attestations, claims, parachains, registrar, slots,
31
	impls::{CurrencyToVoteHandler, TargetedFeeAdjustment, ToAuthor},
32
33
34
	NegativeImbalance, BlockHashCount, MaximumBlockWeight, AvailableBlockRatio,
	MaximumBlockLength,
};
35
use sp_runtime::{
Gavin Wood's avatar
Gavin Wood committed
36
	create_runtime_str, generic, impl_opaque_keys,
37
	ApplyExtrinsicResult, KeyTypeId, Percent, Permill, Perbill, RuntimeDebug,
38
39
40
	transaction_validity::{
		TransactionValidity, InvalidTransaction, TransactionValidityError, TransactionSource,
	},
41
	curve::PiecewiseLinear,
42
	traits::{BlakeTwo256, Block as BlockT, SignedExtension, OpaqueKeys, ConvertInto, IdentityLookup},
Gav Wood's avatar
Gav Wood committed
43
};
44
45
#[cfg(feature = "runtime-benchmarks")]
use sp_runtime::RuntimeString;
Arkadiy Paronyan's avatar
Arkadiy Paronyan committed
46
use version::RuntimeVersion;
47
use grandpa::{AuthorityId as GrandpaId, fg_primitives};
48
49
#[cfg(any(feature = "std", test))]
use version::NativeVersion;
50
51
use sp_core::OpaqueMetadata;
use sp_staking::SessionIndex;
52
use frame_support::{
53
	parameter_types, construct_runtime, traits::{KeyOwnerProofSystem, SplitTwoWays, Randomness},
54
	weights::DispatchInfo,
Gavin Wood's avatar
Gavin Wood committed
55
};
thiolliere's avatar
thiolliere committed
56
use im_online::sr25519::AuthorityId as ImOnlineId;
Gavin Wood's avatar
Gavin Wood committed
57
use authority_discovery_primitives::AuthorityId as AuthorityDiscoveryId;
Gavin Wood's avatar
Gavin Wood committed
58
use system::offchain::TransactionSubmitter;
Gavin Wood's avatar
Gavin Wood committed
59
use transaction_payment_rpc_runtime_api::RuntimeDispatchInfo;
60
use session::{historical as session_historical};
61

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

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

75
76
77
78
// Make the WASM binary available.
#[cfg(feature = "std")]
include!(concat!(env!("OUT_DIR"), "/wasm_binary.rs"));

79
80
81
82
/// Runtime version (Kusama).
pub const VERSION: RuntimeVersion = RuntimeVersion {
	spec_name: create_runtime_str!("kusama"),
	impl_name: create_runtime_str!("parity-kusama"),
83
	authoring_version: 2,
84
	spec_version: 1057,
André Silva's avatar
André Silva committed
85
	impl_version: 1,
86
87
	apis: RUNTIME_API_VERSIONS,
};
Arkadiy Paronyan's avatar
Arkadiy Paronyan committed
88

89
90
91
92
93
94
95
96
97
/// Native version.
#[cfg(any(feature = "std", test))]
pub fn native_version() -> NativeVersion {
	NativeVersion {
		runtime_version: VERSION,
		can_author_with: Default::default(),
	}
}

98
/// Avoid processing transactions from slots and parachain registrar.
99
#[derive(Default, Encode, Decode, Clone, Eq, PartialEq, RuntimeDebug)]
100
101
pub struct RestrictFunctionality;
impl SignedExtension for RestrictFunctionality {
Gavin Wood's avatar
Gavin Wood committed
102
	const IDENTIFIER: &'static str = "RestrictFunctionality";
103
104
105
106
	type AccountId = AccountId;
	type Call = Call;
	type AdditionalSigned = ();
	type Pre = ();
107
108
	type DispatchInfo = DispatchInfo;

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

111
	fn validate(&self, _: &Self::AccountId, call: &Self::Call, _: DispatchInfo, _: usize)
Gavin Wood's avatar
Gavin Wood committed
112
		-> TransactionValidity
113
114
	{
		match call {
Gavin Wood's avatar
Gavin Wood committed
115
			Call::Slots(_) | Call::Registrar(_)
116
117
				=> Err(InvalidTransaction::Custom(ValidityError::NoPermission.into()).into()),
			_ => Ok(Default::default()),
118
119
120
121
		}
	}
}

122
parameter_types! {
123
	pub const Version: RuntimeVersion = VERSION;
124
125
}

126
127
impl system::Trait for Runtime {
	type Origin = Origin;
128
	type Call = Call;
Gav Wood's avatar
Gav Wood committed
129
	type Index = Nonce;
130
131
132
133
	type BlockNumber = BlockNumber;
	type Hash = Hash;
	type Hashing = BlakeTwo256;
	type AccountId = AccountId;
134
	type Lookup = IdentityLookup<Self::AccountId>;
135
	type Header = generic::Header<BlockNumber, BlakeTwo256>;
Gav's avatar
Gav committed
136
	type Event = Event;
137
	type BlockHashCount = BlockHashCount;
138
139
140
	type MaximumBlockWeight = MaximumBlockWeight;
	type MaximumBlockLength = MaximumBlockLength;
	type AvailableBlockRatio = AvailableBlockRatio;
141
	type Version = Version;
142
	type ModuleToIndex = ModuleToIndex;
143
144
	type AccountData = balances::AccountData<Balance>;
	type OnNewAccount = ();
145
	type OnKilledAccount = ();
146
147
}

Gavin Wood's avatar
Gavin Wood committed
148
149
150
151
152
153
154
impl scheduler::Trait for Runtime {
	type Event = Event;
	type Origin = Origin;
	type Call = Call;
	type MaximumWeight = MaximumBlockWeight;
}

155
parameter_types! {
156
	pub const EpochDuration: u64 = EPOCH_DURATION_IN_BLOCKS as u64;
157
158
159
160
161
162
	pub const ExpectedBlockTime: Moment = MILLISECS_PER_BLOCK;
}

impl babe::Trait for Runtime {
	type EpochDuration = EpochDuration;
	type ExpectedBlockTime = ExpectedBlockTime;
163
164
165

	// session module is the trigger
	type EpochChangeTrigger = babe::ExternalTrigger;
166
167
}

Gavin Wood's avatar
Gavin Wood committed
168
169
170
171
parameter_types! {
	pub const IndexDeposit: Balance = 1 * DOLLARS;
}

Gav Wood's avatar
Gav Wood committed
172
173
impl indices::Trait for Runtime {
	type AccountIndex = AccountIndex;
174
175
	type Currency = Balances;
	type Deposit = IndexDeposit;
Gav Wood's avatar
Gav Wood committed
176
177
178
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
179
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
180
	pub const ExistentialDeposit: Balance = 1 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
181
182
183
184
185
}

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

191
impl balances::Trait for Runtime {
Gav's avatar
Gav committed
192
	type Balance = Balance;
193
	type DustRemoval = ();
Gavin Wood's avatar
Gavin Wood committed
194
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
195
	type ExistentialDeposit = ExistentialDeposit;
196
	type AccountStore = System;
197
198
199
200
201
}

parameter_types! {
	pub const TransactionBaseFee: Balance = 1 * CENTS;
	pub const TransactionByteFee: Balance = 10 * MILLICENTS;
202
203
	// for a sane configuration, this should always be less than `AvailableBlockRatio`.
	pub const TargetBlockFullness: Perbill = Perbill::from_percent(25);
204
205
206
207
208
}

impl transaction_payment::Trait for Runtime {
	type Currency = Balances;
	type OnTransactionPayment = DealWithFees;
Gavin Wood's avatar
Gavin Wood committed
209
210
	type TransactionBaseFee = TransactionBaseFee;
	type TransactionByteFee = TransactionByteFee;
211
	type WeightToFee = WeightToFee;
212
	type FeeMultiplierUpdate = TargetedFeeAdjustment<TargetBlockFullness, Self>;
Gav's avatar
Gav committed
213
214
}

215
parameter_types! {
216
	pub const MinimumPeriod: u64 = SLOT_DURATION / 2;
217
}
218
impl timestamp::Trait for Runtime {
219
	type Moment = u64;
220
	type OnTimestampSet = Babe;
221
	type MinimumPeriod = MinimumPeriod;
222
223
}

Gavin Wood's avatar
Gavin Wood committed
224
parameter_types! {
225
	pub const UncleGenerations: u32 = 0;
Gavin Wood's avatar
Gavin Wood committed
226
227
228
229
}

// TODO: substrate#2986 implement this properly
impl authorship::Trait for Runtime {
230
	type FindAuthor = session::FindAccountFromAuthorIndex<Self, Babe>;
Gavin Wood's avatar
Gavin Wood committed
231
232
	type UncleGenerations = UncleGenerations;
	type FilterUncle = ();
Gavin Wood's avatar
Gavin Wood committed
233
	type EventHandler = (Staking, ImOnline);
Gavin Wood's avatar
Gavin Wood committed
234
235
}

236
237
238
239
240
241
parameter_types! {
	pub const Period: BlockNumber = 10 * MINUTES;
	pub const Offset: BlockNumber = 0;
}

impl_opaque_keys! {
242
	pub struct SessionKeys {
Gavin Wood's avatar
Gavin Wood committed
243
244
245
246
		pub grandpa: Grandpa,
		pub babe: Babe,
		pub im_online: ImOnline,
		pub parachain_validator: Parachains,
Gavin Wood's avatar
Gavin Wood committed
247
		pub authority_discovery: AuthorityDiscovery,
248
	}
249
250
}

thiolliere's avatar
thiolliere committed
251
252
253
254
parameter_types! {
	pub const DisabledValidatorsThreshold: Perbill = Perbill::from_percent(17);
}

255
impl session::Trait for Runtime {
Gav's avatar
Gav committed
256
	type Event = Event;
257
258
	type ValidatorId = AccountId;
	type ValidatorIdOf = staking::StashOf<Self>;
Gavin Wood's avatar
Gavin Wood committed
259
	type ShouldEndSession = Babe;
260
	type NextSessionRotation = Babe;
Gavin Wood's avatar
Gavin Wood committed
261
262
263
	type SessionManager = Staking;
	type SessionHandler = <SessionKeys as OpaqueKeys>::KeyTypeIdProviders;
	type Keys = SessionKeys;
thiolliere's avatar
thiolliere committed
264
	type DisabledValidatorsThreshold = DisabledValidatorsThreshold;
265
266
267
268
}

impl session::historical::Trait for Runtime {
	type FullIdentification = staking::Exposure<AccountId, Balance>;
269
	type FullIdentificationOf = staking::ExposureOf<Runtime>;
270
271
}

272
pallet_staking_reward_curve::build! {
thiolliere's avatar
thiolliere committed
273
274
275
276
277
278
279
280
281
282
	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,
	);
}

283
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
284
	// Six sessions in an era (6 hours).
285
	pub const SessionsPerEra: SessionIndex = 6;
Gavin Wood's avatar
Gavin Wood committed
286
	// 28 eras for unbonding (7 days).
Gavin Wood's avatar
Gavin Wood committed
287
	pub const BondingDuration: staking::EraIndex = 28;
Gavin Wood's avatar
Gavin Wood committed
288
	// 28 eras in which slashes can be cancelled (7 days).
Gavin Wood's avatar
Gavin Wood committed
289
	pub const SlashDeferDuration: staking::EraIndex = 28;
thiolliere's avatar
thiolliere committed
290
	pub const RewardCurve: &'static PiecewiseLinear<'static> = &REWARD_CURVE;
Gavin Wood's avatar
Gavin Wood committed
291
	pub const MaxNominatorRewardedPerValidator: u32 = 64;
292
293
	// quarter of the last session will be for election.
	pub const ElectionLookahead: BlockNumber = EPOCH_DURATION_IN_BLOCKS / 4;
294
}
295

296
impl staking::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
297
	type Currency = Balances;
298
	type UnixTime = Timestamp;
299
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
300
	type RewardRemainder = Treasury;
Gav's avatar
Gav committed
301
	type Event = Event;
302
	type Slash = Treasury;
303
	type Reward = ();
304
305
	type SessionsPerEra = SessionsPerEra;
	type BondingDuration = BondingDuration;
Gavin Wood's avatar
Gavin Wood committed
306
	type SlashDeferDuration = SlashDeferDuration;
Gavin Wood's avatar
Gavin Wood committed
307
308
	// A majority of the council can cancel the slash.
	type SlashCancelOrigin = collective::EnsureProportionAtLeast<_1, _2, AccountId, CouncilCollective>;
309
	type SessionInterface = Self;
thiolliere's avatar
thiolliere committed
310
	type RewardCurve = RewardCurve;
Gavin Wood's avatar
Gavin Wood committed
311
	type MaxNominatorRewardedPerValidator = MaxNominatorRewardedPerValidator;
312
313
314
315
	type NextNewSession = Session;
	type ElectionLookahead = ElectionLookahead;
	type Call = Call;
	type SubmitTransaction = TransactionSubmitter<(), Runtime, UncheckedExtrinsic>;
316
317
}

318
parameter_types! {
319
320
	pub const LaunchPeriod: BlockNumber = 7 * DAYS;
	pub const VotingPeriod: BlockNumber = 7 * DAYS;
321
	pub const FastTrackVotingPeriod: BlockNumber = 3 * HOURS;
Gavin Wood's avatar
Gavin Wood committed
322
	pub const MinimumDeposit: Balance = 1 * DOLLARS;
323
324
	pub const EnactmentPeriod: BlockNumber = 8 * DAYS;
	pub const CooloffPeriod: BlockNumber = 7 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
325
	// One cent: $10,000 / MB
Gavin Wood's avatar
Gavin Wood committed
326
	pub const PreimageByteDeposit: Balance = 10 * MILLICENTS;
327
	pub const InstantAllowed: bool = true;
328
329
}

330
331
332
impl democracy::Trait for Runtime {
	type Proposal = Call;
	type Event = Event;
333
	type Currency = Balances;
334
335
336
337
	type EnactmentPeriod = EnactmentPeriod;
	type LaunchPeriod = LaunchPeriod;
	type VotingPeriod = VotingPeriod;
	type MinimumDeposit = MinimumDeposit;
338
339
	/// A straight majority of the council can decide what their next motion is.
	type ExternalOrigin = collective::EnsureProportionAtLeast<_1, _2, AccountId, CouncilCollective>;
340
	/// A majority can have the next scheduled referendum be a straight majority-carries vote.
341
	type ExternalMajorityOrigin = collective::EnsureProportionAtLeast<_1, _2, AccountId, CouncilCollective>;
342
343
344
345
346
347
	/// 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>;
348
349
350
	type InstantOrigin = collective::EnsureProportionAtLeast<_1, _1, AccountId, TechnicalCollective>;
	type InstantAllowed = InstantAllowed;
	type FastTrackVotingPeriod = FastTrackVotingPeriod;
351
352
353
354
355
	// 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>;
356
	type CooloffPeriod = CooloffPeriod;
Gavin Wood's avatar
Gavin Wood committed
357
358
	type PreimageByteDeposit = PreimageByteDeposit;
	type Slash = Treasury;
Gavin Wood's avatar
Gavin Wood committed
359
	type Scheduler = Scheduler;
360
}
361

362
363
364
365
parameter_types! {
	pub const CouncilMotionDuration: BlockNumber = 3 * DAYS;
}

366
367
type CouncilCollective = collective::Instance1;
impl collective::Trait<CouncilCollective> for Runtime {
368
369
370
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
371
	type MotionDuration = CouncilMotionDuration;
372
373
}

Gavin Wood's avatar
Gavin Wood committed
374
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
375
376
	pub const CandidacyBond: Balance = 1 * DOLLARS;
	pub const VotingBond: Balance = 5 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
377
378
	/// Daily council elections.
	pub const TermDuration: BlockNumber = 24 * HOURS;
Kian Paimani's avatar
Kian Paimani committed
379
380
	pub const DesiredMembers: u32 = 13;
	pub const DesiredRunnersUp: u32 = 7;
381
382
383
}

impl elections_phragmen::Trait for Runtime {
384
	type Event = Event;
385
386
	type Currency = Balances;
	type ChangeMembers = Council;
387
	type InitializeMembers = Council;
388
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
389
390
	type CandidacyBond = CandidacyBond;
	type VotingBond = VotingBond;
391
392
393
	type LoserCandidate = Treasury;
	type BadReport = Treasury;
	type KickedMember = Treasury;
Gavin Wood's avatar
Gavin Wood committed
394
395
396
	type DesiredMembers = DesiredMembers;
	type DesiredRunnersUp = DesiredRunnersUp;
	type TermDuration = TermDuration;
397
398
}

399
400
401
402
parameter_types! {
	pub const TechnicalMotionDuration: BlockNumber = 3 * DAYS;
}

403
404
type TechnicalCollective = collective::Instance2;
impl collective::Trait<TechnicalCollective> for Runtime {
405
406
407
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
408
	type MotionDuration = TechnicalMotionDuration;
409
410
}

411
412
413
414
415
416
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>;
417
	type PrimeOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
418
419
420
421
	type MembershipInitialized = TechnicalCommittee;
	type MembershipChanged = TechnicalCommittee;
}

Gavin Wood's avatar
Gavin Wood committed
422
423
parameter_types! {
	pub const ProposalBond: Permill = Permill::from_percent(5);
Gavin Wood's avatar
Gavin Wood committed
424
	pub const ProposalBondMinimum: Balance = 20 * DOLLARS;
425
	pub const SpendPeriod: BlockNumber = 6 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
426
	pub const Burn: Permill = Permill::from_percent(0);
Gavin Wood's avatar
Gavin Wood committed
427
428
429
430
431

	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
432
433
}

434
impl treasury::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
435
	type Currency = Balances;
436
	type ApproveOrigin = collective::EnsureProportionAtLeast<_3, _5, AccountId, CouncilCollective>;
437
	type RejectOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
Gavin Wood's avatar
Gavin Wood committed
438
439
440
441
442
	type Tippers = ElectionsPhragmen;
	type TipCountdown = TipCountdown;
	type TipFindersFee = TipFindersFee;
	type TipReportDepositBase = TipReportDepositBase;
	type TipReportDepositPerByte = TipReportDepositPerByte;
443
	type Event = Event;
444
	type ProposalRejection = Treasury;
Gavin Wood's avatar
Gavin Wood committed
445
446
447
448
	type ProposalBond = ProposalBond;
	type ProposalBondMinimum = ProposalBondMinimum;
	type SpendPeriod = SpendPeriod;
	type Burn = Burn;
449
}
450

451
452
453
454
455
456
impl offences::Trait for Runtime {
	type Event = Event;
	type IdentificationTuple = session::historical::IdentificationTuple<Self>;
	type OnOffenceHandler = Staking;
}

Gavin Wood's avatar
Gavin Wood committed
457
458
impl authority_discovery::Trait for Runtime {}

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

461
462
463
464
parameter_types! {
	pub const SessionDuration: BlockNumber = EPOCH_DURATION_IN_BLOCKS as _;
}

465
impl im_online::Trait for Runtime {
thiolliere's avatar
thiolliere committed
466
	type AuthorityId = ImOnlineId;
467
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
468
469
	type Call = Call;
	type SubmitTransaction = SubmitTransaction;
470
	type ReportUnresponsiveness = Offences;
471
	type SessionDuration = SessionDuration;
472
473
}

474
475
476
477
impl grandpa::Trait for Runtime {
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
478
479
480
481
482
483
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 {
484
	type OnFinalizationStalled = ();
Gavin Wood's avatar
Gavin Wood committed
485
486
487
488
	type WindowSize = WindowSize;
	type ReportLatency = ReportLatency;
}

489
490
491
492
parameter_types! {
	pub const AttestationPeriod: BlockNumber = 50;
}

493
494
495
impl attestations::Trait for Runtime {
	type AttestationPeriod = AttestationPeriod;
	type ValidatorIdentities = parachains::ValidatorIdentities<Runtime>;
496
	type RewardAttestation = Staking;
497
498
}

499
500
501
parameter_types! {
	pub const MaxCodeSize: u32 = 10 * 1024 * 1024; // 10 MB
	pub const MaxHeadDataSize: u32 = 20 * 1024; // 20 KB
502
503
504
	pub const ValidationUpgradeFrequency: BlockNumber = 2 * DAYS;
	pub const ValidationUpgradeDelay: BlockNumber = 8 * HOURS;
	pub const SlashPeriod: BlockNumber = 7 * DAYS;
505
506
}

507
508
509
impl parachains::Trait for Runtime {
	type Origin = Origin;
	type Call = Call;
510
	type ParachainCurrency = Balances;
511
	type BlockNumberConversion = sp_runtime::traits::Identity;
512
	type Randomness = RandomnessCollectiveFlip;
513
514
	type ActiveParachains = Registrar;
	type Registrar = Registrar;
515
516
	type MaxCodeSize = MaxCodeSize;
	type MaxHeadDataSize = MaxHeadDataSize;
517
518
519
520
521

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

522
523
524
525
	type Proof = session::historical::Proof;
	type KeyOwnerProofSystem = session::historical::Module<Self>;
	type IdentificationTuple = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(KeyTypeId, Vec<u8>)>>::IdentificationTuple;
	type ReportOffence = Offences;
526
	type BlockHashConversion = sp_runtime::traits::Identity;
527
528
529
}

parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
530
	pub const ParathreadDeposit: Balance = 5 * DOLLARS;
531
532
533
534
535
536
537
538
539
540
541
542
	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;
543
}
544

Gavin Wood's avatar
Gavin Wood committed
545
parameter_types! {
546
	pub const LeasePeriod: BlockNumber = 100_000;
Gavin Wood's avatar
Gavin Wood committed
547
548
549
550
551
	pub const EndingPeriod: BlockNumber = 1000;
}

impl slots::Trait for Runtime {
	type Event = Event;
552
553
	type Currency = Balances;
	type Parachains = Registrar;
Gavin Wood's avatar
Gavin Wood committed
554
555
	type LeasePeriod = LeasePeriod;
	type EndingPeriod = EndingPeriod;
556
	type Randomness = RandomnessCollectiveFlip;
Gavin Wood's avatar
Gavin Wood committed
557
558
}

Gavin Wood's avatar
Gavin Wood committed
559
parameter_types! {
560
561
562
563
564
	pub const Prefix: &'static [u8] = b"Pay KSMs to the Kusama account:";
}

impl claims::Trait for Runtime {
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
565
	type VestingSchedule = Vesting;
566
567
568
	type Prefix = Prefix;
}

569
parameter_types! {
570
	// Minimum 100 bytes/KSM deposited (1 CENT/byte)
Gavin Wood's avatar
Gavin Wood committed
571
572
573
	pub const BasicDeposit: Balance = 10 * DOLLARS;       // 258 bytes on-chain
	pub const FieldDeposit: Balance = 250 * CENTS;        // 66 bytes on-chain
	pub const SubAccountDeposit: Balance = 2 * DOLLARS;   // 53 bytes on-chain
Gavin Wood's avatar
Gavin Wood committed
574
575
	pub const MaxSubAccounts: u32 = 100;
	pub const MaxAdditionalFields: u32 = 100;
576
577
578
579
580
581
582
583
584
}

impl identity::Trait for Runtime {
	type Event = Event;
	type Currency = Balances;
	type Slashed = Treasury;
	type BasicDeposit = BasicDeposit;
	type FieldDeposit = FieldDeposit;
	type SubAccountDeposit = SubAccountDeposit;
Gavin Wood's avatar
Gavin Wood committed
585
586
	type MaxSubAccounts = MaxSubAccounts;
	type MaxAdditionalFields = MaxAdditionalFields;
587
588
589
590
	type RegistrarOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
	type ForceOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
}

Gavin Wood's avatar
Gavin Wood committed
591
592
parameter_types! {
	// One storage item; value is size 4+4+16+32 bytes = 56 bytes.
Gavin Wood's avatar
Gavin Wood committed
593
	pub const MultisigDepositBase: Balance = 30 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
594
	// Additional storage item size of 32 bytes.
Gavin Wood's avatar
Gavin Wood committed
595
	pub const MultisigDepositFactor: Balance = 5 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
596
597
598
599
600
601
602
603
604
605
606
607
	pub const MaxSignatories: u16 = 100;
}

impl utility::Trait for Runtime {
	type Event = Event;
	type Call = Call;
	type Currency = Balances;
	type MultisigDepositBase = MultisigDepositBase;
	type MultisigDepositFactor = MultisigDepositFactor;
	type MaxSignatories = MaxSignatories;
}

608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
parameter_types! {
	pub const ConfigDepositBase: Balance = 5 * DOLLARS;
	pub const FriendDepositFactor: Balance = 50 * CENTS;
	pub const MaxFriends: u16 = 9;
	pub const RecoveryDeposit: Balance = 5 * DOLLARS;
}

impl recovery::Trait for Runtime {
	type Event = Event;
	type Call = Call;
	type Currency = Balances;
	type ConfigDepositBase = ConfigDepositBase;
	type FriendDepositFactor = FriendDepositFactor;
	type MaxFriends = MaxFriends;
	type RecoveryDeposit = RecoveryDeposit;
}

parameter_types! {
	pub const CandidateDeposit: Balance = 10 * DOLLARS;
	pub const WrongSideDeduction: Balance = 2 * DOLLARS;
	pub const MaxStrikes: u32 = 10;
	pub const RotationPeriod: BlockNumber = 80 * HOURS;
	pub const PeriodSpend: Balance = 500 * DOLLARS;
	pub const MaxLockDuration: BlockNumber = 36 * 30 * DAYS;
	pub const ChallengePeriod: BlockNumber = 7 * DAYS;
}

impl society::Trait for Runtime {
	type Event = Event;
	type Currency = Balances;
	type Randomness = RandomnessCollectiveFlip;
	type CandidateDeposit = CandidateDeposit;
	type WrongSideDeduction = WrongSideDeduction;
	type MaxStrikes = MaxStrikes;
	type PeriodSpend = PeriodSpend;
	type MembershipChanged = ();
	type RotationPeriod = RotationPeriod;
	type MaxLockDuration = MaxLockDuration;
	type FounderSetOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
	type SuspensionJudgementOrigin = society::EnsureFounder<Runtime>;
	type ChallengePeriod = ChallengePeriod;
}

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

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

Gavin Wood's avatar
Gavin Wood committed
662
construct_runtime! {
663
	pub enum Runtime where
664
		Block = Block,
665
		NodeBlock = primitives::Block,
666
		UncheckedExtrinsic = UncheckedExtrinsic
667
	{
668
		// Basic stuff; balances is uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
669
		System: system::{Module, Call, Storage, Config, Event<T>},
Ashley's avatar
Ashley committed
670
		RandomnessCollectiveFlip: randomness_collective_flip::{Module, Storage},
671
672

		// Must be before session.
673
		Babe: babe::{Module, Call, Storage, Config, Inherent(Timestamp)},
674
675

		Timestamp: timestamp::{Module, Call, Storage, Inherent},
Gavin Wood's avatar
Gavin Wood committed
676
		Indices: indices::{Module, Call, Storage, Config<T>, Event<T>},
677
		Balances: balances::{Module, Call, Storage, Config<T>, Event<T>},
678
		TransactionPayment: transaction_payment::{Module, Storage},
679
680
681

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

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

		// Claims. Usable initially.
		Claims: claims::{Module, Call, Storage, Event<T>, Config<T>, ValidateUnsigned},

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

709
710
		// Utility module.
		Utility: utility::{Module, Call, Storage, Event<T>},
711
712
713

		// Less simple identity module.
		Identity: identity::{Module, Call, Storage, Event<T>},
714
715
716
717
718
719

		// Society module.
		Society: society::{Module, Call, Storage, Event<T>},

		// Social recovery module.
		Recovery: recovery::{Module, Call, Storage, Event<T>},
Gavin Wood's avatar
Gavin Wood committed
720
721
722

		// Vesting. Usable initially, but removed once all vesting is finished.
		Vesting: vesting::{Module, Call, Storage, Event<T>, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
723
724
725

		// System scheduler.
		Scheduler: scheduler::{Module, Call, Storage, Event<T>},
Gav's avatar
Gav committed
726
	}
Gavin Wood's avatar
Gavin Wood committed
727
}
728
729

/// The address format for describing accounts.
730
pub type Address = AccountId;
731
/// Block header type as expected by this runtime.
732
pub type Header = generic::Header<BlockNumber, BlakeTwo256>;
733
734
735
736
737
738
/// 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>;
739
740
/// The SignedExtension to the basic transaction logic.
pub type SignedExtra = (
741
	RestrictFunctionality,
742
	system::CheckVersion<Runtime>,
743
	system::CheckGenesis<Runtime>,
744
745
746
	system::CheckEra<Runtime>,
	system::CheckNonce<Runtime>,
	system::CheckWeight<Runtime>,
747
	transaction_payment::ChargeTransactionPayment::<Runtime>,
748
749
	registrar::LimitParathreadCommits<Runtime>,
	parachains::ValidateDoubleVoteReports<Runtime>,
750
);
751
/// Unchecked extrinsic type as expected by this runtime.
752
pub type UncheckedExtrinsic = generic::UncheckedExtrinsic<Address, Call, Signature, SignedExtra>;
753
/// Extrinsic type that has already been checked.
Gav Wood's avatar
Gav Wood committed
754
pub type CheckedExtrinsic = generic::CheckedExtrinsic<AccountId, Nonce, Call>;
755
/// Executive: handles dispatch to the various modules.
756
pub type Executive = executive::Executive<Runtime, Block, system::ChainContext<Runtime>, Runtime, AllModules>;
757

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

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

768
769
		fn initialize_block(header: &<Block as BlockT>::Header) {
			Executive::initialize_block(header)
770
771
		}
	}
Gav's avatar
Gav committed
772

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

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

784
785
		fn finalize_block() -> <Block as BlockT>::Header {
			Executive::finalize_block()
786
		}
787

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

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

799
		fn random_seed() -> <Block as BlockT>::Hash {
Ashley's avatar
Ashley committed
800
			RandomnessCollectiveFlip::random_seed()
801
		}
802
803
	}

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

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

819
	impl parachain::ParachainHost<Block> for Runtime {
Gav Wood's avatar
Gav Wood committed
820
		fn validators() -> Vec<parachain::ValidatorId> {
821
			Parachains::authorities()
822
823
		}
		fn duty_roster() -> parachain::DutyRoster {
824
			Parachains::calculate_duty_roster().0
825
		}
826
827
		fn active_parachains() -> Vec<(parachain::Id, Option<(parachain::CollatorId, parachain::Retriable)>)> {
			Registrar::active_paras()
828
		}
829
830
831
832
		fn global_validation_schedule() -> parachain::GlobalValidationSchedule {
			Parachains::global_validation_schedule()
		}
		fn local_validation_data(id: parachain::Id) -> Option<parachain::LocalValidationData> {
833
			Parachains::current_local_validation_data(&id)
834
835
836
837
		}
		fn parachain_code(id: parachain::Id) -> Option<Vec<u8>> {
			Parachains::parachain_code(&id)
		}
838
839
840
		fn get_heads(extrinsics: Vec<<Block as BlockT>::Extrinsic>)
			-> Option<Vec<AbridgedCandidateReceipt>>
		{
841
842
843
844
845
846
847
848
849
850
851
852
			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,
				})
		}
853
854
855
		fn signing_context() -> SigningContext {
			Parachains::signing_context()
		}
856
	}
857
858

	impl fg_primitives::GrandpaApi<Block> for Runtime {
859
		fn grandpa_authorities() -> Vec<(GrandpaId, u64)> {
860
861
862
863
			Grandpa::grandpa_authorities()
		}
	}

864
	impl babe_primitives::BabeApi<Block> for Runtime {
865
		fn configuration() -> babe_primitives::BabeConfiguration {
866
867
868
869
870
871
872
			// 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(),
873
				epoch_length: EpochDuration::get(),
874
				c: PRIMARY_PROBABILITY,
875
				genesis_authorities: Babe::authorities(),
876
				randomness: Babe::randomness(),
877
				secondary_slots: true,
878
			}
879
		}
880
881
882
883

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

Gavin Wood's avatar
Gavin Wood committed
886
887
888
889
890
891
	impl authority_discovery_primitives::AuthorityDiscoveryApi<Block> for Runtime {
		fn authorities() -> Vec<AuthorityDiscoveryId> {
			AuthorityDiscovery::authorities()
		}
	}

Gavin Wood's avatar
Gavin Wood committed
892
	impl sp_session::SessionKeys<Block> for Runtime {
893
894
895
		fn generate_session_keys(seed: Option<Vec<u8>>) -> Vec<u8> {
			SessionKeys::