lib.rs 30.4 KB
Newer Older
Shawn Tabrizi's avatar
Shawn Tabrizi committed
1
// Copyright 2017-2020 Parity Technologies (UK) Ltd.
Gav's avatar
Gav committed
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
// This file is part of Polkadot.

// Polkadot is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// Polkadot is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with Polkadot.  If not, see <http://www.gnu.org/licenses/>.

17
//! The Polkadot runtime. This can be compiled with `#[no_std]`, ready for Wasm.
Gav's avatar
Gav committed
18
19

#![cfg_attr(not(feature = "std"), no_std)]
20
21
// `construct_runtime!` does a lot of recursion and requires us to increase the limit to 256.
#![recursion_limit="256"]
Gav Wood's avatar
Gav Wood committed
22

23
use 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;
59
use pallet_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
}

148
parameter_types! {
149
	pub const EpochDuration: u64 = EPOCH_DURATION_IN_BLOCKS as u64;
150
151
152
153
154
155
	pub const ExpectedBlockTime: Moment = MILLISECS_PER_BLOCK;
}

impl babe::Trait for Runtime {
	type EpochDuration = EpochDuration;
	type ExpectedBlockTime = ExpectedBlockTime;
156
157
158

	// session module is the trigger
	type EpochChangeTrigger = babe::ExternalTrigger;
159
160
}

Gavin Wood's avatar
Gavin Wood committed
161
162
163
164
parameter_types! {
	pub const IndexDeposit: Balance = 1 * DOLLARS;
}

Gav Wood's avatar
Gav Wood committed
165
166
impl indices::Trait for Runtime {
	type AccountIndex = AccountIndex;
167
168
	type Currency = Balances;
	type Deposit = IndexDeposit;
Gav Wood's avatar
Gav Wood committed
169
170
171
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
172
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
173
	pub const ExistentialDeposit: Balance = 1 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
174
175
176
177
178
}

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

184
impl balances::Trait for Runtime {
Gav's avatar
Gav committed
185
	type Balance = Balance;
186
	type DustRemoval = ();
Gavin Wood's avatar
Gavin Wood committed
187
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
188
	type ExistentialDeposit = ExistentialDeposit;
189
	type AccountStore = System;
190
191
192
193
194
}

parameter_types! {
	pub const TransactionBaseFee: Balance = 1 * CENTS;
	pub const TransactionByteFee: Balance = 10 * MILLICENTS;
195
196
	// for a sane configuration, this should always be less than `AvailableBlockRatio`.
	pub const TargetBlockFullness: Perbill = Perbill::from_percent(25);
197
198
199
200
201
}

impl transaction_payment::Trait for Runtime {
	type Currency = Balances;
	type OnTransactionPayment = DealWithFees;
Gavin Wood's avatar
Gavin Wood committed
202
203
	type TransactionBaseFee = TransactionBaseFee;
	type TransactionByteFee = TransactionByteFee;
204
	type WeightToFee = WeightToFee;
205
	type FeeMultiplierUpdate = TargetedFeeAdjustment<TargetBlockFullness, Self>;
Gav's avatar
Gav committed
206
207
}

208
parameter_types! {
209
	pub const MinimumPeriod: u64 = SLOT_DURATION / 2;
210
}
211
impl timestamp::Trait for Runtime {
212
	type Moment = u64;
213
	type OnTimestampSet = Babe;
214
	type MinimumPeriod = MinimumPeriod;
215
216
}

Gavin Wood's avatar
Gavin Wood committed
217
parameter_types! {
218
	pub const UncleGenerations: u32 = 0;
Gavin Wood's avatar
Gavin Wood committed
219
220
221
222
}

// TODO: substrate#2986 implement this properly
impl authorship::Trait for Runtime {
223
	type FindAuthor = session::FindAccountFromAuthorIndex<Self, Babe>;
Gavin Wood's avatar
Gavin Wood committed
224
225
	type UncleGenerations = UncleGenerations;
	type FilterUncle = ();
Gavin Wood's avatar
Gavin Wood committed
226
	type EventHandler = (Staking, ImOnline);
Gavin Wood's avatar
Gavin Wood committed
227
228
}

229
230
231
232
233
234
parameter_types! {
	pub const Period: BlockNumber = 10 * MINUTES;
	pub const Offset: BlockNumber = 0;
}

