gnosis/lighthouse
1
0
Fork 0
mirror of https://github.com/sigp/lighthouse.git synced 2026-05-30 12:47:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #46 from eserilev/fix/record-il-satisfaction-on-envelope-import

Browse Source 
fix(focil): record inclusion list satisfaction on envelope import
This commit is contained in:
Eitan Seri-Levi
2026-05-19 00:02:34 -07:00
committed by GitHub
parent 299ed09d7e af2fcac444
commit 402a744819
2 changed files with 42 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
consensus/proto_array/src/proto_array.rs
View File

@@ -1509,17 +1509,28 @@ impl ProtoArray {
proto_node: &ProtoNode,
proposer_boost_root: Hash256,
) -> Result<bool, Error> {
// Per spec: is_payload_inclusion_list_satisfied returns false unless the
// root is in the map AND the value is true.
if !self
.payload_inclusion_list_satisfaction
.get(&fc_node.root)
.copied()
.unwrap_or(false)
// Per spec (Gloas): if not is_payload_verified(store, root): return False
// In our implementation, payload_received == True means the envelope was received.
if !proto_node
.payload_received()
.map_err(|_| Error::InvalidNodeVariant { block_root: fc_node.root })?
{
return Ok(false);
}
// Per spec (Heze/FOCIL): is_payload_inclusion_list_satisfied check.
// Only applies when the IL satisfaction map has entries (i.e., heze is active).
// For gloas-only slots where no IL exists, the map won't contain the root,
// but we should NOT gate on this — only check if the root IS in the map.
if let Some(&satisfied) = self
.payload_inclusion_list_satisfaction
.get(&fc_node.root)
{
if !satisfied {
return Ok(false);
}
}
// Per spec: `proposer_root == Root()` is one of the `or` conditions that
// makes `should_extend_payload` return True.
if proposer_boost_root.is_zero() {