lib.rs 33.2 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, Perquintill, RuntimeDebug,
38
	transaction_validity::{
39
		TransactionValidity, InvalidTransaction, TransactionValidityError, TransactionSource, TransactionPriority,
40
	},
41
	curve::PiecewiseLinear,
42
43
	traits::{
		BlakeTwo256, Block as BlockT, SignedExtension, OpaqueKeys, ConvertInto, IdentityLookup,
44
		DispatchInfoOf, Extrinsic as ExtrinsicT, SaturatedConversion,
45
	},
Gav Wood's avatar
Gav Wood committed
46
};
47
48
#[cfg(feature = "runtime-benchmarks")]
use sp_runtime::RuntimeString;
Arkadiy Paronyan's avatar
Arkadiy Paronyan committed
49
use version::RuntimeVersion;
50
use grandpa::{AuthorityId as GrandpaId, fg_primitives};
51
52
#[cfg(any(feature = "std", test))]
use version::NativeVersion;
53
54
use sp_core::OpaqueMetadata;
use sp_staking::SessionIndex;
55
use frame_support::{
56
57
	parameter_types, construct_runtime, debug,
	traits::{KeyOwnerProofSystem, SplitTwoWays, Randomness},
Gavin Wood's avatar
Gavin Wood committed
58
};
thiolliere's avatar
thiolliere committed
59
use im_online::sr25519::AuthorityId as ImOnlineId;
Gavin Wood's avatar
Gavin Wood committed
60
use authority_discovery_primitives::AuthorityId as AuthorityDiscoveryId;
Gavin Wood's avatar
Gavin Wood committed
61
use system::offchain::TransactionSubmitter;
Gavin Wood's avatar
Gavin Wood committed
62
use transaction_payment_rpc_runtime_api::RuntimeDispatchInfo;
63
use session::{historical as session_historical};
64

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

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

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

82
83
84
85
/// Runtime version (Kusama).
pub const VERSION: RuntimeVersion = RuntimeVersion {
	spec_name: create_runtime_str!("kusama"),
	impl_name: create_runtime_str!("parity-kusama"),
86
	authoring_version: 2,
87
88
	spec_version: 1058,
	impl_version: 0,
89
90
	apis: RUNTIME_API_VERSIONS,
};
Arkadiy Paronyan's avatar
Arkadiy Paronyan committed
91

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

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

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

113
114
115
116
117
118
119
	fn validate(
		&self,
		_: &Self::AccountId,
		call: &Self::Call,
		_: &DispatchInfoOf<Self::Call>,
		_: usize
	)
Gavin Wood's avatar
Gavin Wood committed
120
		-> TransactionValidity
121
122
	{
		match call {
Gavin Wood's avatar
Gavin Wood committed
123
			Call::Slots(_) | Call::Registrar(_)
124
125
				=> Err(InvalidTransaction::Custom(ValidityError::NoPermission.into()).into()),
			_ => Ok(Default::default()),
126
127
128
129
		}
	}
}

130
parameter_types! {
131
	pub const Version: RuntimeVersion = VERSION;
132
133
}

134
135
impl system::Trait for Runtime {
	type Origin = Origin;
136
	type Call = Call;
Gav Wood's avatar
Gav Wood committed
137
	type Index = Nonce;
138
139
140
141
	type BlockNumber = BlockNumber;
	type Hash = Hash;
	type Hashing = BlakeTwo256;
	type AccountId = AccountId;
142
	type Lookup = IdentityLookup<Self::AccountId>;
143
	type Header = generic::Header<BlockNumber, BlakeTwo256>;
Gav's avatar
Gav committed
144
	type Event = Event;
145
	type BlockHashCount = BlockHashCount;
146
	type MaximumBlockWeight = MaximumBlockWeight;
147
	type DbWeight = ();
148
149
	type MaximumBlockLength = MaximumBlockLength;
	type AvailableBlockRatio = AvailableBlockRatio;
150
	type Version = Version;
151
	type ModuleToIndex = ModuleToIndex;
152
153
	type AccountData = balances::AccountData<Balance>;
	type OnNewAccount = ();
154
	type OnKilledAccount = ();
155
156
}

