From 927e36554b7317e2f3ed49689a02ad565c124ead Mon Sep 17 00:00:00 2001 From: Martin Thomson Date: Tue, 9 Jul 2024 17:30:42 +1000 Subject: [PATCH] Fix angle bracket --- draft-savage-ppm-3phm-mpc.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/draft-savage-ppm-3phm-mpc.md b/draft-savage-ppm-3phm-mpc.md index 784a101..5ac0741 100644 --- a/draft-savage-ppm-3phm-mpc.md +++ b/draft-savage-ppm-3phm-mpc.md @@ -717,7 +717,7 @@ At each iteration: prover can cheat without detection is inversely proportional to the field size. 1. If we define two new vectors `u′ = { p0(r), …, - ps-1(r) }`, and `v′ = { 0(r), …, + ps-1(r) }`, and `v′ = { q0(r), …, qs-1(r) }`, then we can rewrite the statement that needs to be proven as: `u′ · v′ = G(r)`. This is of the same form as the original statement, but with the new vectors `u′` and `v′` having length `L` times