From 5195d9be5513aed1e1891700cef222f768d56b32 Mon Sep 17 00:00:00 2001 From: Dankrad Feist Date: Tue, 4 Oct 2022 00:50:05 +0100 Subject: [PATCH] Add pyecc test for proof --- min-bindings/python/py_ecc_tests.py | 5 +++++ 1 file changed, 5 insertions(+) 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)