Gavin Wood's avatar
Gavin Wood committed
157
158
159
160
161
162
163
impl scheduler::Trait for Runtime {
	type Event = Event;
	type Origin = Origin;
	type Call = Call;
	type MaximumWeight = MaximumBlockWeight;
}

164
parameter_types! {
165
	pub const EpochDuration: u64 = EPOCH_DURATION_IN_BLOCKS as u64;
166
167
168
169
170
171
	pub const ExpectedBlockTime: Moment = MILLISECS_PER_BLOCK;
}

impl babe::Trait for Runtime {
	type EpochDuration = EpochDuration;
	type ExpectedBlockTime = ExpectedBlockTime;
172
173
174

	// session module is the trigger
	type EpochChangeTrigger = babe::ExternalTrigger;
175
176
}

Gavin Wood's avatar
Gavin Wood committed
177
178
179
180
parameter_types! {
	pub const IndexDeposit: Balance = 1 * DOLLARS;
}

Gav Wood's avatar
Gav Wood committed
181
182
impl indices::Trait for Runtime {
	type AccountIndex = AccountIndex;
183
184
	type Currency = Balances;
	type Deposit = IndexDeposit;
Gav Wood's avatar
Gav Wood committed
185
186
187
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
188
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
189
	pub const ExistentialDeposit: Balance = 1 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
190
191
192
193
194
}

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

200
impl balances::Trait for Runtime {
Gav's avatar
Gav committed
201
	type Balance = Balance;
202
	type DustRemoval = ();
Gavin Wood's avatar
Gavin Wood committed
203
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
204
	type ExistentialDeposit = ExistentialDeposit;
205
	type AccountStore = System;
206
207
208
209
210
}

parameter_types! {
	pub const TransactionBaseFee: Balance = 1 * CENTS;
	pub const TransactionByteFee: Balance = 10 * MILLICENTS;
211
	// for a sane configuration, this should always be less than `AvailableBlockRatio`.
212
	pub const TargetBlockFullness: Perquintill = Perquintill::from_percent(25);
213
214
215
216
217
}

impl transaction_payment::Trait for Runtime {
	type Currency = Balances;
	type OnTransactionPayment = DealWithFees;
Gavin Wood's avatar
Gavin Wood committed
218
219
	type TransactionBaseFee = TransactionBaseFee;
	type TransactionByteFee = TransactionByteFee;
220
	type WeightToFee = WeightToFee;
221
	type FeeMultiplierUpdate = TargetedFeeAdjustment<TargetBlockFullness, Self>;
Gav's avatar
Gav committed
222
223
}

224
parameter_types! {
225
	pub const MinimumPeriod: u64 = SLOT_DURATION / 2;
226
}
227
impl timestamp::Trait for Runtime {
228
	type Moment = u64;
229
	type OnTimestampSet = Babe;
230
	type MinimumPeriod = MinimumPeriod;
231
232
}

Gavin Wood's avatar
Gavin Wood committed
233
parameter_types! {
234
	pub const UncleGenerations: u32 = 0;
Gavin Wood's avatar
Gavin Wood committed
235
236
237
238
}

// TODO: substrate#2986 implement this properly
impl authorship::Trait for Runtime {
239
	type FindAuthor = session::FindAccountFromAuthorIndex<Self, Babe>;
Gavin Wood's avatar
Gavin Wood committed
240
241
	type UncleGenerations = UncleGenerations;
	type FilterUncle = ();
Gavin Wood's avatar
Gavin Wood committed
242
	type EventHandler = (Staking, ImOnline);
Gavin Wood's avatar
Gavin Wood committed
243
244
}

245
246
247
248
249
250
parameter_types! {
	pub const Period: BlockNumber = 10 * MINUTES;
	pub const Offset: BlockNumber = 0;
}

impl_opaque_keys! {
251
	pub struct SessionKeys {
Gavin Wood's avatar
Gavin Wood committed
252
253
254
255
		pub grandpa: Grandpa,
		pub babe: Babe,
		pub im_online: ImOnline,
		pub parachain_validator: Parachains,
Gavin Wood's avatar
Gavin Wood committed
256
		pub authority_discovery: AuthorityDiscovery,
257
	}
258
259
}