impl_opaque_keys! {
235
	pub struct SessionKeys {
Gavin Wood's avatar
Gavin Wood committed
236
237
238
239
		pub grandpa: Grandpa,
		pub babe: Babe,
		pub im_online: ImOnline,
		pub parachain_validator: Parachains,
Gavin Wood's avatar
Gavin Wood committed
240
		pub authority_discovery: AuthorityDiscovery,
241
	}
242
243
}

thiolliere's avatar
thiolliere committed
244
245
246
247
parameter_types! {
	pub const DisabledValidatorsThreshold: Perbill = Perbill::from_percent(17);
}

248
impl session::Trait for Runtime {
Gav's avatar
Gav committed
249
	type Event = Event;
250
251
	type ValidatorId = AccountId;
	type ValidatorIdOf = staking::StashOf<Self>;
Gavin Wood's avatar
Gavin Wood committed
252
	type ShouldEndSession = Babe;
253
	type NextSessionRotation = Babe;
Gavin Wood's avatar
Gavin Wood committed
254
255
256
	type SessionManager = Staking;
	type SessionHandler = <SessionKeys as OpaqueKeys>::KeyTypeIdProviders;
	type Keys = SessionKeys;
thiolliere's avatar
thiolliere committed
257
	type DisabledValidatorsThreshold = DisabledValidatorsThreshold;
258
259
260
261
}

impl session::historical::Trait for Runtime {
	type FullIdentification = staking::Exposure<AccountId, Balance>;
262
	type FullIdentificationOf = staking::ExposureOf<Runtime>;
263
264
}

265
pallet_staking_reward_curve::build! {
thiolliere's avatar
thiolliere committed
266
267
268
269
270
271
272
273
274
275
	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,
	);
}

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

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

311
parameter_types! {
312
313
	pub const LaunchPeriod: BlockNumber = 7 * DAYS;
	pub const VotingPeriod: BlockNumber = 7 * DAYS;
314
	pub const FastTrackVotingPeriod: BlockNumber = 3 * HOURS;
Gavin Wood's avatar
Gavin Wood committed
315
	pub const MinimumDeposit: Balance = 1 * DOLLARS;
316
317
	pub const EnactmentPeriod: BlockNumber = 8 * DAYS;
	pub const CooloffPeriod: BlockNumber = 7 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
318
	// One cent: $10,000 / MB
Gavin Wood's avatar
Gavin Wood committed
319
	pub const PreimageByteDeposit: Balance = 10 * MILLICENTS;
320
	pub const InstantAllowed: bool = true;
321
322
}

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

354
355
356
357
parameter_types! {
	pub const CouncilMotionDuration: BlockNumber = 3 * DAYS;
}

358
359
type CouncilCollective = collective::Instance1;
impl collective::Trait<CouncilCollective> for Runtime {
360
361
362
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
363
	type MotionDuration = CouncilMotionDuration;
364
365
}

Gavin Wood's avatar
Gavin Wood committed
366
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
367
368
	pub const CandidacyBond: Balance = 1 * DOLLARS;
	pub const VotingBond: Balance = 5 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
369
370
	/// Daily council elections.
	pub const TermDuration: BlockNumber = 24 * HOURS;
Kian Paimani's avatar
Kian Paimani committed
371
372
	pub const DesiredMembers: u32 = 13;
	pub const DesiredRunnersUp: u32 = 7;
373
374
375
}

impl elections_phragmen::Trait for Runtime {
376
	type Event = Event;
377
378
	type Currency = Balances;
	type ChangeMembers = Council;
379
	type InitializeMembers = Council;
380
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
381
382
	type CandidacyBond = CandidacyBond;
	type VotingBond = VotingBond;
383
384
385
	type LoserCandidate = Treasury;
	type BadReport = Treasury;
	type KickedMember = Treasury;
Gavin Wood's avatar
Gavin Wood committed
386
387
388
	type DesiredMembers = DesiredMembers;
	type DesiredRunnersUp = DesiredRunnersUp;
	type TermDuration = TermDuration;
389
390
}

391
392
393
394
parameter_types! {
	pub const TechnicalMotionDuration: BlockNumber = 3 * DAYS;
}

395
396
type TechnicalCollective = collective::Instance2;
impl collective::Trait<TechnicalCollective> for Runtime {
397
398
399
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
400
	type MotionDuration = TechnicalMotionDuration;
401
402
}

403
404
405
406
407
408
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>;
409
	type PrimeOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
410
411
412
413
	type MembershipInitialized = TechnicalCommittee;
	type MembershipChanged = TechnicalCommittee;
}

