github/consensus-specs
1
1
Fork 0
mirror of https://github.com/ethereum/consensus-specs.git synced 2026-02-01 23:25:22 -05:00
Code Issues Packages Projects Releases Wiki Activity

Call compute_challenge with polynomial as argument

Browse Source
This commit is contained in:
Dankrad Feist
2023-02-13 14:32:50 +00:00
parent 659c7f513f
commit fc10714f42
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
specs/eip4844/polynomial-commitments.md
View File

@@ -475,8 +475,8 @@ def compute_blob_kzg_proof(blob: Blob) -> KZGProof:
Public method.
"""
commitment = blob_to_kzg_commitment(blob)
evaluation_challenge = compute_challenge(blob, commitment)
polynomial = blob_to_polynomial(blob)
evaluation_challenge = compute_challenge(polynomial, commitment)
return compute_kzg_proof_impl(polynomial, evaluation_challenge)
```
@@ -493,8 +493,8 @@ def verify_blob_kzg_proof(blob: Blob,
"""
commitment = bytes_to_kzg_commitment(commitment_bytes)
evaluation_challenge = compute_challenge(blob, commitment)
polynomial = blob_to_polynomial(blob)
evaluation_challenge = compute_challenge(polynomial, commitment)
# Evaluate polynomial at `evaluation_challenge` (evaluation function checks for div-by-zero)
y = evaluate_polynomial_in_evaluation_form(polynomial, evaluation_challenge)
@@ -520,9 +520,9 @@ def verify_blob_kzg_proof_multi(blobs: Sequence[Blob],
for blob, commitment_bytes, proof_bytes in zip(blobs, commitments_bytes, proofs_bytes):
commitment = bytes_to_kzg_commitment(commitment_bytes)
commitments.append(commitment)
evaluation_challenge = compute_challenge(blob, commitment)
evaluation_challenges.append(evaluation_challenge)
polynomial = blob_to_polynomial(blob)
evaluation_challenge = compute_challenge(polynomial, commitment)
evaluation_challenges.append(evaluation_challenge)
ys.append(evaluate_polynomial_in_evaluation_form(polynomial, evaluation_challenge))
proofs.append(bytes_to_kzg_proof(proof_bytes))