thiolliere's avatar
thiolliere committed
260
261
262
263
parameter_types! {
	pub const DisabledValidatorsThreshold: Perbill = Perbill::from_percent(17);
}

264
impl session::Trait for Runtime {
Gav's avatar
Gav committed
265
	type Event = Event;
266
267
	type ValidatorId = AccountId;
	type ValidatorIdOf = staking::StashOf<Self>;
Gavin Wood's avatar
Gavin Wood committed
268
	type ShouldEndSession = Babe;
269
	type NextSessionRotation = Babe;
Gavin Wood's avatar
Gavin Wood committed
270
271
272
	type SessionManager = Staking;
	type SessionHandler = <SessionKeys as OpaqueKeys>::KeyTypeIdProviders;
	type Keys = SessionKeys;
thiolliere's avatar
thiolliere committed
273
	type DisabledValidatorsThreshold = DisabledValidatorsThreshold;
274
275
276
277
}

impl session::historical::Trait for Runtime {
	type FullIdentification = staking::Exposure<AccountId, Balance>;
278
	type FullIdentificationOf = staking::ExposureOf<Runtime>;
279
280
}

281
pallet_staking_reward_curve::build! {
thiolliere's avatar
thiolliere committed
282
283
284
285
286
287
288
289
290
291
	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,
	);
}

292
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
293
	// Six sessions in an era (6 hours).
294
	pub const SessionsPerEra: SessionIndex = 6;
Gavin Wood's avatar
Gavin Wood committed
295
	// 28 eras for unbonding (7 days).
Gavin Wood's avatar
Gavin Wood committed
296
	pub const BondingDuration: staking::EraIndex = 28;
Gavin Wood's avatar
Gavin Wood committed
297
	// 28 eras in which slashes can be cancelled (7 days).
Gavin Wood's avatar
Gavin Wood committed
298
	pub const SlashDeferDuration: staking::EraIndex = 28;
thiolliere's avatar
thiolliere committed
299
	pub const RewardCurve: &'static PiecewiseLinear<'static> = &REWARD_CURVE;
Gavin Wood's avatar
Gavin Wood committed
300
	pub const MaxNominatorRewardedPerValidator: u32 = 64;
301
302
	// quarter of the last session will be for election.
	pub const ElectionLookahead: BlockNumber = EPOCH_DURATION_IN_BLOCKS / 4;
303
}
304

305
impl staking::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
306
	type Currency = Balances;
307
	type UnixTime = Timestamp;
308
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
309
	type RewardRemainder = Treasury;
Gav's avatar
Gav committed
310
	type Event = Event;
311
	type Slash = Treasury;
312
	type Reward = ();
313
314
	type SessionsPerEra = SessionsPerEra;
	type BondingDuration = BondingDuration;
Gavin Wood's avatar
Gavin Wood committed
315
	type SlashDeferDuration = SlashDeferDuration;
Gavin Wood's avatar
Gavin Wood committed
316
317
	// A majority of the council can cancel the slash.
	type SlashCancelOrigin = collective::EnsureProportionAtLeast<_1, _2, AccountId, CouncilCollective>;
318
	type SessionInterface = Self;
thiolliere's avatar
thiolliere committed
319
	type RewardCurve = RewardCurve;
Gavin Wood's avatar
Gavin Wood committed
320
	type MaxNominatorRewardedPerValidator = MaxNominatorRewardedPerValidator;
321
322
323
324
	type NextNewSession = Session;
	type ElectionLookahead = ElectionLookahead;
	type Call = Call;
	type SubmitTransaction = TransactionSubmitter<(), Runtime, UncheckedExtrinsic>;
325
	type UnsignedPriority = StakingUnsignedPriority;
326
327
}

