C-KZG-4844: A minimal library for EIP-4844 Polynomial Commitments

This is a copy of C-KZG stripped-down to support the Polynomial Commitments API:

• compute_aggregate_kzg_proof
• verify_aggregate_kzg_proof
• blob_to_kzg_commitment
• verify_kzg_proof

We also provide functions for loading/freeing the trusted setup:

• load_trusted_setup
• load_trusted_setup_file
• free_trusted_setup

Installation

Initialize the blst submodule:

git submodule update --init

Build blst:

cd src
make blst

Build the C-KZG code:

cd src
make