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.

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

Pairing gadget, new circuit API #26

Merged
merged 51 commits into from
Jul 15, 2020
Merged

Pairing gadget, new circuit API #26

merged 51 commits into from
Jul 15, 2020

Conversation

gbotrel
Copy link
Collaborator

@gbotrel gbotrel commented Jul 15, 2020

No description provided.

ThomasPiellard and others added 30 commits May 20, 2020 17:19
@ThomasPiellard
move select in merkle tree verification
9ca0c99
@ThomasPiellard
started field extension for the pairing gadget
5cdb8cb
@ThomasPiellard
wip tests field extension gadgets
19d0d14
@ThomasPiellard
update go.mod
257f15e
@ThomasPiellard
update config.yml
4ed7af1
@ThomasPiellard
frobenius + custom pairing tools (mulByV...) tested for the tower
ad63db2
@ThomasPiellard
tests for g1, g2 add and double OK, + tests for inverse in Fp2,Fp6,Fp12
28fb627
@ThomasPiellard
pairing gadget: line Eval OK + final expo OK
7cfa940
@ThomasPiellard
pairing gadget done, test OK
aa527d9
@ThomasPiellard
pairing gadget: added affine version to lower the number of constraints
060eacc
@ThomasPiellard
groth16/: made ParsePublicInput public, final groth16 circuit impleme…
4079c7a 
…nted, not tested
@ThomasPiellard
points to gurvy@develop, addition of final circuit for groth16"
e20482b
@ThomasPiellard
merge master
370950d
@ThomasPiellard
udpated version (v0.2.0-alpha)
b094c71
@ThomasPiellard
added backend for bw761; gnark points to gurvy@develop for bw761
8ecc2dd
@ThomasPiellard
pcd test circuit implemented, currently 386k constraints for groth16 …
12fd746 
…verifier :/
@ThomasPiellard
Merge branch 'master' into pairing_gadget
f85a267
@ThomasPiellard
updated version
e9516e0
@ThomasPiellard
recursive snark test passes on bw761
0b2e396
@ThomasPiellard
shrunk down nb constraints for Fp12 Mul (458->276), mostly due to Kar…
fa4f6e3 
…atsuba
@ThomasPiellard
fixed wrong preimage/public hash pair in the groth16 verifier on bw761
32aed41
@gbotrel
refactored cubic.go with new API using interfaces to streamline circu…
631917f 
…it declaration. WIP
@gbotrel
refactored rollup.go with new API using interfaces to streamline circ…
f360cd6 
…uit declaration. WIP, does not compile
@gbotrel
frontend: added Circuit and CircuitVariable interfaces. Can now assig…
e57325b 
…n values with compiler check (no more strings). Rollup tests OK
@gbotrel
fix previous commit: added missing files
5167317
@gbotrel
refactor: checkpoint
fbf6dee
@gbotrel
refactor wip: removing these typed backend Casts and New from user de…
bef7258 
…fined circuits
@gbotrel
refactor wip: removing these typed backend Casts and New from user de…
bebc681 
…fined circuits
@gbotrel
refactor wip: user defined circuits and gadget can avoid importing ty…
7695efa 
…ped groth16 or backend code
@gbotrel
benchmark is back
d56fc8a
gbotrel and others added 21 commits July 9, 2020 23:00
@gbotrel
removed CircuitVariable interface and use concrete type Variable instead
caf8ead
@gbotrel
refactored mimc example with new API
d56bbea
@gbotrel
examples/exponentiate: rewrote circuit with new API
001d51b
@gbotrel
refactor: remove Gadget suffix from many structs
b65e56e
@gbotrel
make golint a little happier
77cd5b1
@gbotrel
minor code cleanup
0bc00cc
@gbotrel
minor code cleanup
75fd155
@gbotrel
internal/templates: added missing explicit import in R1CS template
54fb740
@gbotrel
backend/: groth16 now uses directly test circuits without deprecated …
4902576 
…disk serialization
@gbotrel
gnark: input file is now json. accepts 0x hex and decimal repr for as…
8a8b600 
…signment to a circuit
@gbotrel
frontend:/ renamed LinearCombination.Constraint to Variable
a0f9911
@gbotrel
clean up some TODOs
8640147
@gbotrel
backend/groth16: added DummySetup that just return a random proving k…
f421730 
…ey, for testing and benchmarking purposes
@gbotrel
circleci: new workflow with more insight on unit tests
133cde3
@gbotrel
updated README.md
9bb0266
@gbotrel
frontend/: added test to parse struct tags in circuit_tags_test.go
ac280b4
@gbotrel
frontend:/ replaced LinearExpression by simple variables in mustBeLes…
4b162ee 
…sOrEq
@gbotrel
groth16: fix possible starvation issue in Prover -- there existed a w…
5ad4cfd 
…orld were go routine may wait for ever for the tokenn causing a timeout in tests
@ThomasPiellard @gbotrel
bump version to v0.2.1-alpha
ea6c7e2
@gbotrel
Merge branch 'develop' into gadget_cleanup
002bd98
@gbotrel
saving files help.
b544602
@gbotrel gbotrel merged commit 42bcb83 into develop Jul 15, 2020
@gbotrel gbotrel deleted the gadget_cleanup branch July 15, 2020 23:45
qct pushed a commit to qct/gnark that referenced this pull request Mar 30, 2023
@HSG88
Merge pull request Consensys#26 from bnb-chain/fix/poseidon-1-input
86d731b 
Fix/poseidon 1 input
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
@gbotrel @ThomasPiellard