328
parameter_types! {
329
330
	pub const LaunchPeriod: BlockNumber = 7 * DAYS;
	pub const VotingPeriod: BlockNumber = 7 * DAYS;
331
	pub const FastTrackVotingPeriod: BlockNumber = 3 * HOURS;
Gavin Wood's avatar
Gavin Wood committed
332
	pub const MinimumDeposit: Balance = 1 * DOLLARS;
333
334
	pub const EnactmentPeriod: BlockNumber = 8 * DAYS;
	pub const CooloffPeriod: BlockNumber = 7 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
335
	// One cent: $10,000 / MB
Gavin Wood's avatar
Gavin Wood committed
336
	pub const PreimageByteDeposit: Balance = 10 * MILLICENTS;
337
	pub const InstantAllowed: bool = true;
338
339
}

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

372
373
374
375
parameter_types! {
	pub const CouncilMotionDuration: BlockNumber = 3 * DAYS;
}

376
377
type CouncilCollective = collective::Instance1;
impl collective::Trait<CouncilCollective> for Runtime {
378
379
380
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
381
	type MotionDuration = CouncilMotionDuration;
382
383
}

Gavin Wood's avatar
Gavin Wood committed
384
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
385
386
	pub const CandidacyBond: Balance = 1 * DOLLARS;
	pub const VotingBond: Balance = 5 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
387
388
	/// Daily council elections.
	pub const TermDuration: BlockNumber = 24 * HOURS;
Kian Paimani's avatar
Kian Paimani committed
389
390
	pub const DesiredMembers: u32 = 13;
	pub const DesiredRunnersUp: u32 = 7;
391
392
393
}

impl elections_phragmen::Trait for Runtime {
394
	type Event = Event;
395
396
	type Currency = Balances;
	type ChangeMembers = Council;
397
	type InitializeMembers = Council;
398
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
399
400
	type CandidacyBond = CandidacyBond;
	type VotingBond = VotingBond;
401
402
403
	type LoserCandidate = Treasury;
	type BadReport = Treasury;
	type KickedMember = Treasury;
Gavin Wood's avatar
Gavin Wood committed
404
405
406
	type DesiredMembers = DesiredMembers;
	type DesiredRunnersUp = DesiredRunnersUp;
	type TermDuration = TermDuration;
407
408
}

409
410
411
412
parameter_types! {
	pub const TechnicalMotionDuration: BlockNumber = 3 * DAYS;
}

413
414
type TechnicalCollective = collective::Instance2;
impl collective::Trait<TechnicalCollective> for Runtime {
415
416
417
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
418
	type MotionDuration = TechnicalMotionDuration;
419
420
}

421
422
423
424
425
426
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>;
427
	type PrimeOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
428
429
430
431
	type MembershipInitialized = TechnicalCommittee;
	type MembershipChanged = TechnicalCommittee;
}

Gavin Wood's avatar
Gavin Wood committed
432
433
parameter_types! {
	pub const ProposalBond: Permill = Permill::from_percent(5);
Gavin Wood's avatar
Gavin Wood committed
434
	pub const ProposalBondMinimum: Balance = 20 * DOLLARS;
435
	pub const SpendPeriod: BlockNumber = 6 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
436
	pub const Burn: Permill = Permill::from_percent(0);
Gavin Wood's avatar
Gavin Wood committed
437
438
439
440
441

	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
442
443
}

444
impl treasury::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
445
	type Currency = Balances;
446
	type ApproveOrigin = collective::EnsureProportionAtLeast<_3, _5, AccountId, CouncilCollective>;
447
	type RejectOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
Gavin Wood's avatar
Gavin Wood committed
448
449
450
451
452
	type Tippers = ElectionsPhragmen;
	type TipCountdown = TipCountdown;
	type TipFindersFee = TipFindersFee;
	type TipReportDepositBase = TipReportDepositBase;
	type TipReportDepositPerByte = TipReportDepositPerByte;
453
	type Event = Event;
454
	type ProposalRejection = Treasury;
Gavin Wood's avatar
Gavin Wood committed
455
456
457
458
	type ProposalBond = ProposalBond;
	type ProposalBondMinimum = ProposalBondMinimum;
	type SpendPeriod = SpendPeriod;
	type Burn = Burn;
459
}
460