Gavin Wood's avatar
Gavin Wood committed
414
415
parameter_types! {
	pub const ProposalBond: Permill = Permill::from_percent(5);
Gavin Wood's avatar
Gavin Wood committed
416
	pub const ProposalBondMinimum: Balance = 20 * DOLLARS;
417
	pub const SpendPeriod: BlockNumber = 6 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
418
	pub const Burn: Permill = Permill::from_percent(0);
Gavin Wood's avatar
Gavin Wood committed
419
420
421
422
423

	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
424
425
}

426
impl treasury::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
427
	type Currency = Balances;
428
	type ApproveOrigin = collective::EnsureProportionAtLeast<_3, _5, AccountId, CouncilCollective>;
429
	type RejectOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
Gavin Wood's avatar
Gavin Wood committed
430
431
432
433
434
	type Tippers = ElectionsPhragmen;
	type TipCountdown = TipCountdown;
	type TipFindersFee = TipFindersFee;
	type TipReportDepositBase = TipReportDepositBase;
	type TipReportDepositPerByte = TipReportDepositPerByte;
435
	type Event = Event;
436
	type ProposalRejection = Treasury;
Gavin Wood's avatar
Gavin Wood committed
437
438
439
440
	type ProposalBond = ProposalBond;
	type ProposalBondMinimum = ProposalBondMinimum;
	type SpendPeriod = SpendPeriod;
	type Burn = Burn;
441
}
442

443
444
445
446
447
448
impl offences::Trait for Runtime {
	type Event = Event;
	type IdentificationTuple = session::historical::IdentificationTuple<Self>;
	type OnOffenceHandler = Staking;
}

Gavin Wood's avatar
Gavin Wood committed
449
450
impl authority_discovery::Trait for Runtime {}

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

453
454
455
456
parameter_types! {
	pub const SessionDuration: BlockNumber = EPOCH_DURATION_IN_BLOCKS as _;
}

457
impl im_online::Trait for Runtime {
thiolliere's avatar
thiolliere committed
458
	type AuthorityId = ImOnlineId;
459
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
460
461
	type Call = Call;
	type SubmitTransaction = SubmitTransaction;
462
	type ReportUnresponsiveness = Offences;
463
	type SessionDuration = SessionDuration;
464
465
}

466
467
468
469
impl grandpa::Trait for Runtime {
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
470
471
472
473
474
475
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 {
476
	type OnFinalizationStalled = ();
Gavin Wood's avatar
Gavin Wood committed
477
478
479
480
	type WindowSize = WindowSize;
	type ReportLatency = ReportLatency;
}

481
482
483
484
parameter_types! {
	pub const AttestationPeriod: BlockNumber = 50;
}

485
486
487
impl attestations::Trait for Runtime {
	type AttestationPeriod = AttestationPeriod;
	type ValidatorIdentities = parachains::ValidatorIdentities<Runtime>;
488
	type RewardAttestation = Staking;
489
490
}

491
492
493
494
495
parameter_types! {
	pub const MaxCodeSize: u32 = 10 * 1024 * 1024; // 10 MB
	pub const MaxHeadDataSize: u32 = 20 * 1024; // 20 KB
}

496
497
498
impl parachains::Trait for Runtime {
	type Origin = Origin;
	type Call = Call;
499
	type ParachainCurrency = Balances;
500
	type Randomness = RandomnessCollectiveFlip;
501
502
	type ActiveParachains = Registrar;
	type Registrar = Registrar;
503
504
	type MaxCodeSize = MaxCodeSize;
	type MaxHeadDataSize = MaxHeadDataSize;
505
506
507
508
	type Proof = session::historical::Proof;
	type KeyOwnerProofSystem = session::historical::Module<Self>;
	type IdentificationTuple = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(KeyTypeId, Vec<u8>)>>::IdentificationTuple;
	type ReportOffence = Offences;
509
	type BlockHashConversion = sp_runtime::traits::Identity;
510
511
512
}

parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
513
	pub const ParathreadDeposit: Balance = 5 * DOLLARS;
514
515
516
517
518
519
520
521
522
523
524
525
	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;
526
}
527

Gavin Wood's avatar
Gavin Wood committed
528
parameter_types! {
529
	pub const LeasePeriod: BlockNumber = 100_000;
Gavin Wood's avatar
Gavin Wood committed
530
531
532
533
534
	pub const EndingPeriod: BlockNumber = 1000;
}

impl slots::Trait for Runtime {
	type Event = Event;
535
536
	type Currency = Balances;
	type Parachains = Registrar;
Gavin Wood's avatar
Gavin Wood committed
537
538
	type LeasePeriod = LeasePeriod;
	type EndingPeriod = EndingPeriod;
539
	type Randomness = RandomnessCollectiveFlip;
Gavin Wood's avatar
Gavin Wood committed
540
541
}

