diff --git a/min-bindings/python/py_ecc_tests.py b/min-bindings/python/py_ecc_tests.py index 20106d2..2faf255 100644 --- a/min-bindings/python/py_ecc_tests.py +++ b/min-bindings/python/py_ecc_tests.py @@ -69,3 +69,8 @@ commitment_pyecc = kzg_proofs.commit_to_poly(polynomial, ts_pyecc) commitment_ckzg = ckzg.blob_to_kzg_commitment([ckzg.bytes_to_bls_field(r.to_bytes(32, "little")) for r in polynomial_l_rbo], ts) assert compress_G1(commitment_pyecc).to_bytes(48, "big") == ckzg.bytes_from_g1(commitment_ckzg) + +proof_pyecc = kzg_proofs.compute_proof_single(polynomial, x, ts_pyecc) +proof_ckzg = ckzg.compute_kzg_proof(ckzg_poly, ckzg.bytes_to_bls_field(x.to_bytes(32, "little")), ts) + +assert compress_G1(proof_pyecc).to_bytes(48, "big") == ckzg.bytes_from_g1(proof_ckzg)