lib.rs 28.1 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 rstd::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}, 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,
Gavin Wood's avatar
Gavin Wood committed
37
	ApplyExtrinsicResult, Percent, Permill, Perbill, RuntimeDebug,
Gavin Wood's avatar
Gavin Wood committed
38
	transaction_validity::{TransactionValidity, InvalidTransaction, TransactionValidityError},
39
	curve::PiecewiseLinear,
40
	traits::{BlakeTwo256, Block as BlockT, SignedExtension, OpaqueKeys, ConvertInto, IdentityLookup},
Gav Wood's avatar
Gav Wood committed
41
};
Arkadiy Paronyan's avatar
Arkadiy Paronyan committed
42
use version::RuntimeVersion;
43
use grandpa::{AuthorityId as GrandpaId, fg_primitives};
44
45
#[cfg(any(feature = "std", test))]
use version::NativeVersion;
46
47
use sp_core::OpaqueMetadata;
use sp_staking::SessionIndex;
48
use frame_support::{
49
50
	parameter_types, construct_runtime, traits::{SplitTwoWays, Randomness},
	weights::DispatchInfo,
Gavin Wood's avatar
Gavin Wood committed
51
};
thiolliere's avatar
thiolliere committed
52
use im_online::sr25519::AuthorityId as ImOnlineId;
Gavin Wood's avatar
Gavin Wood committed
53
use authority_discovery_primitives::AuthorityId as AuthorityDiscoveryId;
Gavin Wood's avatar
Gavin Wood committed
54
use system::offchain::TransactionSubmitter;
55
use pallet_transaction_payment_rpc_runtime_api::RuntimeDispatchInfo;
56

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

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

70
71
72
73
// Make the WASM binary available.
#[cfg(feature = "std")]
include!(concat!(env!("OUT_DIR"), "/wasm_binary.rs"));

74
75
76
77
/// Runtime version (Kusama).
pub const VERSION: RuntimeVersion = RuntimeVersion {
	spec_name: create_runtime_str!("kusama"),
	impl_name: create_runtime_str!("parity-kusama"),
78
	authoring_version: 2,
79
	spec_version: 1049,
80
	impl_version: 0,
81
82
	apis: RUNTIME_API_VERSIONS,
};
Arkadiy Paronyan's avatar
Arkadiy Paronyan committed
83

84
85
86
87
88
89
90
91
92
/// Native version.
#[cfg(any(feature = "std", test))]
pub fn native_version() -> NativeVersion {
	NativeVersion {
		runtime_version: VERSION,
		can_author_with: Default::default(),
	}
}

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

Gavin Wood's avatar
Gavin Wood committed
104
	fn additional_signed(&self) -> rstd::result::Result<(), TransactionValidityError> { Ok(()) }
105

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

117
parameter_types! {
118
	pub const Version: RuntimeVersion = VERSION;
119
120
}

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

143
parameter_types! {
144
	pub const EpochDuration: u64 = EPOCH_DURATION_IN_BLOCKS as u64;
145
146
147
148
149
150
	pub const ExpectedBlockTime: Moment = MILLISECS_PER_BLOCK;
}

impl babe::Trait for Runtime {
	type EpochDuration = EpochDuration;
	type ExpectedBlockTime = ExpectedBlockTime;
151
152
153

	// session module is the trigger
	type EpochChangeTrigger = babe::ExternalTrigger;
154
155
}

Gavin Wood's avatar
Gavin Wood committed
156
157
158
159
parameter_types! {
	pub const IndexDeposit: Balance = 1 * DOLLARS;
}

Gav Wood's avatar
Gav Wood committed
160
161
impl indices::Trait for Runtime {
	type AccountIndex = AccountIndex;
162
163
	type Currency = Balances;
	type Deposit = IndexDeposit;
Gav Wood's avatar
Gav Wood committed
164
165
166
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
167
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
168
	pub const ExistentialDeposit: Balance = 1 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
169
170
171
172
173
}

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

179
impl balances::Trait for Runtime {
Gav's avatar
Gav committed
180
	type Balance = Balance;
181
	type DustRemoval = ();
Gavin Wood's avatar
Gavin Wood committed
182
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
183
	type ExistentialDeposit = ExistentialDeposit;
184
	type AccountStore = System;
185
186
187
188
189
}

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