Gavin Wood's avatar
Gavin Wood committed
542
parameter_types! {
543
544
545
546
547
	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
548
	type VestingSchedule = Vesting;
549
550
551
	type Prefix = Prefix;
}

552
parameter_types! {
553
	// Minimum 100 bytes/KSM deposited (1 CENT/byte)
Gavin Wood's avatar
Gavin Wood committed
554
555
556
	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
557
558
	pub const MaxSubAccounts: u32 = 100;
	pub const MaxAdditionalFields: u32 = 100;
559
560
561
562
563
564
565
566
567
}

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
568
569
	type MaxSubAccounts = MaxSubAccounts;
	type MaxAdditionalFields = MaxAdditionalFields;
570
571
572
573
	type RegistrarOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
	type ForceOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
}

Gavin Wood's avatar
Gavin Wood committed
574
575
parameter_types! {
	// One storage item; value is size 4+4+16+32 bytes = 56 bytes.
Gavin Wood's avatar
Gavin Wood committed
576
	pub const MultisigDepositBase: Balance = 30 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
577
	// Additional storage item size of 32 bytes.
Gavin Wood's avatar
Gavin Wood committed
578
	pub const MultisigDepositFactor: Balance = 5 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
579
580
581
582
583
584
585
586
587
588
589
590
	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;
}

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

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

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

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

		// Must be before session.
656
		Babe: babe::{Module, Call, Storage, Config, Inherent(Timestamp)},
657
658

		Timestamp: timestamp::{Module, Call, Storage, Inherent},
Gavin Wood's avatar
Gavin Wood committed
659
		Indices: indices::{Module, Call, Storage, Config<T>, Event<T>},
660
		Balances: balances::{Module, Call, Storage, Config<T>, Event<T>},
661
		TransactionPayment: transaction_payment::{Module, Storage},
662
663
664

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

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

		// 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.
687
		Parachains: parachains::{Module, Call, Storage, Config, Inherent, Origin},
688
		Attestations: attestations::{Module, Call, Storage},
Gavin Wood's avatar
Gavin Wood committed
689
		Slots: slots::{Module, Call, Storage, Event<T>},
690
		Registrar: registrar::{Module, Call, Storage, Event, Config<T>},
691

692
693
		// Utility module.
		Utility: utility::{Module, Call, Storage, Event<T>},
694
695
696

		// Less simple identity module.
		Identity: identity::{Module, Call, Storage, Event<T>},
697
698
699
700
701
702

		// 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
703
704
705

		// Vesting. Usable initially, but removed once all vesting is finished.
		Vesting: vesting::{Module, Call, Storage, Event<T>, Config<T>},
Gav's avatar
Gav committed
706
	}
Gavin Wood's avatar
Gavin Wood committed
707
}
708
709

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

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

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

748
749
		fn initialize_block(header: &<Block as BlockT>::Header) {
			Executive::initialize_block(header)
750
751
		}
	}
Gav's avatar
Gav committed
752

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

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

764
765
		fn finalize_block() -> <Block as BlockT>::Header {
			Executive::finalize_block()
766
		}
767

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

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

779
		fn random_seed() -> <Block as BlockT>::Hash {
Ashley's avatar
Ashley committed
780
			RandomnessCollectiveFlip::random_seed()
781
		}
782
783
	}

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

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

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

	impl fg_primitives::GrandpaApi<Block> for Runtime {
839
		fn grandpa_authorities() -> Vec<(GrandpaId, u64)> {
840
841
842
843
			Grandpa::grandpa_authorities()
		}
	}

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

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

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

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

		fn decode_session_keys(
			encoded: Vec<u8>,
		) -> Option<Vec<(Vec<u8>, sp_core::crypto::KeyTypeId)>> {
			SessionKeys::decode_into_raw_public_keys(&encoded)
		}
882
	}
883
884
885
886
887
888

	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
889

890
	impl pallet_transaction_payment_rpc_runtime_api::TransactionPaymentApi<
Kian Paimani's avatar
Kian Paimani committed
891
892
893
894
895
896
897
898
		Block,
		Balance,
		UncheckedExtrinsic,
	> for Runtime {
		fn query_info(uxt: UncheckedExtrinsic, len: u32) -> RuntimeDispatchInfo<Balance> {
			TransactionPayment::query_info(uxt, len)
		}
	}
899