lib.rs 30.6 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
502
503
parameter_types! {
	pub const MaxCodeSize: u32 = 10 * 1024 * 1024; // 10 MB
	pub const MaxHeadDataSize: u32 = 20 * 1024; // 20 KB
}

504
505
506
impl parachains::Trait for Runtime {
	type Origin = Origin;
	type Call = Call;
507
	type ParachainCurrency = Balances;
508
	type Randomness = RandomnessCollectiveFlip;
509
510
	type ActiveParachains = Registrar;
	type Registrar = Registrar;
511
512
	type MaxCodeSize = MaxCodeSize;
	type MaxHeadDataSize = MaxHeadDataSize;
513
514
515
516
	type Proof = session::historical::Proof;
	type KeyOwnerProofSystem = session::historical::Module<Self>;
	type IdentificationTuple = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(KeyTypeId, Vec<u8>)>>::IdentificationTuple;
	type ReportOffence = Offences;
517
	type BlockHashConversion = sp_runtime::traits::Identity;
518
519
520
}

parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
521
	pub const ParathreadDeposit: Balance = 5 * DOLLARS;
522
523
524
525
526
527
528
529
530
531
532
533
	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;
534
}
535

Gavin Wood's avatar
Gavin Wood committed
536
parameter_types! {
537
	pub const LeasePeriod: BlockNumber = 100_000;
Gavin Wood's avatar
Gavin Wood committed
538
539
540
541
542
	pub const EndingPeriod: BlockNumber = 1000;
}

impl slots::Trait for Runtime {
	type Event = Event;
543
544
	type Currency = Balances;
	type Parachains = Registrar;
Gavin Wood's avatar
Gavin Wood committed
545
546
	type LeasePeriod = LeasePeriod;
	type EndingPeriod = EndingPeriod;
547
	type Randomness = RandomnessCollectiveFlip;
Gavin Wood's avatar
Gavin Wood committed
548
549
}

Gavin Wood's avatar
Gavin Wood committed
550
parameter_types! {
551
552
553
554
555
	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
556
	type VestingSchedule = Vesting;
557
558
559
	type Prefix = Prefix;
}

560
parameter_types! {
561
	// Minimum 100 bytes/KSM deposited (1 CENT/byte)
Gavin Wood's avatar
Gavin Wood committed
562
563
564
	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
565
566
	pub const MaxSubAccounts: u32 = 100;
	pub const MaxAdditionalFields: u32 = 100;
567
568
569
570
571
572
573
574
575
}

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
576
577
	type MaxSubAccounts = MaxSubAccounts;
	type MaxAdditionalFields = MaxAdditionalFields;
578
579
580
581
	type RegistrarOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
	type ForceOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
}

Gavin Wood's avatar
Gavin Wood committed
582
583
parameter_types! {
	// One storage item; value is size 4+4+16+32 bytes = 56 bytes.
Gavin Wood's avatar
Gavin Wood committed
584
	pub const MultisigDepositBase: Balance = 30 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
585
	// Additional storage item size of 32 bytes.
Gavin Wood's avatar
Gavin Wood committed
586
	pub const MultisigDepositFactor: Balance = 5 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
587
588
589
590
591
592
593
594
595
596
597
598
	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;
}

599
600
601
602
603
604
605
606
607
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
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;
}

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

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

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

		// Must be before session.
664
		Babe: babe::{Module, Call, Storage, Config, Inherent(Timestamp)},
665
666

		Timestamp: timestamp::{Module, Call, Storage, Inherent},
Gavin Wood's avatar
Gavin Wood committed
667
		Indices: indices::{Module, Call, Storage, Config<T>, Event<T>},
668
		Balances: balances::{Module, Call, Storage, Config<T>, Event<T>},
669
		TransactionPayment: transaction_payment::{Module, Storage},
670
671
672

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

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

		// 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.
695
		Parachains: parachains::{Module, Call, Storage, Config, Inherent, Origin},
696
		Attestations: attestations::{Module, Call, Storage},
Gavin Wood's avatar
Gavin Wood committed
697
		Slots: slots::{Module, Call, Storage, Event<T>},
698
		Registrar: registrar::{Module, Call, Storage, Event, Config<T>},
699

700
701
		// Utility module.
		Utility: utility::{Module, Call, Storage, Event<T>},
702
703
704

		// Less simple identity module.
		Identity: identity::{Module, Call, Storage, Event<T>},
705
706
707
708
709
710

		// 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
711
712
713

		// 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
