Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement block tree for the domain v2 #1650

Merged
merged 15 commits into from
Jul 18, 2023
Merged

Implement block tree for the domain v2 #1650

Show file tree
Hide file tree
Changes from 12 commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
cfac1fa
Adjust the generate_genesis_state_root host function to remove the un…
NingLin-P Jul 6, 2023
2a55e3b
Track successfully submitted bundles for all domains as now pallet-do…
NingLin-P Jul 6, 2023
cc7cb2a
Add domain primitives for the domain v2 architecture
NingLin-P Jul 6, 2023
458a309
Add block tree specific runtime config
NingLin-P Jul 6, 2023
b3e96dd
Impl block tree for the domain v2
NingLin-P Jul 6, 2023
95b61cc
Generate and import the genesis receipt to the block tree upon domain…
NingLin-P Jul 6, 2023
fb18078
Revise and add test utilities for upcomming block tree test
NingLin-P Jul 6, 2023
4b92468
Add block tree tests
NingLin-P Jul 10, 2023
520257e
Apply review suggestions
NingLin-P Jul 11, 2023
69302ff
Apply review suggestions
NingLin-P Jul 17, 2023
b07e070
Merge branch 'main' of github.com:subspace/subspace into block-tree-pr
NingLin-P Jul 17, 2023
3c45f01
Fix domain tests
NingLin-P Jul 17, 2023
36297c1
Apply review suggestions
NingLin-P Jul 18, 2023
5cce800
Merge branch 'main' of github.com:subspace/subspace into block-tree-pr
NingLin-P Jul 18, 2023
d946795
Merge branch 'main' of github.com:subspace/subspace into block-tree-pr
NingLin-P Jul 18, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

32 changes: 16 additions & 16 deletions crates/pallet-domains/src/benchmarking.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,11 +22,11 @@ mod benchmarks {
/// - The receipts will prune a expired receipt
#[benchmark]
fn submit_system_bundle() {
let receipts_pruning_depth = T::ReceiptsPruningDepth::get().saturated_into::<u32>();
let block_tree_pruning_depth = T::BlockTreePruningDepth::get().saturated_into::<u32>();

// Import `ReceiptsPruningDepth` number of receipts which will be pruned later
run_to_block::<T>(1, receipts_pruning_depth);
for i in 0..receipts_pruning_depth {
// Import `BlockTreePruningDepth` number of receipts which will be pruned later
run_to_block::<T>(1, block_tree_pruning_depth);
for i in 0..block_tree_pruning_depth {
let receipt = ExecutionReceipt::dummy(i.into(), block_hash_n::<T>(i));
let bundle = create_dummy_bundle_with_receipts_generic(
DOMAIN_ID,
Expand All @@ -38,18 +38,18 @@ mod benchmarks {
}
assert_eq!(
Domains::<T>::head_receipt_number(),
(receipts_pruning_depth - 1).into()
(block_tree_pruning_depth - 1).into()
);

// Construct a bundle that contains a new receipt
run_to_block::<T>(receipts_pruning_depth + 1, receipts_pruning_depth + 2);
run_to_block::<T>(block_tree_pruning_depth + 1, block_tree_pruning_depth + 2);
let receipt = ExecutionReceipt::dummy(
receipts_pruning_depth.into(),
block_hash_n::<T>(receipts_pruning_depth),
block_tree_pruning_depth.into(),
block_hash_n::<T>(block_tree_pruning_depth),
);
let bundle = create_dummy_bundle_with_receipts_generic(
DOMAIN_ID,
(receipts_pruning_depth + 1).into(),
(block_tree_pruning_depth + 1).into(),
Default::default(),
receipt,
);
Expand All @@ -59,7 +59,7 @@ mod benchmarks {

assert_eq!(
Domains::<T>::head_receipt_number(),
receipts_pruning_depth.into()
block_tree_pruning_depth.into()
);
assert_eq!(Domains::<T>::oldest_receipt_number(), 1u32.into());
}
Expand All @@ -82,11 +82,11 @@ mod benchmarks {
/// - The fraud proof will revert the maximal possible number of receipts
#[benchmark]
fn submit_system_domain_invalid_state_transition_proof() {
let receipts_pruning_depth = T::ReceiptsPruningDepth::get().saturated_into::<u32>();
let block_tree_pruning_depth = T::BlockTreePruningDepth::get().saturated_into::<u32>();

// Import `ReceiptsPruningDepth` number of receipts which will be revert later
run_to_block::<T>(1, receipts_pruning_depth);
for i in 0..receipts_pruning_depth {
// Import `BlockTreePruningDepth` number of receipts which will be revert later
run_to_block::<T>(1, block_tree_pruning_depth);
for i in 0..block_tree_pruning_depth {
let receipt = ExecutionReceipt::dummy(i.into(), block_hash_n::<T>(i));
let bundle = create_dummy_bundle_with_receipts_generic(
DOMAIN_ID,
Expand All @@ -98,10 +98,10 @@ mod benchmarks {
}
assert_eq!(
Domains::<T>::head_receipt_number(),
(receipts_pruning_depth - 1).into()
(block_tree_pruning_depth - 1).into()
);

// Construct a fraud proof that will revert `ReceiptsPruningDepth` number of receipts
// Construct a fraud proof that will revert `BlockTreePruningDepth` number of receipts
let proof: FraudProof<T::BlockNumber, T::Hash> =
FraudProof::InvalidStateTransition(dummy_invalid_state_transition_proof(DOMAIN_ID, 0));

Expand Down
Loading
Loading