Issues

• Add PQ VRF construction

  ethereum/EthLib#150 · Filter by author kevaundray opened on Oct 29, 2026
  1

• 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(enr): add Ethereum Node Records

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

• feat(networking): add the first network codecs

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

• feat(networking): add the gossip message ID

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

• feat(hash): add CRC-32C

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

• feat(snappy): add Snappy block decompression

  ethereum/EthLib#94 · 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(fees): add the EIP-1559 base fee

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

• feat(fees): add the blob base fee

  ethereum/EthLib#90 · 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(hash): add the BLAKE2b compression function F

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

• feat(hash): add RIPEMD-160

  ethereum/EthLib#86 · 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(secp256k1): add secp256k1 ECDSA

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

• feat(secp256k1): add the address of a public key

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