Issues

• Remove the duplicated Merkle trees

  ethereum/EthLib#161 · Filter by author tcoratger opened on Oct 30, 2026

• Decide what EthLib proves about the BLS12-381 pairing

  ethereum/EthLib#125 · Filter by author alexanderlhicks opened on Oct 27, 2026
  4

• Generate each binding's contract from Lean

  ethereum/EthLib#110 · Filter by author alexanderlhicks opened on Oct 27, 2026
  1

• Choose how a release states its compatibility, its upgrade and its Lean version

  ethereum/EthLib#109 · Filter by author alexanderlhicks opened on Oct 27, 2026

• Split the proofs that need external libraries into packages of their own

  ethereum/EthLib#107 · Filter by author alexanderlhicks opened on Oct 27, 2026

• Apply the style guide to KZG

  ethereum/EthLib#106 · Filter by author alexanderlhicks opened on Oct 27, 2026

• Agree on a style guide for writing specifications

  ethereum/EthLib#105 · Filter by author alexanderlhicks opened on Oct 27, 2026

• Make EthLib usable as a dependency and as a conformance target

  ethereum/EthLib#104 · Filter by author alexanderlhicks opened on Oct 27, 2026

• feat(networking): add the first network codecs

  ethereum/EthLib#97 · Filter by author tcoratger opened on Oct 26, 2026

• feat(enr): add Ethereum Node Records

  ethereum/EthLib#96 · Filter by author tcoratger opened on Oct 26, 2026

• feat(fees): add the base fee and the blob base fee

  ethereum/EthLib#91 · Filter by author tcoratger opened on Oct 26, 2026

• feat: add the first EVM precompiles

  ethereum/EthLib#88 · Filter by author tcoratger opened on Oct 26, 2026

• feat(bls): add the EIP-2537 G1 and G2 addition precompiles

  ethereum/EthLib#84 · Filter by author tcoratger opened on Oct 26, 2026

• feat(bls): add the EIP-2537 pairing check precompile

  ethereum/EthLib#85 · Filter by author tcoratger opened on Oct 26, 2026

• feat(bls): add the EIP-2537 encodings

  ethereum/EthLib#83 · Filter by author tcoratger opened on Oct 26, 2026

• feat(kzg): add the point-evaluation precompile

  ethereum/EthLib#82 · Filter by author tcoratger opened on Oct 26, 2026

• feat(trie): verify a Merkle proof for one key

  ethereum/EthLib#75 · Filter by author tcoratger opened on Oct 26, 2026

• feat(trie): add the Merkle Patricia Trie

  ethereum/EthLib#76 · Filter by author tcoratger opened on Oct 26, 2026

• proof(trie): prove the root ignores insertion order

  ethereum/EthLib#74 · Filter by author tcoratger opened on Oct 26, 2026

• feat(trie): add the root of a key-value map

  ethereum/EthLib#73 · Filter by author tcoratger opened on Oct 26, 2026

• feat(trie): add hex-prefix encoding

  ethereum/EthLib#72 · Filter by author tcoratger opened on Oct 26, 2026

• Specify SPHINCS in lean

  ethereum/EthLib#41 · Filter by author kevaundray opened on Oct 1, 2026
  2

• Specify XMSS in Lean

  enhancement
  ethereum/EthLib#29 · Filter by author tcoratger opened on Sep 21, 2026

• Add CI that builds the library and the proofs

  enhancementgood first issue
  ethereum/EthLib#11 · Filter by author tcoratger opened on Sep 21, 2026

• Prove consistency of TrustedSetupData

  ethereum/EthLib#7 · Filter by author b-wagn opened on Jul 21, 2026