ERC 2537 Demo

Warning

🚧 Work in Progress 🚧
Explanation of how things works is remaining, code is working correctly.

This project implement on-chain BLS signature verification using EIP-2537 precompiles. It also uses Solady BLS.sol library to do the verification.

Prerequisite

This project has both a foundry and a python project so make sure you have foundry and python along with uv (python package & project manager) installed.

If not you can install those by following their documentation:

• foundry: https://book.getfoundry.sh/getting-started/installation
• python: https://docs.astral.sh/uv/guides/install-python/
• uv: https://docs.astral.sh/uv/getting-started/installation/

Building & Testing

After all that is installed, let's first clone the repo:

git clone git@github.com:nikbhintade/bls-verification-eip-2537.git .
cd bls-verification-eip-2537

Python project

Note

You don’t need to run Python part. After checking out the Solady repo tests and how BLS tests are written there, I’ve updated the tests. But since I already wrote the Python code snippet, I don’t want to remove it. If I create a new project for the BLS snippet, I’ll take it from here, but for now, it’s staying.

First we need to install the python dependencies

cd bls-py
uv sync

Activate the virtual environment with following command:

source .venv/bin/activate

Finally we can run our bls.py to generate a signature

uv run bls-single.py # generate single signature
uv run bls-aggregate.py # generate aggregated signature

cd ..

This will generate a file called points.json with public key and signature. I will explain why they are structured the way they are in a tutorial soon but keep that in mind.

Foundry Project

Install dependencies

forge soldeer install

Run tests (where you can see the signature getting verified):

forge test -vvvv --odyssey

Remaining Work

Explaining BLS signatures and how verification works.