impl transaction_payment::Trait for Runtime {
	type Currency = Balances;
	type OnTransactionPayment = DealWithFees;
Gavin Wood's avatar
Gavin Wood committed
197
198
	type TransactionBaseFee = TransactionBaseFee;
	type TransactionByteFee = TransactionByteFee;
199
	type WeightToFee = WeightToFee;
200
	type FeeMultiplierUpdate = TargetedFeeAdjustment<TargetBlockFullness, Self>;
Gav's avatar
Gav committed
201
202
}

203
parameter_types! {
204
	pub const MinimumPeriod: u64 = SLOT_DURATION / 2;
205
}
206
impl timestamp::Trait for Runtime {
207
	type Moment = u64;
208
	type OnTimestampSet = Babe;
209
	type MinimumPeriod = MinimumPeriod;
210
211
}

Gavin Wood's avatar
Gavin Wood committed
212
parameter_types! {
213
	pub const UncleGenerations: u32 = 0;
Gavin Wood's avatar
Gavin Wood committed
214
215
216
217
}

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

224
225
226
227
228
229
parameter_types! {
	pub const Period: BlockNumber = 10 * MINUTES;
	pub const Offset: BlockNumber = 0;
}

impl_opaque_keys! {
230
	pub struct SessionKeys {
Gavin Wood's avatar
Gavin Wood committed
231
232
233
234
		pub grandpa: Grandpa,
		pub babe: Babe,
		pub im_online: ImOnline,
		pub parachain_validator: Parachains,
Gavin Wood's avatar
Gavin Wood committed
235
		pub authority_discovery: AuthorityDiscovery,
236
	}
237
238
}

thiolliere's avatar
thiolliere committed
239
240
241
242
parameter_types! {
	pub const DisabledValidatorsThreshold: Perbill = Perbill::from_percent(17);
}

243
impl session::Trait for Runtime {
Gav's avatar
Gav committed
244
	type Event = Event;
245
246
	type ValidatorId = AccountId;
	type ValidatorIdOf = staking::StashOf<Self>;
Gavin Wood's avatar
Gavin Wood committed
247
248
249
250
	type ShouldEndSession = Babe;
	type SessionManager = Staking;
	type SessionHandler = <SessionKeys as OpaqueKeys>::KeyTypeIdProviders;
	type Keys = SessionKeys;
thiolliere's avatar
thiolliere committed
251
	type DisabledValidatorsThreshold = DisabledValidatorsThreshold;
252
253
254
255
}

impl session::historical::Trait for Runtime {
	type FullIdentification = staking::Exposure<AccountId, Balance>;
256
	type FullIdentificationOf = staking::ExposureOf<Runtime>;
257
258
}

259
pallet_staking_reward_curve::build! {
thiolliere's avatar
thiolliere committed
260
261
262
263
264
265
266
267
268
269
	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,
	);
}

270
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
271
	// Six sessions in an era (6 hours).
272
	pub const SessionsPerEra: SessionIndex = 6;
Gavin Wood's avatar
Gavin Wood committed
273
	// 28 eras for unbonding (7 days).
Gavin Wood's avatar
Gavin Wood committed
274
	pub const BondingDuration: staking::EraIndex = 28;
Gavin Wood's avatar
Gavin Wood committed
275
	// 28 eras in which slashes can be cancelled (7 days).
Gavin Wood's avatar
Gavin Wood committed
276
	pub const SlashDeferDuration: staking::EraIndex = 28;
thiolliere's avatar
thiolliere committed
277
	pub const RewardCurve: &'static PiecewiseLinear<'static> = &REWARD_CURVE;
Gavin Wood's avatar
Gavin Wood committed
278
	pub const MaxNominatorRewardedPerValidator: u32 = 64;
279
}
280

281
impl staking::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
282
283
	type Currency = Balances;
	type Time = Timestamp;
284
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
285
	type RewardRemainder = Treasury;
Gav's avatar
Gav committed
286
	type Event = Event;
287
	type Slash = Treasury;
