Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

Companion for substrate#12530: Consolidate and deduplicate MMR API methods #6167

Merged
merged 10 commits into from
Nov 9, 2022
Merged

Companion for substrate#12530: Consolidate and deduplicate MMR API methods #6167

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
17926cb
histor. batch proof: make best block arg optional
Lederstrumpf Oct 17, 2022
b83d62c
make generate_batch_proof stub for historical
Lederstrumpf Oct 18, 2022
114a563
merge generate_{historical_}batch_proof functions
Lederstrumpf Oct 18, 2022
c0beb0f
merge generate_{batch_}proof functions
Lederstrumpf Oct 18, 2022
eb7a29c
merge verify_{batch_}proof functions
Lederstrumpf Oct 18, 2022
b07d248
merge verify_{batch_}proof_stateless functions
Lederstrumpf Oct 18, 2022
d5d48cc
rename BatchProof->Proof
Lederstrumpf Oct 19, 2022
db4ccdb
Merge remote-tracking branch 'upstream/master' into consolidate-and-d…
Lederstrumpf Nov 8, 2022
fe02afd
Merge remote-tracking branch 'upstream/master' into consolidate-and-d…
Lederstrumpf Nov 9, 2022
0c08fc4
update lockfile for {"substrate"}
Nov 9, 2022
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
Prev Previous commit
Next Next commit
merge verify_{batch_}proof functions
  • Loading branch information
@Lederstrumpf
Lederstrumpf committed Oct 18, 2022
commit eb7a29c8ee43c94635d8706d4b82af7a2b8553ed
8 changes: 1 addition & 7 deletions runtime/kusama/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1715,12 +1715,6 @@ sp_api::impl_runtime_apis! {
}

impl mmr::MmrApi<Block, Hash, BlockNumber> for Runtime {
fn verify_proof(_leaf: mmr::EncodableOpaqueLeaf, _proof: mmr::Proof<Hash>)
-> Result<(), mmr::Error>
{
Err(mmr::Error::PalletNotIncluded)
}

fn verify_proof_stateless(
_root: Hash,
_leaf: mmr::EncodableOpaqueLeaf,
Expand All @@ -1740,7 +1734,7 @@ sp_api::impl_runtime_apis! {
Err(mmr::Error::PalletNotIncluded)
}

fn verify_batch_proof(_leaves: Vec<mmr::EncodableOpaqueLeaf>, _proof: mmr::BatchProof<Hash>)
fn verify_proof(_leaves: Vec<mmr::EncodableOpaqueLeaf>, _proof: mmr::BatchProof<Hash>)
-> Result<(), mmr::Error>
{
Err(mmr::Error::PalletNotIncluded)
Expand Down
8 changes: 1 addition & 7 deletions runtime/polkadot/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1809,12 +1809,6 @@ sp_api::impl_runtime_apis! {
}

impl mmr::MmrApi<Block, Hash, BlockNumber> for Runtime {
fn verify_proof(_leaf: mmr::EncodableOpaqueLeaf, _proof: mmr::Proof<Hash>)
-> Result<(), mmr::Error>
{
Err(mmr::Error::PalletNotIncluded)
}

fn verify_proof_stateless(
_root: Hash,
_leaf: mmr::EncodableOpaqueLeaf,
Expand All @@ -1834,7 +1828,7 @@ sp_api::impl_runtime_apis! {
Err(mmr::Error::PalletNotIncluded)
}

fn verify_batch_proof(_leaves: Vec<mmr::EncodableOpaqueLeaf>, _proof: mmr::BatchProof<Hash>)
fn verify_proof(_leaves: Vec<mmr::EncodableOpaqueLeaf>, _proof: mmr::BatchProof<Hash>)
-> Result<(), mmr::Error>
{
Err(mmr::Error::PalletNotIncluded)
Expand Down
13 changes: 1 addition & 12 deletions runtime/rococo/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1691,17 +1691,6 @@ sp_api::impl_runtime_apis! {
}

impl mmr::MmrApi<Block, Hash, BlockNumber> for Runtime {
fn verify_proof(leaf: mmr::EncodableOpaqueLeaf, proof: mmr::Proof<Hash>)
-> Result<(), mmr::Error>
{
pub type MmrLeaf = <<Runtime as pallet_mmr::Config>::LeafData as mmr::LeafDataProvider>::LeafData;
let leaf: MmrLeaf = leaf
.into_opaque_leaf()
.try_decode()
.ok_or(mmr::Error::Verify)?;
Mmr::verify_leaves(vec![leaf], mmr::Proof::into_batch_proof(proof))
}

fn verify_proof_stateless(
root: Hash,
leaf: mmr::EncodableOpaqueLeaf,
Expand Down Expand Up @@ -1732,7 +1721,7 @@ sp_api::impl_runtime_apis! {
)
}

fn verify_batch_proof(leaves: Vec<mmr::EncodableOpaqueLeaf>, proof: mmr::BatchProof<Hash>)
fn verify_proof(leaves: Vec<mmr::EncodableOpaqueLeaf>, proof: mmr::BatchProof<Hash>)
-> Result<(), mmr::Error>
{
pub type MmrLeaf = <<Runtime as pallet_mmr::Config>::LeafData as mmr::LeafDataProvider>::LeafData;
Expand Down
8 changes: 1 addition & 7 deletions runtime/test-runtime/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -920,12 +920,6 @@ sp_api::impl_runtime_apis! {
}

impl mmr::MmrApi<Block, Hash, BlockNumber> for Runtime {
fn verify_proof(_leaf: mmr::EncodableOpaqueLeaf, _proof: mmr::Proof<Hash>)
-> Result<(), mmr::Error>
{
Err(mmr::Error::PalletNotIncluded)
}

fn verify_proof_stateless(
_root: Hash,
_leaf: mmr::EncodableOpaqueLeaf,
Expand All @@ -945,7 +939,7 @@ sp_api::impl_runtime_apis! {
Err(mmr::Error::PalletNotIncluded)
}

fn verify_batch_proof(_leaves: Vec<mmr::EncodableOpaqueLeaf>, _proof: mmr::BatchProof<Hash>)
fn verify_proof(_leaves: Vec<mmr::EncodableOpaqueLeaf>, _proof: mmr::BatchProof<Hash>)
-> Result<(), mmr::Error>
{
Err(mmr::Error::PalletNotIncluded)
Expand Down
9 changes: 1 addition & 8 deletions runtime/westend/src/lib.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1449,13 +1449,6 @@ sp_api::impl_runtime_apis! {
}

impl mmr::MmrApi<Block, Hash, BlockNumber> for Runtime {
fn verify_proof(_leaf: mmr::EncodableOpaqueLeaf, _proof: mmr::Proof<Hash>)
-> Result<(), mmr::Error>
{

Err(mmr::Error::PalletNotIncluded)
}

fn verify_proof_stateless(
_root: Hash,
_leaf: mmr::EncodableOpaqueLeaf,
Expand All @@ -1477,7 +1470,7 @@ sp_api::impl_runtime_apis! {
Err(mmr::Error::PalletNotIncluded)
}

fn verify_batch_proof(_leaves: Vec<mmr::EncodableOpaqueLeaf>, _proof: mmr::BatchProof<Hash>)
fn verify_proof(_leaves: Vec<mmr::EncodableOpaqueLeaf>, _proof: mmr::BatchProof<Hash>)
-> Result<(), mmr::Error>
{

Expand Down