Issues

• proof(execution): share the fallible-result relation and close two gaps of tracker agreement

  ethereum/EthLib#2019 · Filter by author tcoratger opened on Nov 11, 2026

• refactor(snappy): share one chunk step between the frame decoder and the stopping reader

  ethereum/EthLib#2014 · Filter by author tcoratger opened on Nov 11, 2026

• docs: decide what master keeps ahead of its inclusion stage

  ethereum/EthLib#2011 · Filter by author alexanderlhicks opened on Nov 11, 2026

• meta: ten design questions for EthLib's maintainers

  ethereum/EthLib#1948 · Filter by author alexanderlhicks opened on Nov 10, 2026

• ci: measure lake check --paranoid on the whole project

  ethereum/EthLib#1947 · Filter by author alexanderlhicks opened on Nov 10, 2026

• build: keep a one-module consumer from building the whole specification

  ethereum/EthLib#1946 · Filter by author alexanderlhicks opened on Nov 10, 2026

• docs: decide where known answers may run in Lean

  ethereum/EthLib#1945 · Filter by author alexanderlhicks opened on Nov 10, 2026

• proofs: a call to a system contract with too little gas

  ethereum/EthLib#1839 · Filter by author tcoratger opened on Nov 10, 2026

• proofs: every call of a body keeps the access list following the block

  ethereum/EthLib#1826 · Filter by author tcoratger opened on Nov 10, 2026
  2

• proof(evm): every account and key that a call reads reaches the state tracker

  ethereum/EthLib#1763 · Filter by author tcoratger opened on Nov 10, 2026
  4

• specs: the second case of an optimistic node from Gloas

  ethereum/EthLib#1728 · Filter by author tcoratger opened on Nov 10, 2026

• meta: standards outside the two specification repositories

  ethereum/EthLib#1494 · Filter by author tcoratger opened on Nov 7, 2026

• specs: add the Sepolia chain configuration and genesis

  ethereum/EthLib#1487 · Filter by author tcoratger opened on Nov 7, 2026
  1

• meta: every network, not only mainnet

  ethereum/EthLib#1485 · Filter by author tcoratger opened on Nov 7, 2026

• meta: block production and the Engine API

  ethereum/EthLib#1467 · Filter by author tcoratger opened on Nov 7, 2026

• meta: complete coverage at Gloas and Heze

  ethereum/EthLib#1466 · Filter by author tcoratger opened on Nov 7, 2026

• proofs: the state transition never aborts on a state that holds its code

  ethereum/EthLib#1459 · Filter by author tcoratger opened on Nov 7, 2026
  1

• proofs: the writes of a block access list rebuild the post-state

  ethereum/EthLib#1457 · Filter by author tcoratger opened on Nov 7, 2026
  2

• proofs: the fast confirmation rule is safe under synchrony

  ethereum/EthLib#1458 · Filter by author tcoratger opened on Nov 7, 2026
  19

• proofs: the weak subjectivity period keeps a slashable fraction of the stake

  ethereum/EthLib#1451 · Filter by author tcoratger opened on Nov 7, 2026
  5

• meta: consensus research models

  ethereum/EthLib#1446 · Filter by author tcoratger opened on Nov 7, 2026

• meta: safety properties of the EVM and the block

  ethereum/EthLib#1447 · Filter by author tcoratger opened on Nov 7, 2026

• proofs: balance-weighted selection follows effective balance in the random oracle model

  ethereum/EthLib#1443 · Filter by author tcoratger opened on Nov 7, 2026
  3

• proofs: the inactivity leak returns two thirds of the stake to participants

  ethereum/EthLib#1436 · Filter by author tcoratger opened on Nov 7, 2026
  4

• meta: binding, replay protection and ether accounting of the execution layer

  ethereum/EthLib#1433 · Filter by author tcoratger opened on Nov 7, 2026