bal-codec 0.1.1

EIP-7928 Block-Level Access List: RLP decoding, hashing, verification. Knows nothing about Solidity.
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103

//! Wire structures. This file — and only this file — mirrors the EIP text.
//! A spec change lands here as field edits; derive macros regenerate RLP.

use alloy_primitives::{Address, Bytes, U256};
use alloy_rlp::{RlpDecodable, RlpEncodable};

/// Position of a change in the block's life cycle.
/// `0` = pre-execution system calls, `1..=n` = transactions, `n+1` = post-execution.
pub type BlockAccessIndex = u32;

/// One write to a storage slot.
#[derive(Clone, Debug, PartialEq, Eq, RlpEncodable, RlpDecodable)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub struct StorageChange {
    /// Where in the block the write happened.
    pub block_access_index: BlockAccessIndex,
    /// Post-value. There are no pre-values anywhere in a BAL.
    pub value: U256,
}

/// One balance change.
#[derive(Clone, Debug, PartialEq, Eq, RlpEncodable, RlpDecodable)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub struct BalanceChange {
    /// Where in the block the change happened.
    pub block_access_index: BlockAccessIndex,
    /// Balance after the change.
    pub post_balance: U256,
}

/// One nonce change.
#[derive(Clone, Debug, PartialEq, Eq, RlpEncodable, RlpDecodable)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub struct NonceChange {
    /// Where in the block the change happened.
    pub block_access_index: BlockAccessIndex,
    /// Nonce after the change.
    pub new_nonce: u64,
}

/// One code change (deployment or self-destruct).
#[derive(Clone, Debug, PartialEq, Eq, RlpEncodable, RlpDecodable)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub struct CodeChange {
    /// Where in the block the change happened.
    pub block_access_index: BlockAccessIndex,
    /// Code after the change.
    pub new_code: Bytes,
}

/// All writes to one slot within the block.
#[derive(Clone, Debug, PartialEq, Eq, RlpEncodable, RlpDecodable)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub struct SlotChanges {
    /// Slot key.
    pub slot: U256,
    /// Sorted by `block_access_index`, non-empty.
    pub changes: Vec<StorageChange>,
}

/// Everything that happened to one account within the block.
#[derive(Clone, Debug, PartialEq, Eq, RlpEncodable, RlpDecodable)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub struct AccountChanges {
    /// Account address.
    pub address: Address,
    /// Sorted by slot key.
    pub storage_changes: Vec<SlotChanges>,
    /// Keys only — slots read (or written with an unchanged value). Sorted.
    pub storage_reads: Vec<U256>,
    /// Sorted by index.
    pub balance_changes: Vec<BalanceChange>,
    /// Sorted by index.
    pub nonce_changes: Vec<NonceChange>,
    /// Sorted by index.
    pub code_changes: Vec<CodeChange>,
}

/// The whole list. Wire form is a bare RLP list of `AccountChanges`
/// (no wrapping struct), so encoding is transparent over `accounts`.
#[derive(Clone, Debug, Default, PartialEq, Eq)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
pub struct BlockAccessList {
    /// Sorted by address; every touched account appears exactly once.
    pub accounts: Vec<AccountChanges>,
}

impl alloy_rlp::Encodable for BlockAccessList {
    fn encode(&self, out: &mut dyn alloy_rlp::BufMut) {
        self.accounts.encode(out)
    }
    fn length(&self) -> usize {
        self.accounts.length()
    }
}

impl alloy_rlp::Decodable for BlockAccessList {
    fn decode(buf: &mut &[u8]) -> alloy_rlp::Result<Self> {
        Ok(Self {
            accounts: Vec::<AccountChanges>::decode(buf)?,
        })
    }
}