Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make KzgDecidingKey fields public #56

Merged

Conversation

gnull
Copy link
Contributor

@gnull gnull commented Nov 22, 2023

Fixes #55.

This commit enables users to re-use more of snark-verifier code when implementing

impl AccumulationDecider<_, MyLoader> for KzgAs<_, _>

in order to define their own Loader and make it work with KZG10.

The field svk was already exported through impl AsRef<KzgSuccinctVerifyingKey<M::G1Affine>>, but this commit additionally defines it as pub for consistency with g2 and s_g2 fields.

Fixes privacy-scaling-explorations#55.

This commit enables users to re-use more of snark-verifier code when
implementing

  impl AccumulationDecider<_, MyLoader> for KzgAs<_, _>

in order to define their own Loader and make it work with KZG10.

The field `svk` was already exported through `impl
AsRef<KzgSuccinctVerifyingKey<M::G1Affine>>`, but this commit
additionally defines it as `pub` for consistency with `g2` and `s_g2`
fields.
Copy link
Collaborator

@han0110 han0110 left a comment

Choose a reason for hiding this comment

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

LGTM

@han0110 han0110 merged commit 9feead7 into privacy-scaling-explorations:main Nov 23, 2023
3 checks passed
gnull added a commit to zeropoolnetwork/snark-verifier that referenced this pull request Dec 7, 2023
Fixes privacy-scaling-explorations#55.

This commit enables users to re-use more of snark-verifier code when
implementing

  impl AccumulationDecider<_, MyLoader> for KzgAs<_, _>

in order to define their own Loader and make it work with KZG10.

The field `svk` was already exported through `impl
AsRef<KzgSuccinctVerifyingKey<M::G1Affine>>`, but this commit
additionally defines it as `pub` for consistency with `g2` and `s_g2`
fields.
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.

Private fields of KzgDecider get in the way of implementing new loaders
2 participants