You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -15,34 +15,34 @@ Note: This file is copied from [here](https://github.com/ethereum/pm/issues/1266
15
15
16
16
The meeting had no formal presentation but focused on updates and discussions related to the implementation and testing of features for clients.
17
17
18
-
## Key Highlights
18
+
###Key Highlights
19
19
-**FOCIL as a Hard Fork**: Terence suggested making FOCIL its own hard fork instead of merging it into Fulu, improving tooling and testing flexibility.
20
20
-**Testing Scenarios**: Initial tests covered transaction inclusion and basic functionalities, but censorship testing and equivocation scenarios still need exploration.
21
21
-**Multiple EL Scenarios**: Challenges in handling various EL cases and ensuring comprehensive test coverage were discussed.
22
22
-**Simulating Censorship**: Different methods, such as modifying mempools and controlled test environments, were considered.
23
23
-**Testing Challenges**: Jihoon highlighted client variations in censoring and equivocating behaviors, suggesting tools like Kurtosis for reproducible scenarios.
24
24
-**Interop Testing**: Additional insights on transaction handling and interop testing were shared.
George, Benedict, and Thomas published **zkFOCIL**, which introduces an approach that allows includers to propose inclusion lists without revealing their identity. We really want to push this further and encourage anyone interested to reach out—either by applying to the academic grants round or implementing a prototype.
18
18
19
-
## Compatibilities with Other Proposals
19
+
####Compatibilities with Other Proposals
20
20
21
21
### FOCIL and Delayed Execution
22
22
Thomas reviewed how **FOCIL** can work with **Delayed Execution** by Toni and Francesco and identified potential inherent incompatibilities. In **Delayed Execution**, blocks are validated while transactions are executed asynchronously. However, in **FOCIL**, if any IL transaction is missing in a payload, attesters should execute the payload to determine whether the missing transaction is invalid.
@@ -48,7 +48,7 @@ Further research is needed to analyze these trade-offs.
48
48
## FOCIL Progress Tracker
49
49
Jihoon and Thomas created a **progress tracker** for all clients, allowing everyone to check the current status. They will update it frequently, so reach out if you'd like your progress reflected.
50
50
51
-
## Implementation Updates
51
+
###Implementation Updates
52
52
-**Nethermind** is working on interop with **Prysm**.
53
53
-**Lodestar**:
54
54
- Finished basic implementation, reviewed code internally, and tried interop with **Geth**.
@@ -70,10 +70,10 @@ Jihoon and Thomas created a **progress tracker** for all clients, allowing every
70
70
- Still under development.
71
71
- After implementing **fork-choice** and **beacon APIs**, Teku is **ready for interop**.
72
72
73
-
## Issue with Dora
73
+
###Issue with Dora
74
74
**Dora** doesn't recognize **EIP-7805** blocks, so CLs had to hard-code the beacon block's version to **Electra**. This was due to miscommunication, but **Dora will alias EIP-7805 as Electra** moving forward.
75
75
76
-
## PEEPanEIP
76
+
###PEEPanEIP
77
77
**Thomas and Julian** had a podcast with **Pooja**. A recording should be published this week.
There was a [thread](https://x.com/adietrichs/status/1892951240524403089) on solo stakers and censorship resistance on Twitter. We want to scale Ethereum without compromising verifiability and censorship resistance. While Ethereum’s censorship resistance relies on solo stakers who locally build blocks, they currently forgo potential profits from MEV-boost to uphold censorship resistance. FOCIL eliminates this trade-off between profits and values by allowing solo stakers to continue influencing block content decisions without sacrificing revenue. Consequently, FOCIL opens the door to more effective scaling solutions such as deeper exploration into PBS and APS.
19
19
20
-
## Compatibilities with Other Proposals
20
+
###Compatibilities with Other Proposals
21
21
22
22
Francesco suggested a way to make FOCIL compatible with [Delayed Execution](https://ethresear.ch/t/delayed-execution-and-skipped-transactions/21677). It enables “dry-run” IL validation during the static validation phase. It adds a bitfield over the IL committee to a block, and a proposer marks the bits corresponding to the ILs considered during block construction. During the static validation phase, attesters check whether the ILs specified in the bitfield form a superset of the ILs they collected. They do not verify that all IL transactions are included; they focus solely on whether the bitfield matches or exceeds their own IL set.
23
23
24
24
In the next slot, the proposer confirms whether the head block contains all valid transactions from the ILs specified in the bitfield. If it does, the proposer extends the head block; otherwise, they extend the parent block. Attesters follow the same process to determine whether to vote for the head block or its parent.
25
25
26
26
This [approach](https://hackmd.io/UX7Vhsv8RTy8I49Uxez3Ng) is similar to the one used to make FOCIL compatible with ePBS.
27
27
28
-
## Adding Randomness to IL Building Rules to Optimize Throughput
28
+
###Adding Randomness to IL Building Rules to Optimize Throughput
29
29
30
30
Marc proposed an IL building approach that leverages randomness to reduce overlap among ILs and optimize throughput. In this approach, each IL committee member is assigned an ID from `0` to `f`, and the member with ID `a` is instructed to favor transactions whose hashes begin with `a`. More details can be found in the [Ethereum Magicians post](https://ethereum-magicians.org/t/eip-7805-committee-based-fork-choice-enforced-inclusion-lists-focil/21578/6) and this [PR](https://github.com/ethereum/EIPs/pull/9396).
31
31
32
32
Terence suggested waiting until we have a better understanding of how client diversity plays out before making any premature optimizations. In the meantime, further study on this topic is encouraged. However, Terence also agreed that the EIP should provide clearer recommendations on the properties each client can reference when implementing IL construction.
33
33
34
34
Marc’s proposal could be a viable solution if prioritizing throughput, but additional research is needed before making changes. In the meantime, the EIP can be updated to include clearer recommendations on which properties to consider when implementing IL construction.
35
35
36
-
## The Interop Between Prysm and Lodestar
36
+
###The Interop Between Prysm and Lodestar
37
37
38
38
Prysm and Lodestar are currently failing to interop due to an invalid signature issue, possibly related to signing over the wrong fork version or another cause. The issue is under investigation, and once resolved, the first interop between CLs is expected.
39
39
40
-
## Implementation Updates
40
+
###Implementation Updates
41
41
42
42
-**Geth**: Fixed bugs to avoid marking non-IL-compliant blocks as invalid and allowing them to be reorged instead. Also supports the transition from Electra to Fulu and subsequently to EIP-7805 fork.
43
43
-**Nethermind**: Opened a [PR](https://github.com/ethereum/EIPs/pull/9381) to flesh out engine API changes in the EIP. Reported a bug in Geth where non-IL-compliant blocks were marked as invalid instead of remaining valid and being reorged. Fixed the issue in Nethermind's implementation as well.
@@ -48,11 +48,11 @@ Prysm and Lodestar are currently failing to interop due to an invalid signature
48
48
-**Lighthouse**: Absent during the call.
49
49
-**Metrics Dashboard**: Katya is developing a metrics dashboard with Prysm and may have it ready to share during the next breakout session.
50
50
51
-
## Consensus Hong Kong
51
+
###Consensus Hong Kong
52
52
53
53
Jihoon delivered an ELI5 presentation on FOCIL at Consensus Hong Kong. The recording is available [here](https://consensus-hongkong2025.coindesk.com/agenda/event/-protocol-village-52), starting at approximately 28:13.
54
54
55
-
## Links
55
+
###Links
56
56
57
57
-[A thread on FOCIL and Scaling](https://x.com/adietrichs/status/1892951240524403089)
58
58
-[IL Tx Scoring Function in FOCIL](https://hackmd.io/@ttsao/il-tx-scoring)
0 commit comments