지연된 실행 및 무료 데이터 가용성
오늘날, 무료 데이터 가용성(DA)은 문제가 되지 않습니다. 모든 트랜잭션 발신자는 트랜잭션 실행 중 소비된 모든 리소스에 대해 지불해야 합니다. 온체인에 배치된 데이터는 콜데이터 또는 EIP-2930 접근 목록에 나열된 항목을 포함하여 가스 비용이 발생하므로, 수수료 없이 데이터를 게시하는 것은 불가능합니다.
2.3 가스 남은양(gas_left) 환불 없음
가스 남은양 환불을 제거하면 가스 사용량을 가짜로 크게 표시하는 것이 경제적으로 실행 불가능해집니다. 사용자는 실제 소비와 관계없이 선언된 가스 한도에 대해 전체 비용을 지불해야 합니다.
이는 빌더가 실행하기 매우 저렴한 대규모 트랜잭션을 포함하여 포함 목록을 우회하는 FOCIL에 대한 공격을 해결합니다.
분명히 이 옵션은 상당히 급진적인 사용자 경험 변화입니다.
2.4 가스 남은양 환불 및 낙관적 가스 사용량 포함
FOCIL 비호환성을 해결하는 또 다른 방법은 사전 검증과 낙관적 증명을 결합하는 것입니다. 이 접근 방식에서는 빌더가 설정해야 하는 새로운 헤더 필드인 block_gas_used를 도입합니다. 실행 후 block_gas_used가 실제 사용된 가스와 일치하는지 확인합니다. 일치하지 않으면 블록은 무효로 간주되어 재구성되어야 합니다.
이는 FOCIL에 도움이 됩니다. 검증자는 선언된 가스 사용량을 기반으로 포함 목록의 트랜잭션이 블록에 추가될 수 있었는지 신뢰할 수 있게 확인할 수 있습니다.
그러나 낙관적 증명과 관련된 포크 선택 복잡성은 여전히 적용됩니다. block_gas_used가 잘못된 블록은 정식이 되지 않지만, 여전히 그러한 블록에 대한 증명이 포크 선택에 영향을 미치도록 허용하고 싶을 수 있습니다.
| 접근 방식 | 발신자 사용자 경험 | 빌더 복잡성 | 포크 선택 복잡성 | 정적 검증 | 포실 호환성 | sum(tx.gas) < 블록 가스 한도 필요 |
|---|---|---|---|---|---|---|
| (1) |  동일 | 동일 |  더 높음^ | 아니오 | 낮음 (2단계 집행) | 아니오 |
| (2) gas_left 환불 없음 | 항상 전체 tx.gas 지불 | 동일 | 없음 | 예 | 예 | 예 |
| (2) gas_left 환불 | 동일 | 동일 | 없음 | 예 | 낮음 (2단계 집행) | 예 |
| (2) gas_left 환불 + (1) (낙관적 gas_used) | 동일 | 동일 | 더 높음^ | 아니오 | 예 | 아니오 |
| (2) gas_left 환불 + (3) 청구된 gas_used | 동일 | 코인베이스 자금 조달 | 없음 | 예^^ | 예 | 아니오 |
| (3) 포함 비용 | 동일 | 코인베이스 자금 조달 | 없음 | 예 | 낮음 (2단계 집행) | 아니오 |
| (4) | 동일 | 동일 | 없음 | 예 | 낮음 (2단계 집행) | 아니오 |
| (2) gas_left 환불 + (4) gas_used | 동일 | 동일 | 없음 | 예 | 예 | 아니오 |
