Skip to content

[WIP] dump constraint counts from some gadget tests (depends on #48) #43

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.

Sign up for GitHub

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

Jump to bottom
Draft
dtebbs wants to merge 21 commits into
base: gwc19-poly-commit-gadget
Choose a base branch
from
Draft

[WIP] dump constraint counts from some gadget tests (depends on #48) #43

dtebbs wants to merge 21 commits into from

Conversation

@dtebbs
Copy link
Contributor

@dtebbs dtebbs commented Feb 4, 2022 •
edited
Loading

@dtebbs dtebbs force-pushed the poly-commit-multi-point branch 5 times, most recently from dc42ef1 to 32ba8d9 Compare February 16, 2022 17:26
@dtebbs dtebbs force-pushed the poly-commit-multi-point branch 4 times, most recently from 6352342 to bf30d8c Compare February 24, 2022 12:58
@dtebbs dtebbs force-pushed the dump-gadget-requirements branch 2 times, most recently from d9ee03f to 96ef6fe Compare April 25, 2022 14:52
@dtebbs dtebbs changed the title [WIP] dump constraint counts from some gadget tests (depens on #42) [WIP] dump constraint counts from some gadget tests (depens on #48) Apr 25, 2022
@dtebbs dtebbs changed the base branch from poly-commit-multi-point to gwc19-poly-commit-gadget April 25, 2022 14:53
dtebbs added 15 commits April 26, 2022 10:52
@dtebbs
fix inconsistency between default params and annotation asserts
7855e4e
@dtebbs
disable some compiler optimization flags in debug mode
c24710b
@dtebbs
remove duplicate declaration of pb_variable util function
b5ef60d
@dtebbs
fix variable name typo
20fa7c3
@dtebbs
abstact out kzg10 pairing check to make kzg10 gadget simpler, and all…
bf6ad67 
…ow it to be reused
@dtebbs
scalar multiplication of variable_or_identity curve points
72431fc
@dtebbs
make point_variable_or_identity_mul_by_scalar_gadget interface consis…
9225c16 
…tent with point_mul_by_scalar_gadget
@dtebbs
factor out some calculations from kzg10_batched verifier
70de377
@dtebbs
util gadget for kzg_batched to sum commitments minus encoded evaluations
2d0524e
@dtebbs
kzg10_batched_compute_gamma_powers_times_points util gadget
4f5afff
@dtebbs
refactor kzg10_batched util gadgets
577a4df
@dtebbs
kzg10_batched util gadget result handling improvement
6b9b0b3
@dtebbs
kzg10_batched: remove some unnecessary intermediate values on gadget …
fc037da 
…(simplify impl)
@dtebbs
fix typo in scalar_multiplication.hpp
68497ab
@dtebbs
kzg10_batched: update doc comments on verifier gadget
1a616fe
@dtebbs dtebbs force-pushed the gwc19-poly-commit-gadget branch from 123e55d to 1a616fe Compare April 26, 2022 09:53
@dtebbs dtebbs force-pushed the dump-gadget-requirements branch 2 times, most recently from c20f240 to 33405d5 Compare April 28, 2022 12:42
@dtebbs dtebbs force-pushed the dump-gadget-requirements branch from 33405d5 to 1b6312a Compare April 28, 2022 12:54
@dtebbs dtebbs changed the title [WIP] dump constraint counts from some gadget tests (depens on #48) [WIP] dump constraint counts from some gadget tests (depends on #48) Apr 28, 2022
@dtebbs dtebbs force-pushed the gwc19-poly-commit-gadget branch from 1a616fe to 6bc8517 Compare June 16, 2022 10:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@dtebbs