Skip to content

Add PCS#37

Merged
varunthakore merged 5 commits into
mainfrom
varun/pcs
Oct 16, 2025
Merged

Add PCS#37
varunthakore merged 5 commits into
mainfrom
varun/pcs

Conversation

@varunthakore

Copy link
Copy Markdown
Contributor

No description provided.

Comment thread src/how-it-works/pcs/overview.md Outdated
2. **List Decoding Regime**: We operate in this regime if there is a list of polynomials which are "close" to the function provided by the prover. In this case, since the function can be "close" to a _list_ of polynomials, we cannot be sure that it represents a unique polynomial.


In practice, we are usually operating in the list decoding regime. So there can be multiple polynomials which are "close" to the function provided by the prover. This affects the binding property of the polynomial commitment scheme, since the function sent by the prover represents a list of polynomials rather than some unique polynomial.

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

nit) "we are usually operating" -> "we usually operate"

@varunthakore
varunthakore merged commit 05d104b into main Oct 16, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants