lib.rs 40.4 KB
Newer Older
Shawn Tabrizi's avatar
Shawn Tabrizi committed
1
// Copyright 2017-2020 Parity Technologies (UK) Ltd.
Gav's avatar
Gav committed
2
3
4
5
6
7
8
9
10
11
12
13
14
// 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
15
// along with Polkadot. If not, see <http://www.gnu.org/licenses/>.
Gav's avatar
Gav committed
16

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,
Gavin Wood's avatar
Gavin Wood committed
28
	parachain::{self, ActiveParas, AbridgedCandidateReceipt, SigningContext},
29
};
30
31
32
use runtime_common::{
	attestations, claims, parachains, registrar, slots, SlowAdjustingFeeUpdate,
	impls::{CurrencyToVoteHandler, ToAuthor},
33
	NegativeImbalance, BlockHashCount, MaximumBlockWeight, AvailableBlockRatio,
34
	MaximumBlockLength, BlockExecutionWeight, ExtrinsicBaseWeight, RocksDbWeight,
35
	MaximumExtrinsicWeight,
36
};
37
use sp_runtime::{
38
	create_runtime_str, generic, impl_opaque_keys, ModuleId,
39
	ApplyExtrinsicResult, KeyTypeId, Percent, Permill, Perbill,
Gavin Wood's avatar
Gavin Wood committed
40
	transaction_validity::{TransactionValidity, TransactionSource, TransactionPriority},
41
	curve::PiecewiseLinear,
42
	traits::{
Gavin Wood's avatar
Gavin Wood committed
43
44
		BlakeTwo256, Block as BlockT, OpaqueKeys, ConvertInto, IdentityLookup,
		Extrinsic as ExtrinsicT, SaturatedConversion, Verify,
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, RuntimeDebug,
	traits::{KeyOwnerProofSystem, SplitTwoWays, Randomness, LockIdentifier, Filter, InstanceFilter},
58
	weights::Weight,
Gavin Wood's avatar
Gavin Wood committed
59
};
Gavin Wood's avatar
Gavin Wood committed
60
use system::{EnsureRoot, EnsureOneOf};
thiolliere's avatar
thiolliere committed
61
use im_online::sr25519::AuthorityId as ImOnlineId;
Gavin Wood's avatar
Gavin Wood committed
62
use authority_discovery_primitives::AuthorityId as AuthorityDiscoveryId;
Gavin Wood's avatar
Gavin Wood committed
63
use transaction_payment_rpc_runtime_api::RuntimeDispatchInfo;
64
use session::{historical as session_historical};
65
use static_assertions::const_assert;
66

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

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

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

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

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

104
/// Avoid processing transactions from slots and parachain registrar.
105
106
pub struct BaseFilter;
impl Filter<Call> for BaseFilter {
Gavin Wood's avatar
Gavin Wood committed
107
108
	fn filter(call: &Call) -> bool {
		!matches!(call, Call::Slots(_) | Call::Registrar(_))
109
110
111
	}
}

Gavin Wood's avatar
Gavin Wood committed
112
113
114
115
116
117
type MoreThanHalfCouncil = EnsureOneOf<
	AccountId,
	EnsureRoot<AccountId>,
	collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>
>;

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

122
impl system::Trait for Runtime {
123
	type BaseCallFilter = BaseFilter;
124
	type Origin = Origin;
125
	type Call = Call;
Gav Wood's avatar
Gav Wood committed
126
	type Index = Nonce;
127
128
129
130
	type BlockNumber = BlockNumber;
	type Hash = Hash;
	type Hashing = BlakeTwo256;
	type AccountId = AccountId;
131
	type Lookup = IdentityLookup<Self::AccountId>;
132
	type Header = generic::Header<BlockNumber, BlakeTwo256>;
Gav's avatar
Gav committed
133
	type Event = Event;
134
	type BlockHashCount = BlockHashCount;
135
	type MaximumBlockWeight = MaximumBlockWeight;
136
	type DbWeight = RocksDbWeight;
137
138
	type BlockExecutionWeight = BlockExecutionWeight;
	type ExtrinsicBaseWeight = ExtrinsicBaseWeight;
Tomasz Drwięga's avatar
Tomasz Drwięga committed
139
	type MaximumExtrinsicWeight = MaximumExtrinsicWeight;
140
141
	type MaximumBlockLength = MaximumBlockLength;
	type AvailableBlockRatio = AvailableBlockRatio;
142
	type Version = Version;
143
	type ModuleToIndex = ModuleToIndex;
144
145
	type AccountData = balances::AccountData<Balance>;
	type OnNewAccount = ();
146
	type OnKilledAccount = ();
147
148
}

Gavin Wood's avatar
Gavin Wood committed
149
150
151
152
153
154
155
impl scheduler::Trait for Runtime {
	type Event = Event;
	type Origin = Origin;
	type Call = Call;
	type MaximumWeight = MaximumBlockWeight;
}

156
parameter_types! {
157
	pub const EpochDuration: u64 = EPOCH_DURATION_IN_BLOCKS as u64;
158
159
160
161
162
163
	pub const ExpectedBlockTime: Moment = MILLISECS_PER_BLOCK;
}

impl babe::Trait for Runtime {
	type EpochDuration = EpochDuration;
	type ExpectedBlockTime = ExpectedBlockTime;
164
165
166

	// session module is the trigger
	type EpochChangeTrigger = babe::ExternalTrigger;
167
168
}

Gavin Wood's avatar
Gavin Wood committed
169
170
171
172
parameter_types! {
	pub const IndexDeposit: Balance = 1 * DOLLARS;
}

Gav Wood's avatar
Gav Wood committed
173
174
impl indices::Trait for Runtime {
	type AccountIndex = AccountIndex;
175
176
	type Currency = Balances;
	type Deposit = IndexDeposit;
Gav Wood's avatar
Gav Wood committed
177
178
179
	type Event = Event;
}

Gavin Wood's avatar
Gavin Wood committed
180
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
181
	pub const ExistentialDeposit: Balance = 1 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
182
183
184
185
186
}

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