461
462
463
464
465
466
impl offences::Trait for Runtime {
	type Event = Event;
	type IdentificationTuple = session::historical::IdentificationTuple<Self>;
	type OnOffenceHandler = Staking;
}

Gavin Wood's avatar
Gavin Wood committed
467
468
impl authority_discovery::Trait for Runtime {}

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

471
472
473
474
parameter_types! {
	pub const SessionDuration: BlockNumber = EPOCH_DURATION_IN_BLOCKS as _;
}

475
476
477
478
479
parameter_types! {
	pub const StakingUnsignedPriority: TransactionPriority = TransactionPriority::max_value() / 2;
	pub const ImOnlineUnsignedPriority: TransactionPriority = TransactionPriority::max_value();
}

480
impl im_online::Trait for Runtime {
thiolliere's avatar
thiolliere committed
481
	type AuthorityId = ImOnlineId;
482
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
483
484
	type Call = Call;
	type SubmitTransaction = SubmitTransaction;
485
	type ReportUnresponsiveness = Offences;
486
	type SessionDuration = SessionDuration;
487
	type UnsignedPriority = StakingUnsignedPriority;
488
489
}

490
491
492
493
impl grandpa::Trait for Runtime {
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
494
495
496
497
498
499
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 {
500
	type OnFinalizationStalled = ();
Gavin Wood's avatar
Gavin Wood committed
501
502
503
504
	type WindowSize = WindowSize;
	type ReportLatency = ReportLatency;
}

505
506
507
508
parameter_types! {
	pub const AttestationPeriod: BlockNumber = 50;
}

509
510
511
impl attestations::Trait for Runtime {
	type AttestationPeriod = AttestationPeriod;
	type ValidatorIdentities = parachains::ValidatorIdentities<Runtime>;
512
	type RewardAttestation = Staking;
513
514
}

515
516
517
parameter_types! {
	pub const MaxCodeSize: u32 = 10 * 1024 * 1024; // 10 MB
	pub const MaxHeadDataSize: u32 = 20 * 1024; // 20 KB
518
519
520
	pub const ValidationUpgradeFrequency: BlockNumber = 2 * DAYS;
	pub const ValidationUpgradeDelay: BlockNumber = 8 * HOURS;
	pub const SlashPeriod: BlockNumber = 7 * DAYS;
521
522
}

523
524
525
impl parachains::Trait for Runtime {
	type Origin = Origin;
	type Call = Call;
526
	type ParachainCurrency = Balances;
527
	type BlockNumberConversion = sp_runtime::traits::Identity;
528
	type Randomness = RandomnessCollectiveFlip;
529
530
	type ActiveParachains = Registrar;
	type Registrar = Registrar;
531
532
	type MaxCodeSize = MaxCodeSize;
	type MaxHeadDataSize = MaxHeadDataSize;
533
534
535
536
537

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

538
539
540
541
	type Proof = session::historical::Proof;
	type KeyOwnerProofSystem = session::historical::Module<Self>;
	type IdentificationTuple = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(KeyTypeId, Vec<u8>)>>::IdentificationTuple;
	type ReportOffence = Offences;
542
	type BlockHashConversion = sp_runtime::traits::Identity;
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
	type SubmitSignedTransaction = TransactionSubmitter<parachain::FishermanId, Runtime, UncheckedExtrinsic>;
}

impl system::offchain::CreateTransaction<Runtime, UncheckedExtrinsic> for Runtime {
	type Public = <primitives::Signature as sp_runtime::traits::Verify>::Signer;
	type Signature = primitives::Signature;