288
	type Reward = ();
289
290
	type SessionsPerEra = SessionsPerEra;
	type BondingDuration = BondingDuration;
Gavin Wood's avatar
Gavin Wood committed
291
	type SlashDeferDuration = SlashDeferDuration;
Gavin Wood's avatar
Gavin Wood committed
292
293
	// A majority of the council can cancel the slash.
	type SlashCancelOrigin = collective::EnsureProportionAtLeast<_1, _2, AccountId, CouncilCollective>;
294
	type SessionInterface = Self;
thiolliere's avatar
thiolliere committed
295
	type RewardCurve = RewardCurve;
Gavin Wood's avatar
Gavin Wood committed
296
	type MaxNominatorRewardedPerValidator = MaxNominatorRewardedPerValidator;
297
298
}

299
parameter_types! {
300
301
	pub const LaunchPeriod: BlockNumber = 7 * DAYS;
	pub const VotingPeriod: BlockNumber = 7 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
302
	pub const EmergencyVotingPeriod: BlockNumber = 3 * HOURS;
Gavin Wood's avatar
Gavin Wood committed
303
	pub const MinimumDeposit: Balance = 1 * DOLLARS;
304
305
	pub const EnactmentPeriod: BlockNumber = 8 * DAYS;
	pub const CooloffPeriod: BlockNumber = 7 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
306
	// One cent: $10,000 / MB
Gavin Wood's avatar
Gavin Wood committed
307
	pub const PreimageByteDeposit: Balance = 10 * MILLICENTS;
308
309
}

310
311
312
impl democracy::Trait for Runtime {
	type Proposal = Call;
	type Event = Event;
313
	type Currency = Balances;
314
315
316
317
	type EnactmentPeriod = EnactmentPeriod;
	type LaunchPeriod = LaunchPeriod;
	type VotingPeriod = VotingPeriod;
	type MinimumDeposit = MinimumDeposit;
318
319
	/// A straight majority of the council can decide what their next motion is.
	type ExternalOrigin = collective::EnsureProportionAtLeast<_1, _2, AccountId, CouncilCollective>;
320
	/// A majority can have the next scheduled referendum be a straight majority-carries vote.
321
	type ExternalMajorityOrigin = collective::EnsureProportionAtLeast<_1, _2, AccountId, CouncilCollective>;
322
323
324
325
326
327
	/// 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>;
Gavin Wood's avatar
Gavin Wood committed
328
	type EmergencyVotingPeriod = EmergencyVotingPeriod;
329
330
331
332
333
	// 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>;
334
	type CooloffPeriod = CooloffPeriod;
Gavin Wood's avatar
Gavin Wood committed
335
336
	type PreimageByteDeposit = PreimageByteDeposit;
	type Slash = Treasury;
337
}
338

339
340
type CouncilCollective = collective::Instance1;
impl collective::Trait<CouncilCollective> for Runtime {
341
342
343
344
345
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
346
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
347
348
	pub const CandidacyBond: Balance = 1 * DOLLARS;
	pub const VotingBond: Balance = 5 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
349
350
	/// Daily council elections.
	pub const TermDuration: BlockNumber = 24 * HOURS;
Kian Paimani's avatar
Kian Paimani committed
351
352
	pub const DesiredMembers: u32 = 13;
	pub const DesiredRunnersUp: u32 = 7;
353
354
355
}

impl elections_phragmen::Trait for Runtime {
356
	type Event = Event;
357
358
	type Currency = Balances;
	type ChangeMembers = Council;
359
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
360
361
	type CandidacyBond = CandidacyBond;
	type VotingBond = VotingBond;
362
363
364
	type LoserCandidate = Treasury;
	type BadReport = Treasury;
	type KickedMember = Treasury;
Gavin Wood's avatar
Gavin Wood committed
365
366
367
	type DesiredMembers = DesiredMembers;
	type DesiredRunnersUp = DesiredRunnersUp;
	type TermDuration = TermDuration;
368
369
}

370
371
type TechnicalCollective = collective::Instance2;
impl collective::Trait<TechnicalCollective> for Runtime {
372
373
374
375
376
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
}

