- FOCIL EIP-7805 passa dalla fase di ricerca alla pianificazione diretta per il prossimo fork Hegota.
- Buterin afferma che FOCIL con EIP-8141 consente a smart wallet e transazioni private di essere incluse in 1-2 slot.
- Con 17 includer casuali in ogni slot, le prove di sicurezza riducono le probabilità di censura sotto lo 0,01%.
Gli sviluppatori di Ethereum hanno avanzato le Fork-Choice Enforced Inclusion Lists, note come EIP-7805, come aggiornamento fondamentale del consenso per il prossimo fork Hegota. La proposta si avvicina alla pianificazione dell'implementazione dopo che il contributor Soispoke.eth ha dichiarato che la funzione è stata "SFI’d", indicando un allineamento interno. Questo sviluppo pone la resistenza alla censura e le garanzie di inclusione delle transazioni al centro del prossimo ciclo di aggiornamento di Ethereum.
L’aggiornamento ha ricevuto anche il sostegno pubblico del co-fondatore di Ethereum Vitalik Buterin, che ha descritto il funzionamento di FOCIL in parallelo ai miglioramenti dell’astrazione degli account. Ha dichiarato su X che FOCIL consente l’inclusione rapida e resistente alla censura di qualsiasi transazione. Ha spiegato che il design si abbina a EIP-8141 per espandere l’accesso diretto on-chain per smart wallet e protocolli di privacy.
Gli sviluppatori hanno impiegato diciotto mesi per costruire le prove di sicurezza di FOCIL. I ricercatori hanno modellato collusioni tra validatori, tentativi di coercizione ed exploit del protocollo. La loro analisi ha rilevato che selezionare 17 partecipanti per slot riduce il rischio di censura sotto lo 0,01 percento anche in condizioni pessimistiche.
Design e Modello di Sicurezza di FOCIL
FOCIL introduce piccole inclusion list a livello di consenso. Nella sua iterazione attuale, ogni lista misura 8 kilobyte. Buterin ha detto che la dimensione rimane intenzionalmente ridotta, ma gli sviluppatori possono ampliarla in futuro se i blocchi richiederanno che porzioni maggiori di transazioni passino tramite i FOCIL.
Ha spiegato che 17 attori scelti casualmente partecipano a ogni slot. Questi attori includono il proponente del blocco e gli includer designati. Secondo Buterin, questa struttura consente l’inclusione quasi certa delle transazioni entro uno o due slot, anche in condizioni avverse.
I ricercatori hanno progettato il sistema per contrastare i rischi di centralizzazione dei validatori. Buterin ha dichiarato che anche se ogni slot fosse venduto tramite la separazione proposer-builder a un attore ostile, le transazioni potrebbero comunque essere incluse rapidamente. Ha aggiunto che FOCIL non elimina la centralizzazione dei proponenti, ma ne limita l’influenza.
Sinergeticità con l’Astrazione degli Account
FOCIL opera insieme a EIP-8141, che si basa su EIP-7701. Buterin ha detto che EIP-8141 conferisce agli smart account uno status di prima classe on-chain. Ha sottolineato che ciò include account multisig, firme resistenti ai computer quantistici, cambi di chiavi e funzionalità di sponsorizzazione del gas.
Ha aggiunto che anche i protocolli di privacy possono ottenere diritti di inclusione diretta. Le transazioni da questi account non richiedono più wrapper o broadcaster esterni. Invece, possono entrare in una mempool pubblica e passare direttamente a un includer FOCIL.
In precedenza, i modelli avanzati di smart wallet incontravano attriti operativi. Dipendevano da layer aggiuntivi e potevano subire discriminazioni nel processamento. Con lo status nativo garantito da EIP-8141, il protocollo li tratta allo stesso modo degli account posseduti esternamente.
Correlato: Vitalik Buterin difende la neutralità e la libertà di parola di Ethereum
Interazione con i Design MEV e MCP
Buterin ha confrontato la struttura di FOCIL con vari design a proponenti concorrenti. Ha affermato che FOCIL condivide alcune proprietà con i sistemi MCP. Tuttavia, non tenta di controllare il ruolo “last look” rilevante per il MEV.
Invece, il protocollo continua a mettere all’asta la funzione last look attraverso la separazione crittografata proposer-builder. Buterin ha notato che il comportamento MCP dipende molto dalle specifiche di design. Invece, FOCIL isola le garanzie di inclusione dal controllo MEV.
Ha descritto l’approccio come un modo per indebolire comportamenti abusivi dei proponenti. Se attori ostili si rifiutano di connettersi a mempool pubbliche o discriminano le applicazioni, FOCIL consente comunque l’inclusione tramite includer selezionati casualmente. Questo design mira a garantire una rapida elaborazione delle transazioni in qualsiasi condizione di rete.
Man mano che Ethereum avanza verso il fork Hegota, gli sviluppatori ora passano dalla ricerca alla pianificazione dell’implementazione di FOCIL ed EIP-8141. Con 17 attori selezionati per slot e liste di inclusione da 8 kilobyte, la rete punta a garantire quasi sempre l’inclusione entro due slot. Questo modello potrebbe ridefinire le garanzie di inclusione delle transazioni in ambienti blockchain avversi?
