From b55ab46909c84c13a78f0b218e9560b44b39fe7a Mon Sep 17 00:00:00 2001 From: Dankrad Feist Date: Thu, 11 Jan 2024 20:57:16 +0000 Subject: [PATCH] Correct type info for verify_kzg_proof_multi_impl --- specs/_features/peerdas/polynomial-commitments-sampling.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/specs/_features/peerdas/polynomial-commitments-sampling.md b/specs/_features/peerdas/polynomial-commitments-sampling.md index dddca9fbe..97c2de911 100644 --- a/specs/_features/peerdas/polynomial-commitments-sampling.md +++ b/specs/_features/peerdas/polynomial-commitments-sampling.md @@ -305,12 +305,15 @@ def compute_kzg_proof_multi_impl( ```python def verify_kzg_proof_multi_impl(commitment: KZGCommitment, - zs: BLSFieldElement, - ys: BLSFieldElement, + zs: Sequence[BLSFieldElement], + ys: Sequence[BLSFieldElement], proof: KZGProof) -> bool: """ Helper function that verifies a KZG multiproof """ + + assert len(zs) == len(ys) + zero_poly = g2_lincomb(KZG_SETUP_G2_MONOMIAL[:len(zs) + 1], vanishing_polynomialcoeff(zs)) interpolated_poly = g1_lincomb(KZG_SETUP_G1_MONOMIAL[:len(zs)], interpolate_polynomialcoeff(zs, ys))