grandpa: report equivocations

bin/node-template/runtime/src/lib.rs

@@ -15,7 +15,7 @@ use sp_runtime::{
 	transaction_validity::{TransactionValidity, TransactionSource},
 };
 use sp_runtime::traits::{
-	BlakeTwo256, Block as BlockT, IdentityLookup, Verify, ConvertInto, IdentifyAccount
+	BlakeTwo256, Block as BlockT, IdentityLookup, Verify, ConvertInto, IdentifyAccount, NumberFor,
 };
 use sp_api::impl_runtime_apis;
 use sp_consensus_aura::sr25519::AuthorityId as AuraId;
@@ -175,6 +175,8 @@ impl aura::Trait for Runtime {
 
 impl grandpa::Trait for Runtime {
 	type Event = Event;
+	type Call = Call;
+	type HandleEquivocation = ();
 }
 
 parameter_types! {
@@ -354,9 +356,27 @@ impl_runtime_apis! {
 		}
 	}
 
+	impl sp_session::SessionMembership<Block> for Runtime {
+		fn generate_session_membership_proof(
+			_session_key: (sp_core::crypto::KeyTypeId, Vec<u8>),
+		) -> Option<sp_session::MembershipProof> {
+			None
+		}
+	}
+
 	impl fg_primitives::GrandpaApi<Block> for Runtime {
 		fn grandpa_authorities() -> GrandpaAuthorityList {
 			Grandpa::grandpa_authorities()
 		}
+
+		fn submit_report_equivocation_extrinsic(
+			_equivocation_proof: fg_primitives::EquivocationProof<
+				<Block as BlockT>::Hash,
+				NumberFor<Block>,
+			>,
+			_key_owner_proof: Vec<u8>,
+		) -> Option<()> {
+			None
+		}
 	}
 }

bin/node/primitives/Cargo.toml

@@ -8,6 +8,8 @@ homepage = "https://substrate.dev"
 repository = "https://github.com/paritytech/substrate/"
 
 [dependencies]
+codec = { package = "parity-scale-codec", version = "1.3.0", default-features = false, features = ["derive"] }
+sp-application-crypto = { version = "2.0.0-alpha.5", default-features = false, path = "../../../primitives/application-crypto" }
 sp-core = { version = "2.0.0-alpha.5", default-features = false, path = "../../../primitives/core" }
 sp-runtime = { version = "2.0.0-alpha.5", default-features = false, path = "../../../primitives/runtime" }
 
@@ -18,6 +20,8 @@ pretty_assertions = "0.6.1"
 [features]
 default = ["std"]
 std = [
+	"codec/std",
+	"sp-application-crypto/std",
 	"sp-core/std",
 	"sp-runtime/std",
 ]

bin/node/primitives/src/lib.rs

@@ -62,3 +62,32 @@ pub type Header = generic::Header<BlockNumber, BlakeTwo256>;
 pub type Block = generic::Block<Header, OpaqueExtrinsic>;
 /// Block ID.
 pub type BlockId = generic::BlockId<Block>;
+
+/// App-specific crypto used for reporting equivocation/misbehavior in BABE and
+/// GRANDPA. The crypto used is sr25519 and the account must be minimally funded
+/// in order to pay for transaction fees. Any rewards for misbehavior reporting
+/// will be paid out to this account.
+pub mod report {
+	use sp_core::crypto::KeyTypeId;
+
+	/// Key type for the reporting module. Used for reporting BABE and GRANDPA
+	/// equivocations.
+	pub const KEY_TYPE: KeyTypeId = KeyTypeId(*b"fish");
+
+	mod app {
+		use sp_application_crypto::{app_crypto, sr25519};
+
+		app_crypto!(sr25519, super::KEY_TYPE);
+
+		impl sp_runtime::traits::IdentifyAccount for Public {
+			type AccountId = sp_runtime::AccountId32;
+
+			fn into_account(self) -> Self::AccountId {
+				sp_runtime::MultiSigner::from(self.0).into_account()
+			}
+		}
+	}
+
+	/// Identity of the equivocation/misbehavior reporter.
+	pub type ReporterId = app::Public;
+}

bin/node/runtime/src/lib.rs

@@ -38,7 +38,7 @@ use sp_runtime::curve::PiecewiseLinear;
 use sp_runtime::transaction_validity::{TransactionValidity, TransactionSource};
 use sp_runtime::traits::{
 	self, BlakeTwo256, Block as BlockT, StaticLookup, SaturatedConversion,
-	ConvertInto, OpaqueKeys,
+	ConvertInto, OpaqueKeys, NumberFor,
 };
 use sp_version::RuntimeVersion;
 #[cfg(any(feature = "std", test))]
@@ -50,6 +50,7 @@ use pallet_im_online::sr25519::{AuthorityId as ImOnlineId};
 use sp_authority_discovery::AuthorityId as AuthorityDiscoveryId;
 use pallet_transaction_payment_rpc_runtime_api::RuntimeDispatchInfo;
 use pallet_contracts_rpc_runtime_api::ContractExecResult;
+use pallet_session::{historical as pallet_session_historical};
 use frame_system::offchain::TransactionSubmitter;
 use sp_inherents::{InherentData, CheckInherentsResult};
 
@@ -545,6 +546,13 @@ impl pallet_authority_discovery::Trait for Runtime {}
 
 impl pallet_grandpa::Trait for Runtime {
 	type Event = Event;
+	type Call = Call;
+	type HandleEquivocation = pallet_grandpa::EquivocationHandler<
+		Historical,
+		TransactionSubmitterOf<node_primitives::report::ReporterId>,
+		Offences,
+		node_primitives::report::ReporterId,
+	>;
 }
 
 parameter_types! {
@@ -662,6 +670,7 @@ construct_runtime!(
 		ImOnline: pallet_im_online::{Module, Call, Storage, Event<T>, ValidateUnsigned, Config<T>},
 		AuthorityDiscovery: pallet_authority_discovery::{Module, Call, Config},
 		Offences: pallet_offences::{Module, Call, Storage, Event},
+		Historical: pallet_session_historical::{Module},
 		RandomnessCollectiveFlip: pallet_randomness_collective_flip::{Module, Call, Storage},
 		Identity: pallet_identity::{Module, Call, Storage, Event<T>},
 		Society: pallet_society::{Module, Call, Storage, Event<T>, Config<T>},
@@ -762,6 +771,21 @@ impl_runtime_apis! {
 		fn grandpa_authorities() -> GrandpaAuthorityList {
 			Grandpa::grandpa_authorities()
 		}
+
+		fn submit_report_equivocation_extrinsic(
+			equivocation_proof: fg_primitives::EquivocationProof<
+				<Block as BlockT>::Hash,
+				NumberFor<Block>,
+			>,
+			key_owner_proof: Vec<u8>,
+		) -> Option<()> {
+			let key_owner_proof = codec::Decode::decode(&mut &key_owner_proof[..]).ok()?;
+
+			Grandpa::submit_report_equivocation_extrinsic(
+				equivocation_proof,
+				key_owner_proof,
+			)
+		}
 	}
 
 	impl sp_consensus_babe::BabeApi<Block> for Runtime {
@@ -855,6 +879,16 @@ impl_runtime_apis! {
 		}
 	}
 
+	impl sp_session::SessionMembership<Block> for Runtime {
+		fn generate_session_membership_proof(
+			session_key: (sp_core::crypto::KeyTypeId, Vec<u8>),
+		) -> Option<sp_session::MembershipProof> {
+			use frame_support::traits::KeyOwnerProofSystem;
+
+			Historical::prove(session_key)
+		}
+	}
+
 	#[cfg(feature = "runtime-benchmarks")]
 	impl frame_benchmarking::Benchmark<Block> for Runtime {
 		fn dispatch_benchmark(

client/finality-grandpa/Cargo.toml

@@ -21,6 +21,7 @@ assert_matches = "1.3.0"
 parity-scale-codec = { version = "1.3.0", features = ["derive"] }
 sp-arithmetic = { version = "2.0.0-alpha.5", path = "../../primitives/arithmetic" }
 sp-runtime = { version = "2.0.0-alpha.5", path = "../../primitives/runtime" }
+sp-session = { version = "2.0.0-alpha.5", path = "../../primitives/session" }
 sp-consensus = { version = "0.8.0-alpha.5", path = "../../primitives/consensus/common" }
 sp-core = { version = "2.0.0-alpha.5", path = "../../primitives/core" }
 sp-api = { version = "2.0.0-alpha.5", path = "../../primitives/api" }