From 8e3500b2b56e128fcd19483ea2c4167afd5d5d77 Mon Sep 17 00:00:00 2001 From: kevaundray Date: Thu, 18 Apr 2024 20:26:52 +0100 Subject: [PATCH] Update specs/_features/eip7594/polynomial-commitments-sampling.md Co-authored-by: Justin Traglia <95511699+jtraglia@users.noreply.github.com> --- specs/_features/eip7594/polynomial-commitments-sampling.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/specs/_features/eip7594/polynomial-commitments-sampling.md b/specs/_features/eip7594/polynomial-commitments-sampling.md index 8702b72a5..fb4b46fc8 100644 --- a/specs/_features/eip7594/polynomial-commitments-sampling.md +++ b/specs/_features/eip7594/polynomial-commitments-sampling.md @@ -313,7 +313,7 @@ def compute_kzg_proof_multi_impl( This is done by committing to the following quotient polynomial: Q(X) = f(X) - r(X) / Z(X) 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 """