Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
// Copyright 2019-2023 Parity Technologies (UK) Ltd.
// This file is part of Parity Bridges Common.
// Parity Bridges Common 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.
// Parity Bridges Common 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
// along with Parity Bridges Common. If not, see <http://www.gnu.org/licenses/>.
use async_trait::async_trait;
use bp_header_chain::{FindEquivocations, HeaderFinalityInfo};
use finality_relay::{FinalityPipeline, SourceClientBase};
use relay_utils::{relay_loop::Client as RelayClient, TransactionTracker};
pub trait EquivocationDetectionPipeline: FinalityPipeline {
/// Block number of the target chain.
type TargetNumber: relay_utils::BlockNumberBase;
/// The context needed for validating finality proofs.
type FinalityVerificationContext;
/// The type of the equivocation proof.
type EquivocationProof;
/// The equivocations finder.
type EquivocationsFinder: FindEquivocations<
Self::FinalityProof,
Self::FinalityVerificationContext,
Self::EquivocationProof,
>;
}
/// Source client used in equivocation detection loop.
#[async_trait]
pub trait SourceClient<P: EquivocationDetectionPipeline>: SourceClientBase<P> {
/// Transaction tracker to track submitted transactions.
type TransactionTracker: TransactionTracker;
/// Report equivocation.
async fn report_equivocation(
&self,
at: P::Hash,
equivocation: P::EquivocationProof,
) -> Result<Self::TransactionTracker, Self::Error>;
}
/// Target client used in equivocation detection loop.
#[async_trait]
pub trait TargetClient<P: EquivocationDetectionPipeline>: RelayClient {
/// Get the data stored by the target at the specified block for validating source finality
/// proofs.
async fn finality_verification_context(
&self,
at: P::TargetNumber,
) -> Result<P::FinalityVerificationContext, Self::Error>;
/// Get the finality info associated to the source headers synced with the target chain at the
/// specified block.
async fn synced_headers_finality_info(
&self,
at: P::TargetNumber,
) -> Result<
Vec<HeaderFinalityInfo<P::FinalityProof, P::FinalityVerificationContext>>,
Self::Error,
>;
}