192
impl balances::Trait for Runtime {
Gav's avatar
Gav committed
193
	type Balance = Balance;
194
	type DustRemoval = ();
Gavin Wood's avatar
Gavin Wood committed
195
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
196
	type ExistentialDeposit = ExistentialDeposit;
197
	type AccountStore = System;
198
199
200
201
202
203
204
205
206
}

parameter_types! {
	pub const TransactionByteFee: Balance = 10 * MILLICENTS;
}

impl transaction_payment::Trait for Runtime {
	type Currency = Balances;
	type OnTransactionPayment = DealWithFees;
Gavin Wood's avatar
Gavin Wood committed
207
	type TransactionByteFee = TransactionByteFee;
208
	type WeightToFee = WeightToFee;
209
	type FeeMultiplierUpdate = SlowAdjustingFeeUpdate<Self>;
Gav's avatar
Gav committed
210
211
}

212
parameter_types! {
213
	pub const MinimumPeriod: u64 = SLOT_DURATION / 2;
214
}
215
impl timestamp::Trait for Runtime {
216
	type Moment = u64;
217
	type OnTimestampSet = Babe;
218
	type MinimumPeriod = MinimumPeriod;
219
220
}

Gavin Wood's avatar
Gavin Wood committed
221
parameter_types! {
222
	pub const UncleGenerations: u32 = 0;
Gavin Wood's avatar
Gavin Wood committed
223
224
225
226
}

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

233
234
235
236
237
238
parameter_types! {
	pub const Period: BlockNumber = 10 * MINUTES;
	pub const Offset: BlockNumber = 0;
}

impl_opaque_keys! {
239
	pub struct SessionKeys {
Gavin Wood's avatar
Gavin Wood committed
240
241
242
243
		pub grandpa: Grandpa,
		pub babe: Babe,
		pub im_online: ImOnline,
		pub parachain_validator: Parachains,
Gavin Wood's avatar
Gavin Wood committed
244
		pub authority_discovery: AuthorityDiscovery,
245
	}
246
247
}