377
378
379
380
381
382
383
384
385
386
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>;
	type MembershipInitialized = TechnicalCommittee;
	type MembershipChanged = TechnicalCommittee;
}

Gavin Wood's avatar
Gavin Wood committed
387
388
parameter_types! {
	pub const ProposalBond: Permill = Permill::from_percent(5);
Gavin Wood's avatar
Gavin Wood committed
389
	pub const ProposalBondMinimum: Balance = 20 * DOLLARS;
390
	pub const SpendPeriod: BlockNumber = 6 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
391
	pub const Burn: Permill = Permill::from_percent(0);
Gavin Wood's avatar
Gavin Wood committed
392
393
394
395
396

	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
397
398
}

399
impl treasury::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
400
	type Currency = Balances;
401
	type ApproveOrigin = collective::EnsureProportionAtLeast<_3, _5, AccountId, CouncilCollective>;
402
	type RejectOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
Gavin Wood's avatar
Gavin Wood committed
403
404
405
406
407
	type Tippers = ElectionsPhragmen;
	type TipCountdown = TipCountdown;
	type TipFindersFee = TipFindersFee;
	type TipReportDepositBase = TipReportDepositBase;
	type TipReportDepositPerByte = TipReportDepositPerByte;
408
	type Event = Event;
409
	type ProposalRejection = Treasury;
Gavin Wood's avatar
Gavin Wood committed
410
411
412
413
	type ProposalBond = ProposalBond;
	type ProposalBondMinimum = ProposalBondMinimum;
	type SpendPeriod = SpendPeriod;
	type Burn = Burn;
414
}
415

416
417
418
419
420
421
impl offences::Trait for Runtime {
	type Event = Event;
	type IdentificationTuple = session::historical::IdentificationTuple<Self>;
	type OnOffenceHandler = Staking;
}

Gavin Wood's avatar
Gavin Wood committed
422
423
impl authority_discovery::Trait for Runtime {}

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

426
427
428
429
parameter_types! {
	pub const SessionDuration: BlockNumber = EPOCH_DURATION_IN_BLOCKS as _;
}

430
impl im_online::Trait for Runtime {
thiolliere's avatar
thiolliere committed
431
	type AuthorityId = ImOnlineId;
432
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
433
434
	type Call = Call;
	type SubmitTransaction = SubmitTransaction;
435
	type ReportUnresponsiveness = Offences;
436
	type SessionDuration = SessionDuration;
437
438
}

439
440
441
442
impl grandpa::Trait for Runtime {
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
443
444
445
446
447
448
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 {
449
	type OnFinalizationStalled = ();
Gavin Wood's avatar
Gavin Wood committed
450
451
452
453
	type WindowSize = WindowSize;
	type ReportLatency = ReportLatency;
}

454
455
456
457
parameter_types! {
	pub const AttestationPeriod: BlockNumber = 50;
}

458
459
460
impl attestations::Trait for Runtime {
	type AttestationPeriod = AttestationPeriod;
	type ValidatorIdentities = parachains::ValidatorIdentities<Runtime>;
461
	type RewardAttestation = Staking;
462
463
}

464
465
466
467
468
parameter_types! {
	pub const MaxCodeSize: u32 = 10 * 1024 * 1024; // 10 MB
	pub const MaxHeadDataSize: u32 = 20 * 1024; // 20 KB
}

469
470
471
impl parachains::Trait for Runtime {
	type Origin = Origin;
	type Call = Call;
472
	type ParachainCurrency = Balances;
473
	type Randomness = RandomnessCollectiveFlip;
474
475
	type ActiveParachains = Registrar;
	type Registrar = Registrar;
476
477
	type MaxCodeSize = MaxCodeSize;
	type MaxHeadDataSize = MaxHeadDataSize;
478
479
480
}

parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
481
	pub const ParathreadDeposit: Balance = 5 * DOLLARS;
482
483
484
485
486
487
488
489
490
491
492
493
	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;
494
}
495

Gavin Wood's avatar
Gavin Wood committed
496
parameter_types! {
497
	pub const LeasePeriod: BlockNumber = 100_000;
Gavin Wood's avatar
Gavin Wood committed
498
499
500
501
502
	pub const EndingPeriod: BlockNumber = 1000;
}

