search

ZK-Garage / plonk

A pure Rust PLONK implementation using arkworks as a backend.
https://discord.gg/XWJdhVf37F
Mozilla Public License 2.0
295 stars 76 forks source link

Use batched PC scheme #138

Open akinovak opened 2 years ago

akinovak commented 2 years ago

Currently there are 2 opening proofs and also 2 pairing checks in verifier. We should use batched version of PC scheme which will reduce number of pairings to 1.

davidnevadoc commented 2 years ago

Good point! This would not only be an improvement for the current implementation, it also facilitates the implementation more general rotations. As of now we can only use rotations for the next row. We should have this improvement in mind for #127