Skip to content

Commit

Permalink
Fix angle bracket
Browse files Browse the repository at this point in the history
  • Loading branch information
martinthomson committed Jul 9, 2024
1 parent 2953e18 commit 927e365
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion draft-savage-ppm-3phm-mpc.md
Original file line number Diff line number Diff line change
Expand Up @@ -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′ = { p<sub>0</sub>(r), …,
p<sub>s-1</sub>(r) }`, and `v′ = { <q<sub>0</sub>(r), …,
p<sub>s-1</sub>(r) }`, and `v′ = { q<sub>0</sub>(r), …,
q<sub>s-1</sub>(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
Expand Down

0 comments on commit 927e365

Please sign in to comment.