impl slots::Trait for Runtime {
	type Event = Event;
503
504
	type Currency = Balances;
	type Parachains = Registrar;
Gavin Wood's avatar
Gavin Wood committed
505
506
	type LeasePeriod = LeasePeriod;
	type EndingPeriod = EndingPeriod;
507
	type Randomness = RandomnessCollectiveFlip;
Gavin Wood's avatar
Gavin Wood committed
508
509
}

Gavin Wood's avatar
Gavin Wood committed
510
parameter_types! {
511
512
513
514
515
	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
516
	type VestingSchedule = Vesting;
517
518
519
	type Prefix = Prefix;
}

520
parameter_types! {
521
	// Minimum 100 bytes/KSM deposited (1 CENT/byte)
Gavin Wood's avatar
Gavin Wood committed
522
523
524
	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
525
526
	pub const MaxSubAccounts: u32 = 100;
	pub const MaxAdditionalFields: u32 = 100;
527
528
529
530
531
532
533
534
535
}

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
536
537
	type MaxSubAccounts = MaxSubAccounts;
	type MaxAdditionalFields = MaxAdditionalFields;
538
539
540
541
	type RegistrarOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
	type ForceOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
}

Gavin Wood's avatar
Gavin Wood committed
542
543
parameter_types! {
	// One storage item; value is size 4+4+16+32 bytes = 56 bytes.
Gavin Wood's avatar
Gavin Wood committed
544
	pub const MultisigDepositBase: Balance = 30 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
545
	// Additional storage item size of 32 bytes.
Gavin Wood's avatar
Gavin Wood committed
546
	pub const MultisigDepositFactor: Balance = 5 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
547
548
549
550
551
552
553
554
555
556
557
558
	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;
}

559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
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;
}

Gavin Wood's avatar
Gavin Wood committed
602
603
604
605
606
607
impl vesting::Trait for Runtime {
	type Event = Event;
	type Currency = Balances;
	type BlockNumberToBalance = ConvertInto;
}

