Skip to content

Commit

Permalink
docs: grammar fix Update batched-openings.md
Browse files Browse the repository at this point in the history
  • Loading branch information
mdqst authored Dec 8, 2024
1 parent 1c5fad8 commit cacfcd0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions book/src/background/batched-openings.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Batched Openings
At the end of the sumcheck protocol, the verifier must evaluate many multilinear polynomials at a single point. For polynomials which the verifier cannot compute on their own, they depend on the verification of a PCS opening proof provided by the prover. To save on verifier costs, all polynomials opened at the same point can be combined to a single opening proof.
At the end of the sumcheck protocol, the verifier must evaluate many multilinear polynomials at a single point. For polynomials which the verifier cannot compute on its own, they depend on the verification of a PCS opening proof provided by the prover. To save on verifier costs, all polynomials opened at the same point can be combined to a single opening proof.

The best reading on the subject can be found in **Section 16.1** of the [Textbook](https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf).
The best reading on the subject can be found in **Section 16.1** of the [Textbook](https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf).

0 comments on commit cacfcd0

Please sign in to comment.