thiolliere's avatar
thiolliere committed
248
249
250
251
parameter_types! {
	pub const DisabledValidatorsThreshold: Perbill = Perbill::from_percent(17);
}

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

impl session::historical::Trait for Runtime {
	type FullIdentification = staking::Exposure<AccountId, Balance>;
266
	type FullIdentificationOf = staking::ExposureOf<Runtime>;
267
268
}

269
pallet_staking_reward_curve::build! {
thiolliere's avatar
thiolliere committed
270
271
272
273
274
275
276
277
278
279
	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,
	);
}

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

Gavin Wood's avatar
Gavin Wood committed
295
296
297
298
299
300
type SlashCancelOrigin = EnsureOneOf<
	AccountId,
	EnsureRoot<AccountId>,
	collective::EnsureProportionAtLeast<_1, _2, AccountId, CouncilCollective>
>;

301
impl staking::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
302
	type Currency = Balances;
303
	type UnixTime = Timestamp;
304
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
305
	type RewardRemainder = Treasury;
Gav's avatar
Gav committed
306
	type Event = Event;
307
	type Slash = Treasury;
308
	type Reward = ();
309
310
	type SessionsPerEra = SessionsPerEra;
	type BondingDuration = BondingDuration;
Gavin Wood's avatar
Gavin Wood committed
311
	type SlashDeferDuration = SlashDeferDuration;
Gavin Wood's avatar
Gavin Wood committed
312
313
	// A majority of the council or root can cancel the slash.
	type SlashCancelOrigin = SlashCancelOrigin;
314
	type SessionInterface = Self;
thiolliere's avatar
thiolliere committed
315
	type RewardCurve = RewardCurve;
Gavin Wood's avatar
Gavin Wood committed
316
	type MaxNominatorRewardedPerValidator = MaxNominatorRewardedPerValidator;
317
318
319
	type NextNewSession = Session;
	type ElectionLookahead = ElectionLookahead;
	type Call = Call;
320
	type UnsignedPriority = StakingUnsignedPriority;
321
	type MaxIterations = MaxIterations;
322
	type MinSolutionScoreBump = MinSolutionScoreBump;
323
324
}

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

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

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

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

Gavin Wood's avatar
Gavin Wood committed
386
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
387
388
	pub const CandidacyBond: Balance = 1 * DOLLARS;
	pub const VotingBond: Balance = 5 * CENTS;
Gavin Wood's avatar
Gavin Wood committed
389
390
	/// Daily council elections.
	pub const TermDuration: BlockNumber = 24 * HOURS;
391
	pub const DesiredMembers: u32 = 17;
Kian Paimani's avatar
Kian Paimani committed
392
	pub const DesiredRunnersUp: u32 = 7;
393
	pub const ElectionsPhragmenModuleId: LockIdentifier = *b"phrelect";
394
}
395
// Make sure that there are no more than MAX_MEMBERS members elected via phragmen.
396
const_assert!(DesiredMembers::get() <= collective::MAX_MEMBERS);
397
398

impl elections_phragmen::Trait for Runtime {
399
	type Event = Event;
400
401
	type Currency = Balances;
	type ChangeMembers = Council;
402
	type InitializeMembers = Council;
403
	type CurrencyToVote = CurrencyToVoteHandler<Self>;
Gavin Wood's avatar
Gavin Wood committed
404
405
	type CandidacyBond = CandidacyBond;
	type VotingBond = VotingBond;
406
407
408
	type LoserCandidate = Treasury;
	type BadReport = Treasury;
	type KickedMember = Treasury;
Gavin Wood's avatar
Gavin Wood committed
409
410
411
	type DesiredMembers = DesiredMembers;
	type DesiredRunnersUp = DesiredRunnersUp;
	type TermDuration = TermDuration;
412
	type ModuleId = ElectionsPhragmenModuleId;
413
414
}

415
416
parameter_types! {
	pub const TechnicalMotionDuration: BlockNumber = 3 * DAYS;
417
	pub const TechnicalMaxProposals: u32 = 100;
418
419
}