Gavin Wood's avatar
Gavin Wood committed
608
construct_runtime! {
609
	pub enum Runtime where
610
		Block = Block,
611
		NodeBlock = primitives::Block,
612
		UncheckedExtrinsic = UncheckedExtrinsic
613
	{
614
		// Basic stuff; balances is uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
615
		System: system::{Module, Call, Storage, Config, Event<T>},
Ashley's avatar
Ashley committed
616
		RandomnessCollectiveFlip: randomness_collective_flip::{Module, Storage},
617
618

		// Must be before session.
619
		Babe: babe::{Module, Call, Storage, Config, Inherent(Timestamp)},
620
621

		Timestamp: timestamp::{Module, Call, Storage, Inherent},
Gavin Wood's avatar
Gavin Wood committed
622
		Indices: indices::{Module, Call, Storage, Config<T>, Event<T>},
623
		Balances: balances::{Module, Call, Storage, Config<T>, Event<T>},
624
		TransactionPayment: transaction_payment::{Module, Storage},
625
626
627

		// Consensus support.
		Authorship: authorship::{Module, Call, Storage},
628
		Staking: staking::{Module, Call, Storage, Config<T>, Event<T>},
629
		Offences: offences::{Module, Call, Storage, Event},
630
		Session: session::{Module, Call, Storage, Event, Config<T>},
631
632
		FinalityTracker: finality_tracker::{Module, Call, Inherent},
		Grandpa: grandpa::{Module, Call, Storage, Config, Event},
thiolliere's avatar
thiolliere committed
633
		ImOnline: im_online::{Module, Call, Storage, Event<T>, ValidateUnsigned, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
634
		AuthorityDiscovery: authority_discovery::{Module, Call, Config},
635
636

		// Governance stuff; uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
637
		Democracy: democracy::{Module, Call, Storage, Config, Event<T>},
638
639
		Council: collective::<Instance1>::{Module, Call, Storage, Origin<T>, Event<T>, Config<T>},
		TechnicalCommittee: collective::<Instance2>::{Module, Call, Storage, Origin<T>, Event<T>, Config<T>},
Kian Paimani's avatar
Kian Paimani committed
640
		ElectionsPhragmen: elections_phragmen::{Module, Call, Storage, Event<T>},
641
		TechnicalMembership: membership::<Instance1>::{Module, Call, Storage, Event<T>, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
642
		Treasury: treasury::{Module, Call, Storage, Event<T>},
643
644
645
646
647
648

		// 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.
649
		Parachains: parachains::{Module, Call, Storage, Config, Inherent, Origin},
650
		Attestations: attestations::{Module, Call, Storage},
Gavin Wood's avatar
Gavin Wood committed
651
		Slots: slots::{Module, Call, Storage, Event<T>},
652
		Registrar: registrar::{Module, Call, Storage, Event, Config<T>},
653

654
655
		// Utility module.
		Utility: utility::{Module, Call, Storage, Event<T>},
656
657
658

		// Less simple identity module.
		Identity: identity::{Module, Call, Storage, Event<T>},
659
660
661
662
663
664

		// 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
665
666
667

		// Vesting. Usable initially, but removed once all vesting is finished.
		Vesting: vesting::{Module, Call, Storage, Event<T>, Config<T>},
Gav's avatar
Gav committed
668
	}
Gavin Wood's avatar
Gavin Wood committed
669
}
670
671

/// The address format for describing accounts.
672
pub type Address = AccountId;
673
/// Block header type as expected by this runtime.
674
pub type Header = generic::Header<BlockNumber, BlakeTwo256>;
675
676
677
678
679
680
/// 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>;
681
682
/// The SignedExtension to the basic transaction logic.
pub type SignedExtra = (
683
	RestrictFunctionality,
684
	system::CheckVersion<Runtime>,
685
	system::CheckGenesis<Runtime>,
686
687
688
	system::CheckEra<Runtime>,
	system::CheckNonce<Runtime>,
	system::CheckWeight<Runtime>,
689
	transaction_payment::ChargeTransactionPayment::<Runtime>,
690
	registrar::LimitParathreadCommits<Runtime>
691
);
692
/// Unchecked extrinsic type as expected by this runtime.
693
pub type UncheckedExtrinsic = generic::UncheckedExtrinsic<Address, Call, Signature, SignedExtra>;
694
/// Extrinsic type that has already been checked.
Gav Wood's avatar
Gav Wood committed
695
pub type CheckedExtrinsic = generic::CheckedExtrinsic<AccountId, Nonce, Call>;
696
/// Executive: handles dispatch to the various modules.
697
pub type Executive = executive::Executive<Runtime, Block, system::ChainContext<Runtime>, Runtime, AllModules>;
698

699
700
sp_api::impl_runtime_apis! {
	impl sp_api::Core<Block> for Runtime {
701
702
703
704
705
706
707
		fn version() -> RuntimeVersion {
			VERSION
		}

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

709
710
		fn initialize_block(header: &<Block as BlockT>::Header) {
			Executive::initialize_block(header)
711
712
		}
	}
Gav's avatar
Gav committed
713

714
	impl sp_api::Metadata<Block> for Runtime {
715
716
717
		fn metadata() -> OpaqueMetadata {
			Runtime::metadata().into()
		}
Gav's avatar
Gav committed
718
719
	}

720
	impl block_builder_api::BlockBuilder<Block> for Runtime {
721
		fn apply_extrinsic(extrinsic: <Block as BlockT>::Extrinsic) -> ApplyExtrinsicResult {
722
723
724
			Executive::apply_extrinsic(extrinsic)
		}

725
726
727
728
		fn apply_trusted_extrinsic(extrinsic: <Block as BlockT>::Extrinsic) -> ApplyExtrinsicResult {
			Executive::apply_extrinsic(extrinsic)
		}

729
730
		fn finalize_block() -> <Block as BlockT>::Header {
			Executive::finalize_block()
731
		}
732

Gavin Wood's avatar
Gavin Wood committed
733
		fn inherent_extrinsics(data: inherents::InherentData) -> Vec<<Block as BlockT>::Extrinsic> {
734
			data.create_extrinsics()
735
		}
736

Gavin Wood's avatar
Gavin Wood committed
737
738
739
740
		fn check_inherents(
			block: Block,
			data: inherents::InherentData,
		) -> inherents::CheckInherentsResult {
741
			data.check_extrinsics(&block)
742
		}
743

744
		fn random_seed() -> <Block as BlockT>::Hash {
Ashley's avatar
Ashley committed
745
			RandomnessCollectiveFlip::random_seed()
746
		}
747
748
	}

749
	impl tx_pool_api::runtime_api::TaggedTransactionQueue<Block> for Runtime {
750
751
752
		fn validate_transaction(tx: <Block as BlockT>::Extrinsic) -> TransactionValidity {
			Executive::validate_transaction(tx)
		}
Gav's avatar
Gav committed
753
	}
754

755
	impl offchain_primitives::OffchainWorkerApi<Block> for Runtime {
756
757
		fn offchain_worker(header: &<Block as BlockT>::Header) {
			Executive::offchain_worker(header)
758
759
760
		}
	}

761
	impl parachain::ParachainHost<Block> for Runtime {
Gav Wood's avatar
Gav Wood committed
762
		fn validators() -> Vec<parachain::ValidatorId> {
763
			Parachains::authorities()
764
765
		}
		fn duty_roster() -> parachain::DutyRoster {
766
			Parachains::calculate_duty_roster().0
767
		}
768
769
		fn active_parachains() -> Vec<(parachain::Id, Option<(parachain::CollatorId, parachain::Retriable)>)> {
			Registrar::active_paras()
770
		}
771
772
773
774
775
		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)
776
777
778
779
		}
		fn parachain_code(id: parachain::Id) -> Option<Vec<u8>> {
			Parachains::parachain_code(&id)
		}
780
781
782
		fn get_heads(extrinsics: Vec<<Block as BlockT>::Extrinsic>)
			-> Option<Vec<AbridgedCandidateReceipt>>
		{
783
784
785
786
787
788
789
790
791
792
793
794
			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,
				})
		}