	fn create_transaction<TSigner: system::offchain::Signer<Self::Public, Self::Signature>>(
		call: <UncheckedExtrinsic as ExtrinsicT>::Call,
		public: Self::Public,
		account: <Runtime as system::Trait>::AccountId,
		nonce: <Runtime as system::Trait>::Index,
	) -> Option<(Call, <UncheckedExtrinsic as ExtrinsicT>::SignaturePayload)> {
		let period = BlockHashCount::get()
			.checked_next_power_of_two()
			.map(|c| c / 2)
			.unwrap_or(2) as u64;

		let current_block = System::block_number()
			.saturated_into::<u64>()
			.saturating_sub(1);
		let tip = 0;
		let extra: SignedExtra = (
			RestrictFunctionality,
			system::CheckVersion::<Runtime>::new(),
			system::CheckGenesis::<Runtime>::new(),
			system::CheckEra::<Runtime>::from(generic::Era::mortal(period, current_block)),
			system::CheckNonce::<Runtime>::from(nonce),
			system::CheckWeight::<Runtime>::new(),
			transaction_payment::ChargeTransactionPayment::<Runtime>::from(tip),
			registrar::LimitParathreadCommits::<Runtime>::new(),
			parachains::ValidateDoubleVoteReports::<Runtime>::new(),
		);
		let raw_payload = SignedPayload::new(call, extra).map_err(|e| {
			debug::warn!("Unable to create signed payload: {:?}", e)
		}).ok()?;
		let signature = TSigner::sign(public, &raw_payload)?;
		let (call, extra, _) = raw_payload.deconstruct();
		Some((call, (account, signature, extra)))
	}
583
584
585
}

parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
586
	pub const ParathreadDeposit: Balance = 5 * DOLLARS;
587
588
589
590
591
592
593
594
595
596
597
598
	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;
599
}
600

Gavin Wood's avatar
Gavin Wood committed
601
parameter_types! {
602
	pub const LeasePeriod: BlockNumber = 100_000;
Gavin Wood's avatar
Gavin Wood committed
603
604
605
606
607
	pub const EndingPeriod: BlockNumber = 1000;
}

impl slots::Trait for Runtime {
	type Event = Event;
608
609
	type Currency = Balances;
	type Parachains = Registrar;
Gavin Wood's avatar
Gavin Wood committed
610
611
	type LeasePeriod = LeasePeriod;
	type EndingPeriod = EndingPeriod;
612
	type Randomness = RandomnessCollectiveFlip;
Gavin Wood's avatar
Gavin Wood committed
613
614
}

Gavin Wood's avatar
Gavin Wood committed
615
parameter_types! {
616
617
618
619
620
	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
621
	type VestingSchedule = Vesting;
622
623
624
	type Prefix = Prefix;
}

625
parameter_types! {
626
	// Minimum 100 bytes/KSM deposited (1 CENT/byte)
Gavin Wood's avatar
Gavin Wood committed
627
628
629
	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
630
631
	pub const MaxSubAccounts: u32 = 100;
	pub const MaxAdditionalFields: u32 = 100;
632
633
634
635
636
637
638
639
640
}

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
641
642
	type MaxSubAccounts = MaxSubAccounts;
	type MaxAdditionalFields = MaxAdditionalFields;
643
644
645
646
	type RegistrarOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
	type ForceOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
}

Gavin Wood's avatar
Gavin Wood committed
647
648
parameter_types! {
	// One storage item; value is size 4+4+16+32 bytes = 56 bytes.
Gavin Wood's avatar
Gavin Wood committed
649
	pub const MultisigDepositBase: Balance = 30 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
650
	// Additional storage item size of 32 bytes.
Gavin Wood's avatar
Gavin Wood committed
651
	pub const MultisigDepositFactor: Balance = 5 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
652
653
654
655
656
657
658
659
660
661
662
663
	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;
}

664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
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;
}

707
708
709
710
parameter_types! {
	pub const MinVestedTransfer: Balance = 100 * DOLLARS;
}

Gavin Wood's avatar
Gavin Wood committed
711
712
713
714
impl vesting::Trait for Runtime {
	type Event = Event;
	type Currency = Balances;
	type BlockNumberToBalance = ConvertInto;
715
	type MinVestedTransfer = MinVestedTransfer;
Gavin Wood's avatar
Gavin Wood committed
716
717
}