420
421
type TechnicalCollective = collective::Instance2;
impl collective::Trait<TechnicalCollective> for Runtime {
422
423
424
	type Origin = Origin;
	type Proposal = Call;
	type Event = Event;
425
	type MotionDuration = TechnicalMotionDuration;
426
	type MaxProposals = TechnicalMaxProposals;
427
428
}

429
430
impl membership::Trait<membership::Instance1> for Runtime {
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
431
432
433
434
435
	type AddOrigin = MoreThanHalfCouncil;
	type RemoveOrigin = MoreThanHalfCouncil;
	type SwapOrigin = MoreThanHalfCouncil;
	type ResetOrigin = MoreThanHalfCouncil;
	type PrimeOrigin = MoreThanHalfCouncil;
436
437
438
439
	type MembershipInitialized = TechnicalCommittee;
	type MembershipChanged = TechnicalCommittee;
}

Gavin Wood's avatar
Gavin Wood committed
440
441
parameter_types! {
	pub const ProposalBond: Permill = Permill::from_percent(5);
Gavin Wood's avatar
Gavin Wood committed
442
	pub const ProposalBondMinimum: Balance = 20 * DOLLARS;
443
	pub const SpendPeriod: BlockNumber = 6 * DAYS;
Gavin Wood's avatar
Gavin Wood committed
444
	pub const Burn: Permill = Permill::from_percent(0);
445
	pub const TreasuryModuleId: ModuleId = ModuleId(*b"py/trsry");
Gavin Wood's avatar
Gavin Wood committed
446
447
448
449
450

	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
451
452
}

Gavin Wood's avatar
Gavin Wood committed
453
454
455
456
457
458
type ApproveOrigin = EnsureOneOf<
	AccountId,
	EnsureRoot<AccountId>,
	collective::EnsureProportionAtLeast<_3, _5, AccountId, CouncilCollective>
>;

459
impl treasury::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
460
	type Currency = Balances;
Gavin Wood's avatar
Gavin Wood committed
461
462
	type ApproveOrigin = ApproveOrigin;
	type RejectOrigin = MoreThanHalfCouncil;
Gavin Wood's avatar
Gavin Wood committed
463
464
465
466
467
	type Tippers = ElectionsPhragmen;
	type TipCountdown = TipCountdown;
	type TipFindersFee = TipFindersFee;
	type TipReportDepositBase = TipReportDepositBase;
	type TipReportDepositPerByte = TipReportDepositPerByte;
468
	type Event = Event;
469
	type ProposalRejection = Treasury;
Gavin Wood's avatar
Gavin Wood committed
470
471
472
473
	type ProposalBond = ProposalBond;
	type ProposalBondMinimum = ProposalBondMinimum;
	type SpendPeriod = SpendPeriod;
	type Burn = Burn;
474
	type ModuleId = TreasuryModuleId;
475
}
476

477
parameter_types! {
478
	pub OffencesWeightSoftLimit: Weight = Perbill::from_percent(60) * MaximumBlockWeight::get();
479
480
}

481
482
483
484
impl offences::Trait for Runtime {
	type Event = Event;
	type IdentificationTuple = session::historical::IdentificationTuple<Self>;
	type OnOffenceHandler = Staking;
485
	type WeightSoftLimit = OffencesWeightSoftLimit;
486
487
}

Gavin Wood's avatar
Gavin Wood committed
488
489
impl authority_discovery::Trait for Runtime {}

490
491
492
493
parameter_types! {
	pub const SessionDuration: BlockNumber = EPOCH_DURATION_IN_BLOCKS as _;
}

494
495
496
497
498
parameter_types! {
	pub const StakingUnsignedPriority: TransactionPriority = TransactionPriority::max_value() / 2;
	pub const ImOnlineUnsignedPriority: TransactionPriority = TransactionPriority::max_value();
}

499
impl im_online::Trait for Runtime {
thiolliere's avatar
thiolliere committed
500
	type AuthorityId = ImOnlineId;
501
	type Event = Event;
502
	type ReportUnresponsiveness = Offences;
503
	type SessionDuration = SessionDuration;
504
	type UnsignedPriority = ImOnlineUnsignedPriority;
505
506
}

507
508
impl grandpa::Trait for Runtime {
	type Event = Event;
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
	type Call = Call;

