ckzg_kzg_proof_computation_and_verification_from_blob.py

1import ckzg
2
3# The path to the trusted setup file (e.g., from the kzg-setup-scripts or EIP-4844)
4TRUSTED_SETUP_PATH = "trusted_setup.txt"
5
6# 1. Load the trusted setup
7# This must be done once before performing any KZG operations
8ts = ckzg.load_trusted_setup(TRUSTED_SETUP_PATH)
9
10# 2. Create a dummy blob (must be 131072 bytes for EIP-4844)
11# In a real scenario, this would be your data padded correctly
12blob = b"\x00" * 131072
13
14# 3. Compute the KZG commitment for the blob
15commitment = ckzg.blob_to_kzg_commitment(blob, ts)
16
17# 4. Compute the KZG proof for the blob
18proof = ckzg.compute_blob_kzg_proof(blob, commitment, ts)
19
20# 5. Verify the blob against the commitment and proof
21is_valid = ckzg.verify_blob_kzg_proof(blob, commitment, proof, ts)
22
23print(f"Commitment: {commitment.hex()}")
24print(f"Proof: {proof.hex()}")
25print(f"Verification successful: {is_valid}")