lib.rs 27.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 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, CandidateReceipt}, ValidityError,
29
};
30
31
32
33
34
35
use runtime_common::{attestations, claims, parachains, registrar, slots,
	impls::{CurrencyToVoteHandler, TargetedFeeAdjustment, ToAuthor, WeightToFee},
	NegativeImbalance, BlockHashCount, MaximumBlockWeight, AvailableBlockRatio,
	MaximumBlockLength,
};

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

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

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

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

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

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

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

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

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

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

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

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

impl babe::Trait for Runtime {
	type EpochDuration = EpochDuration;
	type ExpectedBlockTime = ExpectedBlockTime;
149
150
151

	// session module is the trigger
	type EpochChangeTrigger = babe::ExternalTrigger;
152
153
}

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

Gav Wood's avatar
Gav Wood committed
158
159
160
impl indices::Trait for Runtime {
	type AccountIndex = AccountIndex;
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
161
162
	type IsDeadAccount = Balances;
	type ResolveHint = indices::SimpleResolveHint<Self::AccountId, Self::AccountIndex>;
Gav Wood's avatar
Gav Wood committed
163
164
}

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

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

178
impl balances::Trait for Runtime {
Gav's avatar
Gav committed
179
	type Balance = Balance;
180
	type DustRemoval = ();
Gavin Wood's avatar
Gavin Wood committed
181
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
182
	type ExistentialDeposit = ExistentialDeposit;
Gavin Wood's avatar
Gavin Wood committed
183
184
185
	type OnReapAccount = (Staking, Session, Democracy);
	type OnNewAccount = ();
	type TransferPayment = ();
Gavin Wood's avatar
Gavin Wood committed
186
	type CreationFee = CreationFee;
187
188
189
190
191
}

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

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

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

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

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

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

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

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

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

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

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

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

282
impl staking::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
283
284
	type Currency = Balances;
	type Time = Timestamp;
285
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
286
	type RewardRemainder = Treasury;
Gav's avatar
Gav committed
287
	type Event = Event;
288
	type Slash = Treasury;
289
	type Reward = ();
290
291
	type SessionsPerEra = SessionsPerEra;
	type BondingDuration = BondingDuration;
Gavin Wood's avatar
Gavin Wood committed
292
	type SlashDeferDuration = SlashDeferDuration;
Gavin Wood's avatar
Gavin Wood committed
293
294
	// A majority of the council can cancel the slash.
	type SlashCancelOrigin = collective::EnsureProportionAtLeast<_1, _2, AccountId, CouncilCollective>;
295
	type SessionInterface = Self;
thiolliere's avatar
thiolliere committed
296
	type RewardCurve = RewardCurve;
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,
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.
Gav Wood's avatar
Gav Wood committed
672
pub type Address = <Indices as StaticLookup>::Source;
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
		fn finalize_block() -> <Block as BlockT>::Header {
			Executive::finalize_block()
727
		}
728

Gavin Wood's avatar
Gavin Wood committed
729
		fn inherent_extrinsics(data: inherents::InherentData) -> Vec<<Block as BlockT>::Extrinsic> {
730
			data.create_extrinsics()
731
		}
732

Gavin Wood's avatar
Gavin Wood committed
733
734
735
736
		fn check_inherents(
			block: Block,
			data: inherents::InherentData,
		) -> inherents::CheckInherentsResult {
737
			data.check_extrinsics(&block)
738
		}
739

740
		fn random_seed() -> <Block as BlockT>::Hash {
Ashley's avatar
Ashley committed
741
			RandomnessCollectiveFlip::random_seed()
742
		}
743
744
	}

745
	impl tx_pool_api::runtime_api::TaggedTransactionQueue<Block> for Runtime {
746
747
748
		fn validate_transaction(tx: <Block as BlockT>::Extrinsic) -> TransactionValidity {
			Executive::validate_transaction(tx)
		}
Gav's avatar
Gav committed
749
	}
750

751
	impl offchain_primitives::OffchainWorkerApi<Block> for Runtime {
752
753
		fn offchain_worker(header: &<Block as BlockT>::Header) {
			Executive::offchain_worker(header)
754
755
756
		}
	}

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

	impl fg_primitives::GrandpaApi<Block> for Runtime {
789
		fn grandpa_authorities() -> Vec<(GrandpaId, u64)> {
790
791
792
793
			Grandpa::grandpa_authorities()
		}
	}

794
	impl babe_primitives::BabeApi<Block> for Runtime {
795
		fn configuration() -> babe_primitives::BabeConfiguration {
796
797
798
799
800
801
802
			// 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(),
803
				epoch_length: EpochDuration::get(),
804
				c: PRIMARY_PROBABILITY,
805
				genesis_authorities: Babe::authorities(),
806
				randomness: Babe::randomness(),
807
				secondary_slots: true,
808
			}
809
810
811
		}
	}

Gavin Wood's avatar
Gavin Wood committed
812
813
814
815
816
817
	impl authority_discovery_primitives::AuthorityDiscoveryApi<Block> for Runtime {
		fn authorities() -> Vec<AuthorityDiscoveryId> {
			AuthorityDiscovery::authorities()
		}
	}

Gavin Wood's avatar
Gavin Wood committed
818
	impl sp_session::SessionKeys<Block> for Runtime {
819
820
821
		fn generate_session_keys(seed: Option<Vec<u8>>) -> Vec<u8> {
			SessionKeys::generate(seed)
		}
Gavin Wood's avatar
Gavin Wood committed
822
823
824
825
826
827

		fn decode_session_keys(
			encoded: Vec<u8>,
		) -> Option<Vec<(Vec<u8>, sp_core::crypto::KeyTypeId)>> {
			SessionKeys::decode_into_raw_public_keys(&encoded)
		}
828
	}
829
830
831
832
833
834

	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
835

836
	impl pallet_transaction_payment_rpc_runtime_api::TransactionPaymentApi<
Kian Paimani's avatar
Kian Paimani committed
837
838
839
840
841
842
843
844
		Block,
		Balance,
		UncheckedExtrinsic,
	> for Runtime {
		fn query_info(uxt: UncheckedExtrinsic, len: u32) -> RuntimeDispatchInfo<Balance> {
			TransactionPayment::query_info(uxt, len)
		}
	}
Gav's avatar
Gav committed
845
}