	type KeyOwnerProofSystem = Historical;

	type KeyOwnerProof =
		<Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(KeyTypeId, GrandpaId)>>::Proof;

	type KeyOwnerIdentification = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(
		KeyTypeId,
		GrandpaId,
	)>>::IdentificationTuple;

	type HandleEquivocation = grandpa::EquivocationHandler<
		Self::KeyOwnerIdentification,
		primitives::fisherman::FishermanAppCrypto,
		Runtime,
		Offences,
	>;
527
528
}

Gavin Wood's avatar
Gavin Wood committed
529
parameter_types! {
530
531
	pub WindowSize: BlockNumber = finality_tracker::DEFAULT_WINDOW_SIZE.into();
	pub ReportLatency: BlockNumber = finality_tracker::DEFAULT_REPORT_LATENCY.into();
Gavin Wood's avatar
Gavin Wood committed
532
533
534
}

impl finality_tracker::Trait for Runtime {
535
	type OnFinalizationStalled = ();
Gavin Wood's avatar
Gavin Wood committed
536
537
538
539
	type WindowSize = WindowSize;
	type ReportLatency = ReportLatency;
}

540
541
542
543
parameter_types! {
	pub const AttestationPeriod: BlockNumber = 50;
}

544
545
546
impl attestations::Trait for Runtime {
	type AttestationPeriod = AttestationPeriod;
	type ValidatorIdentities = parachains::ValidatorIdentities<Runtime>;
547
	type RewardAttestation = Staking;
548
549
}

550
551
552
parameter_types! {
	pub const MaxCodeSize: u32 = 10 * 1024 * 1024; // 10 MB
	pub const MaxHeadDataSize: u32 = 20 * 1024; // 20 KB
553
554
555
	pub const ValidationUpgradeFrequency: BlockNumber = 2 * DAYS;
	pub const ValidationUpgradeDelay: BlockNumber = 8 * HOURS;
	pub const SlashPeriod: BlockNumber = 7 * DAYS;
556
557
}

558
impl parachains::Trait for Runtime {
559
	type AuthorityId = primitives::fisherman::FishermanAppCrypto;
560
561
	type Origin = Origin;
	type Call = Call;
562
	type ParachainCurrency = Balances;
563
	type BlockNumberConversion = sp_runtime::traits::Identity;
564
	type Randomness = RandomnessCollectiveFlip;
565
566
	type ActiveParachains = Registrar;
	type Registrar = Registrar;
567
568
	type MaxCodeSize = MaxCodeSize;
	type MaxHeadDataSize = MaxHeadDataSize;
569
570
571
572
573

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

574
	type Proof = sp_session::MembershipProof;
575
576
577
	type KeyOwnerProofSystem = session::historical::Module<Self>;
	type IdentificationTuple = <Self::KeyOwnerProofSystem as KeyOwnerProofSystem<(KeyTypeId, Vec<u8>)>>::IdentificationTuple;
	type ReportOffence = Offences;
578
	type BlockHashConversion = sp_runtime::traits::Identity;
579
580
}

581
582
/// Submits transaction with the node's public and signature type. Adheres to the signed extension
/// format of the chain.
583
584
585
586
587
588
589
impl<LocalCall> system::offchain::CreateSignedTransaction<LocalCall> for Runtime where
	Call: From<LocalCall>,
{
	fn create_transaction<C: system::offchain::AppCrypto<Self::Public, Self::Signature>>(
		call: Call,
		public: <Signature as Verify>::Signer,
		account: AccountId,
590
591
		nonce: <Runtime as system::Trait>::Index,
	) -> Option<(Call, <UncheckedExtrinsic as ExtrinsicT>::SignaturePayload)> {
592
		// take the biggest period possible.
593
594
595
596
597
598
599
		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>()
600
601
			// The `System::block_number` is initialized with `n+1`,
			// so the actual block number is `n`.
602
603
604
			.saturating_sub(1);
		let tip = 0;
		let extra: SignedExtra = (
605
606
			system::CheckSpecVersion::<Runtime>::new(),
			system::CheckTxVersion::<Runtime>::new(),
607
608
609
610
611
612
613
			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(),
614
			grandpa::ValidateEquivocationReport::<Runtime>::new(),
615
616
		);
		let raw_payload = SignedPayload::new(call, extra).map_err(|e| {
617
			debug::warn!("Unable to create signed payload: {:?}", e);
618
		}).ok()?;
619
620
621
		let signature = raw_payload.using_encoded(|payload| {
			C::sign(payload, public)
		})?;
622
623
624
		let (call, extra, _) = raw_payload.deconstruct();
		Some((call, (account, signature, extra)))
	}
625
626
}

