unified-bridge 0.8.0

unified-bridge contains structs and traits for the unified bridge protocol.
Documentation 
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

use agglayer_primitives::Digest;
use serde::{Deserialize, Serialize};
use sha2::{Digest as Sha256Digest, Sha256};

use crate::NetworkId;

/// Public values to verify the SP1 aggchain proof.
#[derive(Debug, Clone, Serialize, Deserialize, PartialEq)]
#[cfg_attr(feature = "testutils", derive(arbitrary::Arbitrary))]
pub struct AggchainProofPublicValues {
    /// Previous local exit root.
    pub prev_local_exit_root: Digest,

    /// New local exit root.
    pub new_local_exit_root: Digest,

    /// L1 info root used to import bridge exits.
    pub l1_info_root: Digest,

    /// Origin network for which the proof was generated.
    pub origin_network: NetworkId,

    /// Commitment to the imported bridge exits indexes.
    pub commit_imported_bridge_exits: Digest,

    /// Chain-specific commitment forwarded by the PP.
    pub aggchain_params: Digest,
}

impl AggchainProofPublicValues {
    pub fn hash(&self) -> [u8; 32] {
        let AggchainProofPublicValues {
            prev_local_exit_root,
            new_local_exit_root,
            l1_info_root,
            origin_network,
            commit_imported_bridge_exits,
            aggchain_params,
        } = self;

        let public_values = [
            prev_local_exit_root.as_slice(),
            new_local_exit_root.as_slice(),
            l1_info_root.as_slice(),
            &origin_network.to_le_bytes(),
            commit_imported_bridge_exits.as_slice(),
            aggchain_params.as_slice(),
        ]
        .concat();

        Sha256::digest(&public_values).into()
    }
}