status-im
/
eth2.0-specs
mirror of https://github.com/status-im/eth2.0-specs.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #3167 from ethereum/akzg-tp 

Add `compute_kzg_proof` as a public method
This commit is contained in:
Danny Ryan 2023-01-01 14:14:53 -06:00 committed by GitHub
parent 4f77493b0f 4c573ff6b9
commit 280f6e0568
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -370,8 +370,9 @@ def verify_kzg_proof_impl(polynomial_kzg: KZGCommitment,
```python ```python
def compute_kzg_proof(polynomial: Polynomial, z: BLSFieldElement) -> KZGProof: def compute_kzg_proof(polynomial: Polynomial, z: BLSFieldElement) -> KZGProof:
""" """
Compute KZG proof at point `z` with `polynomial` being in evaluation form Compute KZG proof at point `z` with `polynomial` being in evaluation form.
Do this by computing the quotient polynomial in evaluation form: q(x) = (p(x) - p(z)) / (x - z) Do this by computing the quotient polynomial in evaluation form: q(x) = (p(x) - p(z)) / (x - z).
Public method.
""" """
y = evaluate_polynomial_in_evaluation_form(polynomial, z) y = evaluate_polynomial_in_evaluation_form(polynomial, z)
polynomial_shifted = [BLSFieldElement((int(p) - int(y)) % BLS_MODULUS) for p in polynomial] polynomial_shifted = [BLSFieldElement((int(p) - int(y)) % BLS_MODULUS) for p in polynomial]