Gavin Wood's avatar
Gavin Wood committed
718
construct_runtime! {
719
	pub enum Runtime where
720
		Block = Block,
721
		NodeBlock = primitives::Block,
722
		UncheckedExtrinsic = UncheckedExtrinsic
723
	{
724
		// Basic stuff; balances is uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
725
		System: system::{Module, Call, Storage, Config, Event<T>},
Ashley's avatar
Ashley committed
726
		RandomnessCollectiveFlip: randomness_collective_flip::{Module, Storage},
727
728

		// Must be before session.
729
		Babe: babe::{Module, Call, Storage, Config, Inherent(Timestamp)},
730
731

		Timestamp: timestamp::{Module, Call, Storage, Inherent},
Gavin Wood's avatar
Gavin Wood committed
732
		Indices: indices::{Module, Call, Storage, Config<T>, Event<T>},
733
		Balances: balances::{Module, Call, Storage, Config<T>, Event<T>},
734
		TransactionPayment: transaction_payment::{Module, Storage},
735
736
737

		// Consensus support.
		Authorship: authorship::{Module, Call, Storage},
Kian Paimani's avatar
Kian Paimani committed
738
		Staking: staking::{Module, Call, Storage, Config<T>, Event<T>, ValidateUnsigned},
739
		Offences: offences::{Module, Call, Storage, Event},
740
		Historical: session_historical::{Module},
741
		Session: session::{Module, Call, Storage, Event, Config<T>},
742
		FinalityTracker: finality_tracker::{Module, Call, Storage, Inherent},
743
		Grandpa: grandpa::{Module, Call, Storage, Config, Event},
thiolliere's avatar
thiolliere committed
744
		ImOnline: im_online::{Module, Call, Storage, Event<T>, ValidateUnsigned, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
745
		AuthorityDiscovery: authority_discovery::{Module, Call, Config},
746
747

		// Governance stuff; uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
748
		Democracy: democracy::{Module, Call, Storage, Config, Event<T>},
749
750
		Council: collective::<Instance1>::{Module, Call, Storage, Origin<T>, Event<T>, Config<T>},
		TechnicalCommittee: collective::<Instance2>::{Module, Call, Storage, Origin<T>, Event<T>, Config<T>},
751
		ElectionsPhragmen: elections_phragmen::{Module, Call, Storage, Event<T>, Config<T>},
752
		TechnicalMembership: membership::<Instance1>::{Module, Call, Storage, Event<T>, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
753
		Treasury: treasury::{Module, Call, Storage, Event<T>},
754
755
756
757
758
759

		// 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.
760
		Parachains: parachains::{Module, Call, Storage, Config, Inherent, Origin},
761
		Attestations: attestations::{Module, Call, Storage},
Gavin Wood's avatar
Gavin Wood committed
762
		Slots: slots::{Module, Call, Storage, Event<T>},
763
		Registrar: registrar::{Module, Call, Storage, Event, Config<T>},
764

765
766
		// Utility module.
		Utility: utility::{Module, Call, Storage, Event<T>},
767
768
769

		// Less simple identity module.
		Identity: identity::{Module, Call, Storage, Event<T>},
770
771
772
773
774
775

		// 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
776
777
778

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

		// System scheduler.
		Scheduler: scheduler::{Module, Call, Storage, Event<T>},
Gav's avatar
Gav committed
782
	}
Gavin Wood's avatar
Gavin Wood committed
783
}
784
785

/// The address format for describing accounts.
786
pub type Address = AccountId;
787
/// Block header type as expected by this runtime.
788
pub type Header = generic::Header<BlockNumber, BlakeTwo256>;
789
790
791
792
793
794
/// 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>;
795
796
/// The SignedExtension to the basic transaction logic.
pub type SignedExtra = (
797
	RestrictFunctionality,
798
	system::CheckVersion<Runtime>,
799
	system::CheckGenesis<Runtime>,
800
801
802
	system::CheckEra<Runtime>,
	system::CheckNonce<Runtime>,
	system::CheckWeight<Runtime>,
803
	transaction_payment::ChargeTransactionPayment::<Runtime>,
804
805
	registrar::LimitParathreadCommits<Runtime>,
	parachains::ValidateDoubleVoteReports<Runtime>,
806
);
807
/// Unchecked extrinsic type as expected by this runtime.
808
pub type UncheckedExtrinsic = generic::UncheckedExtrinsic<Address, Call, Signature, SignedExtra>;
809
/// Extrinsic type that has already been checked.
Gav Wood's avatar
Gav Wood committed
810
pub type CheckedExtrinsic = generic::CheckedExtrinsic<AccountId, Nonce, Call>;
811
/// Executive: handles dispatch to the various modules.
812
pub type Executive = executive::Executive<Runtime, Block, system::ChainContext<Runtime>, Runtime, AllModules>;
813
814
/// The payload being signed in the transactions.
pub type SignedPayload = generic::SignedPayload<Call, SignedExtra>;
815

816
817
sp_api::impl_runtime_apis! {
	impl sp_api::Core<Block> for Runtime {
818
819
820
821
822
823
824
		fn version() -> RuntimeVersion {
			VERSION
		}

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

826
827
		fn initialize_block(header: &<Block as BlockT>::Header) {
			Executive::initialize_block(header)
828
829
		}
	}
Gav's avatar
Gav committed
830

831
	impl sp_api::Metadata<Block> for Runtime {
832
833
834
		fn metadata() -> OpaqueMetadata {
			Runtime::metadata().into()
		}
Gav's avatar
Gav committed
835
836
	}

837
	impl block_builder_api::BlockBuilder<Block> for Runtime {
838
		fn apply_extrinsic(extrinsic: <Block as BlockT>::Extrinsic) -> ApplyExtrinsicResult {
839
840
841
			Executive::apply_extrinsic(extrinsic)
		}

842
843
		fn finalize_block() -> <Block as BlockT>::Header {
			Executive::finalize_block()
844
		}
845

Gavin Wood's avatar
Gavin Wood committed
846
		fn inherent_extrinsics(data: inherents::InherentData) -> Vec<<Block as BlockT>::Extrinsic> {
847
			data.create_extrinsics()
848
		}
849

Gavin Wood's avatar
Gavin Wood committed
850
851
852
853
		fn check_inherents(
			block: Block,
			data: inherents::InherentData,
		) -> inherents::CheckInherentsResult {
854
			data.check_extrinsics(&block)
855
		}
856

857
		fn random_seed() -> <Block as BlockT>::Hash {
Ashley's avatar
Ashley committed
858
			RandomnessCollectiveFlip::random_seed()
859
		}
860
861
	}

862
	impl tx_pool_api::runtime_api::TaggedTransactionQueue<Block> for Runtime {
863
864
865
866
867
		fn validate_transaction(
			source: TransactionSource,
			tx: <Block as BlockT>::Extrinsic,
		) -> TransactionValidity {
			Executive::validate_transaction(source, tx)
868
		}
Gav's avatar
Gav committed
869
	}
870

871
	impl offchain_primitives::OffchainWorkerApi<Block> for Runtime {
872
873
		fn offchain_worker(header: &<Block as BlockT>::Header) {
			Executive::offchain_worker(header)
874
875
876
		}
	}

877
	impl parachain::ParachainHost<Block> for Runtime {
Gav Wood's avatar
Gav Wood committed
878
		fn validators() -> Vec<parachain::ValidatorId> {
879
			Parachains::authorities()
880
881
		}
		fn duty_roster() -> parachain::DutyRoster {
882
			Parachains::calculate_duty_roster().0
883
		}
884
885
		fn active_parachains() -> Vec<(parachain::Id, Option<(parachain::CollatorId, parachain::Retriable)>)> {
			Registrar::active_paras()
886
		}
887
888
889
890
		fn global_validation_schedule() -> parachain::GlobalValidationSchedule {
			Parachains::global_validation_schedule()
		}
		fn local_validation_data(id: parachain::Id) -> Option<parachain::LocalValidationData> {
891
			Parachains::current_local_validation_data(&id)
892
		}
893
		fn parachain_code(id: parachain::Id) -> Option<parachain::ValidationCode> {
894
895
			Parachains::parachain_code(&id)
		}
896
897
898
		fn get_heads(extrinsics: Vec<<Block as BlockT>::Extrinsic>)
			-> Option<Vec<AbridgedCandidateReceipt>>
		{
899
900
901
902
903
904
905
906
907
908
909
910
			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,
				})
		}
911
912