714
715
716

		// System scheduler.
		Scheduler: scheduler::{Module, Call, Storage, Event<T>},
Gav's avatar
Gav committed
717
	}
Gavin Wood's avatar
Gavin Wood committed
718
}
719
720

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

749
750
sp_api::impl_runtime_apis! {
	impl sp_api::Core<Block> for Runtime {
751
752
753
754
755
756
757
		fn version() -> RuntimeVersion {
			VERSION
		}

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

759
760
		fn initialize_block(header: &<Block as BlockT>::Header) {
			Executive::initialize_block(header)
761
762
		}
	}
Gav's avatar
Gav committed
763

764
	impl sp_api::Metadata<Block> for Runtime {
765
766
767
		fn metadata() -> OpaqueMetadata {
			Runtime::metadata().into()
		}
Gav's avatar
Gav committed
768
769
	}

770
	impl block_builder_api::BlockBuilder<Block> for Runtime {
771
		fn apply_extrinsic(extrinsic: <Block as BlockT>::Extrinsic) -> ApplyExtrinsicResult {
772
773
774
			Executive::apply_extrinsic(extrinsic)
		}

775
776
		fn finalize_block() -> <Block as BlockT>::Header {
			Executive::finalize_block()
777
		}
778

Gavin Wood's avatar
Gavin Wood committed
779
		fn inherent_extrinsics(data: inherents::InherentData) -> Vec<<Block as BlockT>::Extrinsic> {
780
			data.create_extrinsics()
781
		}
782

Gavin Wood's avatar
Gavin Wood committed
783
784
785
786
		fn check_inherents(
			block: Block,
			data: inherents::InherentData,
		) -> inherents::CheckInherentsResult {
787
			data.check_extrinsics(&block)
788
		}
789

790
		fn random_seed() -> <Block as BlockT>::Hash {
Ashley's avatar
Ashley committed
791
			RandomnessCollectiveFlip::random_seed()
792
		}
793
794
	}

795
	impl tx_pool_api::runtime_api::TaggedTransactionQueue<Block> for Runtime {
796
797
798
799
800
		fn validate_transaction(
			source: TransactionSource,
			tx: <Block as BlockT>::Extrinsic,
		) -> TransactionValidity {
			Executive::validate_transaction(source, tx)
801
		}
Gav's avatar
Gav committed
802
	}
803

804
	impl offchain_primitives::OffchainWorkerApi<Block> for Runtime {
805
806
		fn offchain_worker(header: &<Block as BlockT>::Header) {
			Executive::offchain_worker(header)
807
808
809
		}
	}

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

	impl fg_primitives::GrandpaApi<Block> for Runtime {
850
		fn grandpa_authorities() -> Vec<(GrandpaId, u64)> {
851
852
853
854
			Grandpa::grandpa_authorities()
		}
	}

855
	impl babe_primitives::BabeApi<Block> for Runtime {
856
		fn configuration() -> babe_primitives::BabeConfiguration {
857
858
859
860
861
862
863
			// 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(),
864
				epoch_length: EpochDuration::get(),
865
				c: PRIMARY_PROBABILITY,
866
				genesis_authorities: Babe::authorities(),
867
				randomness: Babe::randomness(),
868
				secondary_slots: true,
869
			}
870
		}
871
872
873
874

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

Gavin Wood's avatar
Gavin Wood committed
877
878
879
880
881
882
	impl authority_discovery_primitives::AuthorityDiscoveryApi<Block> for Runtime {
		fn authorities() -> Vec<AuthorityDiscoveryId> {
			AuthorityDiscovery::authorities()
		}
	}

Gavin Wood's avatar
Gavin Wood committed
883
	impl sp_session::SessionKeys<Block> for Runtime {
884
885
886
		fn generate_session_keys(seed: Option<Vec<u8>>) -> Vec<u8> {
			SessionKeys::generate(seed)
		}
Gavin Wood's avatar
Gavin Wood committed
887
888
889
890
891
892

		fn decode_session_keys(
			encoded: Vec<u8>,
		) -> Option<Vec<(Vec<u8>, sp_core::crypto::KeyTypeId)>> {
			SessionKeys::decode_into_raw_public_keys(&encoded)
		}
893
	}
894
895
896
897
898
899

	impl system_rpc_runtime_api::AccountNonceApi<Block, AccountId, Nonce> for Runtime {
		fn account_nonce(account: AccountId) -> Nonce {
			System::account_nonce(account)
		}
	}
Kian Paimani's avatar
Kian Paimani committed
900
<