Update specs/_features/eip7594/polynomial-commitments-sampling.md
Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com>
This commit is contained in:
parent
1669723adf
commit
8e3500b2b5
|
@ -313,7 +313,7 @@ def compute_kzg_proof_multi_impl(
|
||||||
This is done by committing to the following quotient polynomial:
|
This is done by committing to the following quotient polynomial:
|
||||||
Q(X) = f(X) - r(X) / Z(X)
|
Q(X) = f(X) - r(X) / Z(X)
|
||||||
Where:
|
Where:
|
||||||
- r(X) is the degree k-1 polynomial that agrees with f(x) at all `k` points
|
- r(X) is the degree `k-1` polynomial that agrees with f(x) at all `k` points
|
||||||
- Z(X) is the degree `k` polynomial that evaluates to zero on all `k` points
|
- Z(X) is the degree `k` polynomial that evaluates to zero on all `k` points
|
||||||
"""
|
"""
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue