Skip to content

Plonk w/o linearization + sol verifier#60

Open
swasilyev wants to merge 27 commits intomasterfrom
no-linearization
Open

Plonk w/o linearization + sol verifier#60
swasilyev wants to merge 27 commits intomasterfrom
no-linearization

Conversation

@swasilyev
Copy link
Contributor

@swasilyev swasilyev commented Apr 14, 2025

  • New prover implementation that opens multiple columns in zeta.omega, instead of computing the linearization polynomial.
  • Gadgets support openning in 2 points.
  • Test piop implementation.
  • Ethereum verifeir w/o Fiat-Shamir.

@swasilyev swasilyev changed the title TODO Plonk w/o linearization + sol verifier Apr 14, 2025
@swasilyev swasilyev self-assigned this Apr 14, 2025
@swasilyev
Copy link
Contributor Author

None of the objectives above fulfilled, still it gives an example of opening a constraint in 2 points. Now it feels that Fiat-Shamir is the next step.

@swasilyev swasilyev marked this pull request as ready for review April 21, 2025 00:00
@swasilyev swasilyev requested a review from drskalman April 21, 2025 00:00
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.

1 participant