referrerpolicy=no-referrer-when-downgrade

bridge_runtime_common/
messages_benchmarking.rs

1// Copyright (C) Parity Technologies (UK) Ltd.
2// This file is part of Parity Bridges Common.
3
4// Parity Bridges Common is free software: you can redistribute it and/or modify
5// it under the terms of the GNU General Public License as published by
6// the Free Software Foundation, either version 3 of the License, or
7// (at your option) any later version.
8
9// Parity Bridges Common is distributed in the hope that it will be useful,
10// but WITHOUT ANY WARRANTY; without even the implied warranty of
11// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12// GNU General Public License for more details.
13
14// You should have received a copy of the GNU General Public License
15// along with Parity Bridges Common.  If not, see <http://www.gnu.org/licenses/>.
16
17//! Everything required to run benchmarks of messages module, based on
18//! `bridge_runtime_common::messages` implementation.
19
20#![cfg(feature = "runtime-benchmarks")]
21
22use bp_messages::{
23	source_chain::FromBridgedChainMessagesDeliveryProof,
24	target_chain::FromBridgedChainMessagesProof, MessagePayload,
25};
26use bp_polkadot_core::parachains::ParaHash;
27use bp_runtime::{AccountIdOf, Chain, HashOf, Parachain};
28use codec::Encode;
29use frame_support::weights::Weight;
30use pallet_bridge_messages::{
31	benchmarking::{MessageDeliveryProofParams, MessageProofParams},
32	messages_generation::{
33		encode_all_messages, encode_lane_data, prepare_message_delivery_storage_proof,
34		prepare_messages_storage_proof,
35	},
36	BridgedChainOf, LaneIdOf, ThisChainOf,
37};
38use sp_runtime::traits::{Header, Zero};
39use sp_std::prelude::*;
40use xcm::latest::prelude::*;
41
42/// Prepare inbound bridge message according to given message proof parameters.
43fn prepare_inbound_message<LaneId>(
44	params: &MessageProofParams<LaneId>,
45	successful_dispatch_message_generator: impl Fn(usize) -> MessagePayload,
46) -> MessagePayload {
47	let expected_size = params.proof_params.db_size.unwrap_or(0) as usize;
48
49	// if we don't need a correct message, then we may just return some random blob
50	if !params.is_successful_dispatch_expected {
51		return vec![0u8; expected_size]
52	}
53
54	// else let's prepare successful message.
55	let msg = successful_dispatch_message_generator(expected_size);
56	assert!(
57		msg.len() >= expected_size,
58		"msg.len(): {} does not match expected_size: {}",
59		expected_size,
60		msg.len()
61	);
62	msg
63}
64
65/// Prepare proof of messages for the `receive_messages_proof` call.
66///
67/// In addition to returning valid messages proof, environment is prepared to verify this message
68/// proof.
69///
70/// This method is intended to be used when benchmarking pallet, linked to the chain that
71/// uses GRANDPA finality. For parachains, please use the `prepare_message_proof_from_parachain`
72/// function.
73pub fn prepare_message_proof_from_grandpa_chain<R, FI, MI>(
74	params: MessageProofParams<LaneIdOf<R, MI>>,
75	message_generator: impl Fn(usize) -> MessagePayload,
76) -> (FromBridgedChainMessagesProof<HashOf<BridgedChainOf<R, MI>>, LaneIdOf<R, MI>>, Weight)
77where
78	R: pallet_bridge_grandpa::Config<FI, BridgedChain = BridgedChainOf<R, MI>>
79		+ pallet_bridge_messages::Config<
80			MI,
81			BridgedHeaderChain = pallet_bridge_grandpa::Pallet<R, FI>,
82		>,
83	FI: 'static,
84	MI: 'static,
85{
86	// prepare storage proof
87	let (state_root, storage_proof) = prepare_messages_storage_proof::<
88		BridgedChainOf<R, MI>,
89		ThisChainOf<R, MI>,
90		LaneIdOf<R, MI>,
91	>(
92		params.lane,
93		params.message_nonces.clone(),
94		params.outbound_lane_data.clone(),
95		params.proof_params,
96		|_| prepare_inbound_message(&params, &message_generator),
97		encode_all_messages,
98		encode_lane_data,
99		false,
100		false,
101	);
102
103	// update runtime storage
104	let (_, bridged_header_hash) = insert_header_to_grandpa_pallet::<R, FI>(state_root);
105
106	(
107		FromBridgedChainMessagesProof {
108			bridged_header_hash,
109			storage_proof,
110			lane: params.lane,
111			nonces_start: *params.message_nonces.start(),
112			nonces_end: *params.message_nonces.end(),
113		},
114		Weight::MAX / 1000,
115	)
116}
117
118/// Prepare proof of messages for the `receive_messages_proof` call.
119///
120/// In addition to returning valid messages proof, environment is prepared to verify this message
121/// proof.
122///
123/// This method is intended to be used when benchmarking pallet, linked to the chain that
124/// uses parachain finality. For GRANDPA chains, please use the
125/// `prepare_message_proof_from_grandpa_chain` function.
126pub fn prepare_message_proof_from_parachain<R, PI, MI>(
127	params: MessageProofParams<LaneIdOf<R, MI>>,
128	message_generator: impl Fn(usize) -> MessagePayload,
129) -> (FromBridgedChainMessagesProof<HashOf<BridgedChainOf<R, MI>>, LaneIdOf<R, MI>>, Weight)
130where
131	R: pallet_bridge_parachains::Config<PI> + pallet_bridge_messages::Config<MI>,
132	PI: 'static,
133	MI: 'static,
134	BridgedChainOf<R, MI>: Chain<Hash = ParaHash> + Parachain,
135{
136	// prepare storage proof
137	let (state_root, storage_proof) = prepare_messages_storage_proof::<
138		BridgedChainOf<R, MI>,
139		ThisChainOf<R, MI>,
140		LaneIdOf<R, MI>,
141	>(
142		params.lane,
143		params.message_nonces.clone(),
144		params.outbound_lane_data.clone(),
145		params.proof_params,
146		|_| prepare_inbound_message(&params, &message_generator),
147		encode_all_messages,
148		encode_lane_data,
149		false,
150		false,
151	);
152
153	// update runtime storage
154	let (_, bridged_header_hash) =
155		insert_header_to_parachains_pallet::<R, PI, BridgedChainOf<R, MI>>(state_root);
156
157	(
158		FromBridgedChainMessagesProof {
159			bridged_header_hash,
160			storage_proof,
161			lane: params.lane,
162			nonces_start: *params.message_nonces.start(),
163			nonces_end: *params.message_nonces.end(),
164		},
165		Weight::MAX / 1000,
166	)
167}
168
169/// Prepare proof of messages delivery for the `receive_messages_delivery_proof` call.
170///
171/// This method is intended to be used when benchmarking pallet, linked to the chain that
172/// uses GRANDPA finality. For parachains, please use the
173/// `prepare_message_delivery_proof_from_parachain` function.
174pub fn prepare_message_delivery_proof_from_grandpa_chain<R, FI, MI>(
175	params: MessageDeliveryProofParams<AccountIdOf<ThisChainOf<R, MI>>, LaneIdOf<R, MI>>,
176) -> FromBridgedChainMessagesDeliveryProof<HashOf<BridgedChainOf<R, MI>>, LaneIdOf<R, MI>>
177where
178	R: pallet_bridge_grandpa::Config<FI, BridgedChain = BridgedChainOf<R, MI>>
179		+ pallet_bridge_messages::Config<
180			MI,
181			BridgedHeaderChain = pallet_bridge_grandpa::Pallet<R, FI>,
182		>,
183	FI: 'static,
184	MI: 'static,
185{
186	// prepare storage proof
187	let lane = params.lane;
188	let (state_root, storage_proof) = prepare_message_delivery_storage_proof::<
189		BridgedChainOf<R, MI>,
190		ThisChainOf<R, MI>,
191		LaneIdOf<R, MI>,
192	>(params.lane, params.inbound_lane_data, params.proof_params);
193
194	// update runtime storage
195	let (_, bridged_header_hash) = insert_header_to_grandpa_pallet::<R, FI>(state_root);
196
197	FromBridgedChainMessagesDeliveryProof {
198		bridged_header_hash: bridged_header_hash.into(),
199		storage_proof,
200		lane,
201	}
202}
203
204/// Prepare proof of messages delivery for the `receive_messages_delivery_proof` call.
205///
206/// This method is intended to be used when benchmarking pallet, linked to the chain that
207/// uses parachain finality. For GRANDPA chains, please use the
208/// `prepare_message_delivery_proof_from_grandpa_chain` function.
209pub fn prepare_message_delivery_proof_from_parachain<R, PI, MI>(
210	params: MessageDeliveryProofParams<AccountIdOf<ThisChainOf<R, MI>>, LaneIdOf<R, MI>>,
211) -> FromBridgedChainMessagesDeliveryProof<HashOf<BridgedChainOf<R, MI>>, LaneIdOf<R, MI>>
212where
213	R: pallet_bridge_parachains::Config<PI> + pallet_bridge_messages::Config<MI>,
214	PI: 'static,
215	MI: 'static,
216	BridgedChainOf<R, MI>: Chain<Hash = ParaHash> + Parachain,
217{
218	// prepare storage proof
219	let lane = params.lane;
220	let (state_root, storage_proof) = prepare_message_delivery_storage_proof::<
221		BridgedChainOf<R, MI>,
222		ThisChainOf<R, MI>,
223		LaneIdOf<R, MI>,
224	>(params.lane, params.inbound_lane_data, params.proof_params);
225
226	// update runtime storage
227	let (_, bridged_header_hash) =
228		insert_header_to_parachains_pallet::<R, PI, BridgedChainOf<R, MI>>(state_root);
229
230	FromBridgedChainMessagesDeliveryProof {
231		bridged_header_hash: bridged_header_hash.into(),
232		storage_proof,
233		lane,
234	}
235}
236
237/// Insert header to the bridge GRANDPA pallet.
238pub(crate) fn insert_header_to_grandpa_pallet<R, GI>(
239	state_root: bp_runtime::HashOf<R::BridgedChain>,
240) -> (bp_runtime::BlockNumberOf<R::BridgedChain>, bp_runtime::HashOf<R::BridgedChain>)
241where
242	R: pallet_bridge_grandpa::Config<GI>,
243	GI: 'static,
244	R::BridgedChain: bp_runtime::Chain,
245{
246	let bridged_block_number = Zero::zero();
247	let bridged_header = bp_runtime::HeaderOf::<R::BridgedChain>::new(
248		bridged_block_number,
249		Default::default(),
250		state_root,
251		Default::default(),
252		Default::default(),
253	);
254	let bridged_header_hash = bridged_header.hash();
255	pallet_bridge_grandpa::initialize_for_benchmarks::<R, GI>(bridged_header);
256	(bridged_block_number, bridged_header_hash)
257}
258
259/// Insert header to the bridge parachains pallet.
260pub(crate) fn insert_header_to_parachains_pallet<R, PI, PC>(
261	state_root: bp_runtime::HashOf<PC>,
262) -> (bp_runtime::BlockNumberOf<PC>, bp_runtime::HashOf<PC>)
263where
264	R: pallet_bridge_parachains::Config<PI>,
265	PI: 'static,
266	PC: Chain<Hash = ParaHash> + Parachain,
267{
268	let bridged_block_number = Zero::zero();
269	let bridged_header = bp_runtime::HeaderOf::<PC>::new(
270		bridged_block_number,
271		Default::default(),
272		state_root,
273		Default::default(),
274		Default::default(),
275	);
276	let bridged_header_hash = bridged_header.hash();
277	pallet_bridge_parachains::initialize_for_benchmarks::<R, PI, PC>(bridged_header);
278	(bridged_block_number, bridged_header_hash)
279}
280
281/// Returns callback which generates `BridgeMessage` from Polkadot XCM builder based on
282/// `expected_message_size` for benchmark.
283pub fn generate_xcm_builder_bridge_message_sample(
284	destination: InteriorLocation,
285) -> impl Fn(usize) -> MessagePayload {
286	move |expected_message_size| -> MessagePayload {
287		// For XCM bridge hubs, it is the message that
288		// will be pushed further to some XCM queue (XCMP/UMP)
289		let location = xcm::VersionedInteriorLocation::from(destination.clone());
290		let location_encoded_size = location.encoded_size();
291
292		// we don't need to be super-precise with `expected_size` here
293		let xcm_size = expected_message_size.saturating_sub(location_encoded_size);
294		let xcm_data_size = xcm_size.saturating_sub(
295			// minus empty instruction size
296			Instruction::<()>::ExpectPallet {
297				index: 0,
298				name: vec![],
299				module_name: vec![],
300				crate_major: 0,
301				min_crate_minor: 0,
302			}
303			.encoded_size(),
304		);
305
306		tracing::trace!(
307			target: "runtime::bridge-benchmarks",
308			%expected_message_size, %location_encoded_size, %xcm_size, %xcm_data_size,
309			"generate_xcm_builder_bridge_message_sample"
310		);
311
312		let xcm = xcm::VersionedXcm::<()>::from(Xcm(vec![Instruction::<()>::ExpectPallet {
313			index: 0,
314			name: vec![42; xcm_data_size],
315			module_name: vec![],
316			crate_major: 0,
317			min_crate_minor: 0,
318		}]));
319
320		// this is the `BridgeMessage` from polkadot xcm builder, but it has no constructor
321		// or public fields, so just tuple
322		// (double encoding, because `.encode()` is called on original Xcm BLOB when it is pushed
323		// to the storage)
324		(location, xcm).encode().encode()
325	}
326}