KZG Point Evaluation Test Vectors¶

This directory contains test vectors for the KZG point evaluation algorithm that are loaded and used throughout different tests.

Each file must contain a JSON list of objects, each with the following fields:

name: a string describing the test case
input: object containing commitment, proof, z and y
output: expected output of the evaluation, true, false or null.

Generating The Test Vectors (used in v1.0.6 and on)¶

From execution-spec-tests release v1.0.6 and on, the point evaluation test vectors were generated using commit 63aa303c from the official-kzg consensus-specs branch.

The test vectors were generated as following:

In the consensus-specs repo:

cd tests/generators/kzg_4844/
rm -rf /tmp/kzg_4844_output
mkdir /tmp/kzg_4844_output
python -m main --output /tmp/kzg_4844_output

In the execution-spec-tests repo:

cd tests/cancun/4844_blobs/point_evaluation_vectors/
pip install -r requirements.txt
python concat_kzg_vectors_to_json.py \
    --input /tmp/kzg_4844_output/general/deneb/kzg/verify_kzg_proof/kzg-mainnet/
    --output go_kzg_4844_verify_kzg_proof.json

Previous Versions of the Test Vectors (used up to v1.0.5)¶

The test vectors up and including execution-spec-tests release v1.0.5 were: - go_kzg_4844_verify_kzg_proof.json: test vectors from the go-kzg-4844 repository.