627
628
629
630
631
632
633
634
635
636
637
638
impl system::offchain::SigningTypes for Runtime {
	type Public = <Signature as Verify>::Signer;
	type Signature = Signature;
}

impl<C> system::offchain::SendTransactionTypes<C> for Runtime where
	Call: From<C>,
{
	type OverarchingCall = Call;
	type Extrinsic = UncheckedExtrinsic;
}

639
parameter_types! {
Gavin Wood's avatar
Gavin Wood committed
640
	pub const ParathreadDeposit: Balance = 5 * DOLLARS;
641
642
643
644
645
646
647
648
649
650
651
652
	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;
653
}
654

Gavin Wood's avatar
Gavin Wood committed
655
parameter_types! {
656
	pub const LeasePeriod: BlockNumber = 100_000;
Gavin Wood's avatar
Gavin Wood committed
657
658
659
660
661
	pub const EndingPeriod: BlockNumber = 1000;
}

impl slots::Trait for Runtime {
	type Event = Event;
662
663
	type Currency = Balances;
	type Parachains = Registrar;
Gavin Wood's avatar
Gavin Wood committed
664
665
	type LeasePeriod = LeasePeriod;
	type EndingPeriod = EndingPeriod;
666
	type Randomness = RandomnessCollectiveFlip;
Gavin Wood's avatar
Gavin Wood committed
667
668
}

Gavin Wood's avatar
Gavin Wood committed
669
parameter_types! {
670
	pub Prefix: &'static [u8] = b"Pay KSMs to the Kusama account:";
671
672
673
674
}

impl claims::Trait for Runtime {
	type Event = Event;
Gavin Wood's avatar
Gavin Wood committed
675
	type VestingSchedule = Vesting;
676
	type Prefix = Prefix;
677
	type MoveClaimOrigin = collective::EnsureProportionMoreThan<_1, _2, AccountId, CouncilCollective>;
678
679
}

680
parameter_types! {
681
	// Minimum 100 bytes/KSM deposited (1 CENT/byte)
Gavin Wood's avatar
Gavin Wood committed
682
683
684
	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
685
686
	pub const MaxSubAccounts: u32 = 100;
	pub const MaxAdditionalFields: u32 = 100;
687
	pub const MaxRegistrars: u32 = 20;
688
689
690
691
692
693
694
695
696
}

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
697
698
	type MaxSubAccounts = MaxSubAccounts;
	type MaxAdditionalFields = MaxAdditionalFields;
699
	type MaxRegistrars = MaxRegistrars;
Gavin Wood's avatar
Gavin Wood committed
700
701
	type RegistrarOrigin = MoreThanHalfCouncil;
	type ForceOrigin = MoreThanHalfCouncil;
702
703
}

704
705
706
707
708
impl utility::Trait for Runtime {
	type Event = Event;
	type Call = Call;
}

Gavin Wood's avatar
Gavin Wood committed
709
parameter_types! {
710
711
	// One storage item; key size is 32; value is size 4+4+16+32 bytes = 56 bytes.
	pub const DepositBase: Balance = deposit(1, 88);
Gavin Wood's avatar
Gavin Wood committed
712
	// Additional storage item size of 32 bytes.
713
	pub const DepositFactor: Balance = deposit(0, 32);
Gavin Wood's avatar
Gavin Wood committed
714
715
716
	pub const MaxSignatories: u16 = 100;
}

