Repository navigation
ethlib 0.2.0
First release of the Python package under the name ethlib: pip install ethlib==0.2.0 (PyPI).
The previous tag, v0.1.0, predates the rename.
What it contains
Lean 4 specifications with their proofs:
- BLS12-381 signatures
- KZG polynomial commitments
- XMSS signatures (BLAKE2s-256, the Winternitz one-time signature and the target-sum encoding)
The Python package exposes BLS (ethlib.cryptography.bls) and KZG (ethlib.cryptography.kzg), compiled from the same Lean code.
XMSS has no Python binding in this release.
Wheels
The wheels cover CPython 3.10 to 3.14, including the free-threaded 3.14t, on Linux x86_64 and aarch64 (manylinux_2_34) and on macOS arm64.
An sdist is published too.
Full list of changes: v0.1.0...v0.2.0