Skip to content

Polynomial commitments#25

Merged
AntoineRondelet merged 1 commit intodevelopfrom
poly-commit
Oct 21, 2021
Merged

Polynomial commitments#25
AntoineRondelet merged 1 commit intodevelopfrom
poly-commit

Conversation

@dtebbs
Copy link
Copy Markdown
Contributor

@dtebbs dtebbs commented Sep 20, 2021

native (i.e. not gadgets) polynomial commitment scheme (KZG10).

@dtebbs dtebbs changed the base branch from develop to cmake-clean September 21, 2021 13:55
@dtebbs dtebbs changed the title [WIP] Polynomial commitments [WIP] Polynomial commitments (depends on #27) Sep 21, 2021
@dtebbs dtebbs marked this pull request as ready for review September 21, 2021 14:00
@dtebbs dtebbs changed the title [WIP] Polynomial commitments (depends on #27) Polynomial commitments (depends on #27) Sep 21, 2021
@AntoineRondelet AntoineRondelet changed the base branch from cmake-clean to develop October 5, 2021 07:40
namespace libsnark
{

/// Polynomal type, as a list of coefficients (currently only represents
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Polynomal -> Polynomial

Comment thread libsnark/polynomial_commitments/kzg10.hpp
Comment thread libsnark/polynomial_commitments/kzg10.hpp Outdated
Comment thread libsnark/polynomial_commitments/kzg10.hpp Outdated
@dtebbs dtebbs changed the title Polynomial commitments (depends on #27) Polynomial commitments Oct 11, 2021
@dtebbs
Copy link
Copy Markdown
Contributor Author

dtebbs commented Oct 13, 2021

@mpzajac flagging this PR in case it is of interest, since it implements a polynomial commitment scheme. Questions or comments welcome.

Comment thread libsnark/polynomial_commitments/kzg10.hpp Outdated

/// The Commit function from [KZG10] section 3.2. Commit to a polynomial
/// \phi, using some srs.
static commitment commit(const srs &srs, const polynomial<Field> &phi);
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Linking to clearmatics/libfqfft#5, that would be a c_polynomial

Comment thread libsnark/polynomial_commitments/kzg10.hpp Outdated
Comment thread libsnark/polynomial_commitments/kzg10.tcc
Comment thread libsnark/polynomial_commitments/kzg10.tcc Outdated
@dtebbs
Copy link
Copy Markdown
Contributor Author

dtebbs commented Oct 14, 2021

Thanks @AntoineRondelet . These points should be addressed now.

Copy link
Copy Markdown
Contributor

@AntoineRondelet AntoineRondelet left a comment

Choose a reason for hiding this comment

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

Just a few final comments @dtebbs

Comment thread libsnark/polynomial_commitments/kzg10.hpp Outdated
Comment thread libsnark/polynomial_commitments/kzg10.tcc Outdated
Comment thread libsnark/polynomial_commitments/kzg10.tcc Outdated
Comment thread libsnark/polynomial_commitments/kzg10.tcc Outdated
@dtebbs dtebbs force-pushed the poly-commit branch 2 times, most recently from 22d505c to baa461b Compare October 20, 2021 16:03
@dtebbs
Copy link
Copy Markdown
Contributor Author

dtebbs commented Oct 20, 2021

Thanks @AntoineRondelet
I believe these are all fixed (and rebased onto develop.

Comment thread libsnark/polynomial_commitments/kzg10.tcc Outdated
Copy link
Copy Markdown
Contributor

@AntoineRondelet AntoineRondelet left a comment

Choose a reason for hiding this comment

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

LGTM, thanks @dtebbs

@AntoineRondelet AntoineRondelet merged commit a87f7a4 into develop Oct 21, 2021
@AntoineRondelet AntoineRondelet deleted the poly-commit branch October 21, 2021 13:30
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