717
impl multisig::Trait for Runtime {
Gavin Wood's avatar
Gavin Wood committed
718
719
720
	type Event = Event;
	type Call = Call;
	type Currency = Balances;
721
722
	type DepositBase = DepositBase;
	type DepositFactor = DepositFactor;
Gavin Wood's avatar
Gavin Wood committed
723
724
725
	type MaxSignatories = MaxSignatories;
}

726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
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;
751
	pub const SocietyModuleId: ModuleId = ModuleId(*b"py/socie");
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
}

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;
768
	type ModuleId = SocietyModuleId;
769
770
}

771
772
773
774
parameter_types! {
	pub const MinVestedTransfer: Balance = 100 * DOLLARS;
}

Gavin Wood's avatar
Gavin Wood committed
775
776
777
778
impl vesting::Trait for Runtime {
	type Event = Event;
	type Currency = Balances;
	type BlockNumberToBalance = ConvertInto;
779
	type MinVestedTransfer = MinVestedTransfer;
Gavin Wood's avatar
Gavin Wood committed
780
781
}

782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
parameter_types! {
	// One storage item; key size 32, value size 8; .
	pub const ProxyDepositBase: Balance = deposit(1, 8);
	// Additional storage item size of 33 bytes.
	pub const ProxyDepositFactor: Balance = deposit(0, 33);
	pub const MaxProxies: u16 = 32;
}

/// The type used to represent the kinds of proxying allowed.
#[derive(Copy, Clone, Eq, PartialEq, Ord, PartialOrd, Encode, Decode, RuntimeDebug)]
pub enum ProxyType {
	Any,
	NonTransfer,
	Governance,
	Staking,
}
impl Default for ProxyType { fn default() -> Self { Self::Any } }
impl InstanceFilter<Call> for ProxyType {
	fn filter(&self, c: &Call) -> bool {
		match self {
			ProxyType::Any => true,
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
			ProxyType::NonTransfer => matches!(c,
				Call::System(..) |
				Call::Babe(..) |
				Call::Timestamp(..) |
				Call::Indices(indices::Call::claim(..)) |
				Call::Indices(indices::Call::free(..)) |
				Call::Indices(indices::Call::freeze(..)) |
				// Specifically omitting Indices `transfer`, `force_transfer`
				// Specifically omitting the entire Balances pallet
				Call::Authorship(..) |
				Call::Staking(..) |
				Call::Offences(..) |
				Call::Session(..) |
				Call::FinalityTracker(..) |
				Call::Grandpa(..) |
				Call::ImOnline(..) |
				Call::AuthorityDiscovery(..) |
				Call::Democracy(..) |
				Call::Council(..) |
				Call::TechnicalCommittee(..) |
				Call::ElectionsPhragmen(..) |
				Call::TechnicalMembership(..) |
				Call::Treasury(..) |
				Call::Claims(..) |
				Call::Parachains(..) |
				Call::Attestations(..) |
				Call::Slots(..) |
				Call::Registrar(..) |
				Call::Utility(..) |
				Call::Identity(..) |
				Call::Society(..) |
				Call::Recovery(recovery::Call::as_recovered(..)) |
				Call::Recovery(recovery::Call::vouch_recovery(..)) |
				Call::Recovery(recovery::Call::claim_recovery(..)) |
				Call::Recovery(recovery::Call::close_recovery(..)) |
				Call::Recovery(recovery::Call::remove_recovery(..)) |
				Call::Recovery(recovery::Call::cancel_recovered(..)) |
				// Specifically omitting Recovery `create_recovery`, `initiate_recovery`
				Call::Vesting(vesting::Call::vest(..)) |
				Call::Vesting(vesting::Call::vest_other(..)) |
				// Specifically omitting Vesting `vested_transfer`, and `force_vested_transfer`
				Call::Scheduler(..) |
				Call::Proxy(..) |
				Call::Multisig(..)
847
			),
848
849
850
			ProxyType::Governance => matches!(c,
				Call::Democracy(..) | Call::Council(..) | Call::TechnicalCommittee(..)
					| Call::ElectionsPhragmen(..) | Call::Treasury(..)
851
852
					| Call::Utility(utility::Call::batch(..))
					| Call::Utility(utility::Call::as_limited_sub(..))
853
			),
854
855
856
			ProxyType::Staking => matches!(c,
				Call::Staking(..) | Call::Utility(utility::Call::batch(..))
					| Call::Utility(utility::Call::as_limited_sub(..))
857
			),
858
859
860
861
862
863
864
865
866
		}
	}
	fn is_superset(&self, o: &Self) -> bool {
		match (self, o) {
			(x, y) if x == y => true,
			(ProxyType::Any, _) => true,
			(_, ProxyType::Any) => false,
			(ProxyType::NonTransfer, _) => true,
			_ => false,
867
868
869
870
871
872
873
874
875
876
877
878
879
880
		}
	}
}