795
	}
796
797

	impl fg_primitives::GrandpaApi<Block> for Runtime {
798
		fn grandpa_authorities() -> Vec<(GrandpaId, u64)> {
799
800
801
802
			Grandpa::grandpa_authorities()
		}
	}

803
	impl babe_primitives::BabeApi<Block> for Runtime {
804
		fn configuration() -> babe_primitives::BabeConfiguration {
805
806
807
808
809
810
811
			// 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(),
812
				epoch_length: EpochDuration::get(),
813
				c: PRIMARY_PROBABILITY,
814
				genesis_authorities: Babe::authorities(),
815
				randomness: Babe::randomness(),
816
				secondary_slots: true,
817
			}
818
		}
819
820
821
822

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

Gavin Wood's avatar
Gavin Wood committed
825
826
827
828
829
830
	impl authority_discovery_primitives::AuthorityDiscoveryApi<Block> for Runtime {
		fn authorities() -> Vec<AuthorityDiscoveryId> {
			AuthorityDiscovery::authorities()
		}
	}

Gavin Wood's avatar
Gavin Wood committed
831
	impl sp_session::SessionKeys<Block> for Runtime {
832
833
834
		fn generate_session_keys(seed: Option<Vec<u8>>) -> Vec<u8> {
			SessionKeys::generate(seed)
		}
Gavin Wood's avatar
Gavin Wood committed
835
836
837
838
839
840

		fn decode_session_keys(
			encoded: Vec<u8>,
		) -> Option<Vec<(Vec<u8>, sp_core::crypto::KeyTypeId)>> {
			SessionKeys::decode_into_raw_public_keys(&encoded)
		}
841
	}
842
843
844
845
846
847

	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
848

849
	impl pallet_transaction_payment_rpc_runtime_api::TransactionPaymentApi<
Kian Paimani's avatar
Kian Paimani committed
850
851
852
853
854
855
856
857
		Block,
		Balance,
		UncheckedExtrinsic,
	> for Runtime {
		fn query_info(uxt: UncheckedExtrinsic, len: u32) -> RuntimeDispatchInfo<Balance> {
			TransactionPayment::query_info(uxt, len)
		}
	}
Gav's avatar
Gav committed
858
}