lambdaworks icon indicating copy to clipboard operation
lambdaworks copied to clipboard

Published 20 hours ago • verified publisher icon lambdaclass

feat(Polynomial Commitments): Abstract PCS interface and Add Zeromorph PCS

Open PatStiles opened this issue 1 year ago • 0 comments
trafficstars

Add Zeromorph PCS

Description

Refactors IsCommitmentScheme to be more generic and accepting of different PCS schemes.

  • Modifies KZG commitments and the Plonk prover to accomodate said interface

  • Adds a non-hiding version of the Zeromorph Multilinear PCS scheme for batched and unbatched commitments to a series of multilinear polynomials. Builds off a #726 .

Type of change

Please delete options that are not relevant.

  • [x] New feature
  • [ ] Bug fix
  • [ ] Optimization

Checklist

  • [ ] Linked to Github Issue
  • [x] Unit tests added

PatStiles avatar Jan 23 '24 00:01 PatStiles