impl proxy::Trait for Runtime {
	type Event = Event;
	type Call = Call;
	type Currency = Balances;
	type ProxyType = ProxyType;
	type ProxyDepositBase = ProxyDepositBase;
	type ProxyDepositFactor = ProxyDepositFactor;
	type MaxProxies = MaxProxies;
}

Gavin Wood's avatar
Gavin Wood committed
881
construct_runtime! {
882
	pub enum Runtime where
883
		Block = Block,
884
		NodeBlock = primitives::Block,
885
		UncheckedExtrinsic = UncheckedExtrinsic
886
	{
887
		// Basic stuff; balances is uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
888
		System: system::{Module, Call, Storage, Config, Event<T>},
Ashley's avatar
Ashley committed
889
		RandomnessCollectiveFlip: randomness_collective_flip::{Module, Storage},
890
891

		// Must be before session.
892
		Babe: babe::{Module, Call, Storage, Config, Inherent(Timestamp)},
893
894

		Timestamp: timestamp::{Module, Call, Storage, Inherent},
Gavin Wood's avatar
Gavin Wood committed
895
		Indices: indices::{Module, Call, Storage, Config<T>, Event<T>},
896
		Balances: balances::{Module, Call, Storage, Config<T>, Event<T>},
897
		TransactionPayment: transaction_payment::{Module, Storage},
898
899
900

		// Consensus support.
		Authorship: authorship::{Module, Call, Storage},
Kian Paimani's avatar
Kian Paimani committed
901
		Staking: staking::{Module, Call, Storage, Config<T>, Event<T>, ValidateUnsigned},
902
		Offences: offences::{Module, Call, Storage, Event},
903
		Historical: session_historical::{Module},
904
		Session: session::{Module, Call, Storage, Event, Config<T>},
905
		FinalityTracker: finality_tracker::{Module, Call, Storage, Inherent},
906
		Grandpa: grandpa::{Module, Call, Storage, Config, Event},
thiolliere's avatar
thiolliere committed
907
		ImOnline: im_online::{Module, Call, Storage, Event<T>, ValidateUnsigned, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
908
		AuthorityDiscovery: authority_discovery::{Module, Call, Config},
909
910

		// Governance stuff; uncallable initially.
Gavin Wood's avatar
Gavin Wood committed
911
		Democracy: democracy::{Module, Call, Storage, Config, Event<T>},
912
913
		Council: collective::<Instance1>::{Module, Call, Storage, Origin<T>, Event<T>, Config<T>},
		TechnicalCommittee: collective::<Instance2>::{Module, Call, Storage, Origin<T>, Event<T>, Config<T>},
914
		ElectionsPhragmen: elections_phragmen::{Module, Call, Storage, Event<T>, Config<T>},
915
		TechnicalMembership: membership::<Instance1>::{Module, Call, Storage, Event<T>, Config<T>},
Gavin Wood's avatar
Gavin Wood committed
916
		Treasury: treasury::{Module, Call, Storage, Event<T>},
917
918
919
920
921
922

		// 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.
923
		Parachains: parachains::{Module, Call, Storage, Config, Inherent, Origin},
924
		Attestations: attestations::{Module, Call, Storage},
Gavin Wood's avatar
Gavin Wood committed
925
		Slots: slots::{Module, Call, Storage, Event<T>},
926
		Registrar: registrar::{Module, Call, Storage, Event, Config<T>},
927

928
		// Utility module.