Code

Pairing gadget, new circuit API#26

Code

Merged

gbotrel merged 51 commits intodevelopConsensys/gnark:developfrom gadget_cleanupConsensys/gnark:gadget_cleanupCopy head branch name to clipboardJul 15, 2020

+9,536-3,723

Commits

Commits on May 20, 2020

• move select in merkle tree verification

  ThomasPiellard

  committed
  9ca0c99

  Copy full SHA for 9ca0c99

Commits on May 25, 2020

• started field extension for the pairing gadget

  ThomasPiellard

  committed
  5cdb8cb

  Copy full SHA for 5cdb8cb

Commits on May 27, 2020

• wip tests field extension gadgets

  ThomasPiellard

  committed
  19d0d14

  Copy full SHA for 19d0d14

• update go.mod

  ThomasPiellard

  committed
  257f15e

  Copy full SHA for 257f15e

• update config.yml

  ThomasPiellard

  committed
  4ed7af1

  Copy full SHA for 4ed7af1

Commits on May 28, 2020

• frobenius + custom pairing tools (mulByV...) tested for the tower

  ThomasPiellard

  committed
  ad63db2

  Copy full SHA for ad63db2

Commits on May 29, 2020

• tests for g1, g2 add and double OK, + tests for inverse in Fp2,Fp6,Fp12

  ThomasPiellard

  committed
  28fb627

  Copy full SHA for 28fb627

Commits on Jun 1, 2020

• pairing gadget: line Eval OK + final expo OK

  ThomasPiellard

  committed
  7cfa940

  Copy full SHA for 7cfa940

Commits on Jun 2, 2020

• pairing gadget done, test OK

  ThomasPiellard

  committed
  aa527d9

  Copy full SHA for aa527d9

Commits on Jun 3, 2020

• pairing gadget: added affine version to lower the number of constraints

  ThomasPiellard

  committed
  060eacc

  Copy full SHA for 060eacc

Commits on Jun 17, 2020

• groth16/: made ParsePublicInput public, final groth16 circuit implemented, not tested

  ThomasPiellard

  committed
  4079c7a

  Copy full SHA for 4079c7a

• points to gurvy@develop, addition of final circuit for groth16"

  ThomasPiellard

  committed
  e20482b

  Copy full SHA for e20482b

• merge master

  ThomasPiellard

  committed
  370950d

  Copy full SHA for 370950d

• udpated version (v0.2.0-alpha)

  ThomasPiellard

  committed
  b094c71

  Copy full SHA for b094c71

• added backend for bw761; gnark points to gurvy@develop for bw761

  ThomasPiellard

  committed
  8ecc2dd

  Copy full SHA for 8ecc2dd

Commits on Jun 18, 2020

• pcd test circuit implemented, currently 386k constraints for groth16 verifier :/

  ThomasPiellard

  committed
  12fd746

  Copy full SHA for 12fd746

• Merge branch 'master' into pairing_gadget

  ThomasPiellard

  committed
  f85a267

  Copy full SHA for f85a267

• updated version

  ThomasPiellard

  committed
  e9516e0

  Copy full SHA for e9516e0

Commits on Jun 22, 2020

• recursive snark test passes on bw761

  ThomasPiellard

  committed
  0b2e396

  Copy full SHA for 0b2e396

Commits on Jun 26, 2020

• shrunk down nb constraints for Fp12 Mul (458->276), mostly due to Karatsuba

  ThomasPiellard

  committed
  fa4f6e3

  Copy full SHA for fa4f6e3

Commits on Jul 3, 2020

• fixed wrong preimage/public hash pair in the groth16 verifier on bw761

  ThomasPiellard

  committed
  32aed41

  Copy full SHA for 32aed41

Commits on Jul 7, 2020

• refactored cubic.go with new API using interfaces to streamline circuit declaration. WIP

  gbotrel

  committed
  631917f

  Copy full SHA for 631917f

• refactored rollup.go with new API using interfaces to streamline circuit declaration. WIP, does not compile

  gbotrel

  committed
  f360cd6

  Copy full SHA for f360cd6

Commits on Jul 8, 2020

• frontend: added Circuit and CircuitVariable interfaces. Can now assign values with compiler check (no more strings). Rollup tests OK

  gbotrel

  committed
  e57325b

  Copy full SHA for e57325b

• fix previous commit: added missing files

  gbotrel

  committed
  5167317

  Copy full SHA for 5167317

• refactor: checkpoint

  gbotrel

  committed
  fbf6dee

  Copy full SHA for fbf6dee

Commits on Jul 9, 2020

• refactor wip: removing these typed backend Casts and New from user defined circuits

  gbotrel

  committed
  bef7258

  Copy full SHA for bef7258

• refactor wip: removing these typed backend Casts and New from user defined circuits

  gbotrel

  committed
  bebc681

  Copy full SHA for bebc681

• refactor wip: user defined circuits and gadget can avoid importing typed groth16 or backend code

  gbotrel

  committed
  7695efa

  Copy full SHA for 7695efa

• benchmark is back

  gbotrel

  committed
  d56fc8a

  Copy full SHA for d56fc8a

Commits on Jul 10, 2020

• removed CircuitVariable interface and use concrete type Variable instead

  gbotrel

  committed
  caf8ead

  Copy full SHA for caf8ead

• refactored mimc example with new API

  gbotrel

  committed
  d56bbea

  Copy full SHA for d56bbea

• examples/exponentiate: rewrote circuit with new API

  gbotrel

  committed
  001d51b

  Copy full SHA for 001d51b

• refactor: remove Gadget suffix from many structs

  gbotrel

  committed
  b65e56e

  Copy full SHA for b65e56e

• make golint a little happier

  gbotrel

  committed
  77cd5b1

  Copy full SHA for 77cd5b1

• minor code cleanup

  gbotrel

  committed
  0bc00cc

  Copy full SHA for 0bc00cc

• minor code cleanup

  gbotrel

  committed
  75fd155

  Copy full SHA for 75fd155

• internal/templates: added missing explicit import in R1CS template

  gbotrel

  committed
  54fb740

  Copy full SHA for 54fb740

• backend/: groth16 now uses directly test circuits without deprecated disk serialization

  gbotrel

  committed
  4902576

  Copy full SHA for 4902576

Commits on Jul 13, 2020

• gnark: input file is now json. accepts 0x hex and decimal repr for assignment to a circuit

  gbotrel

  committed
  8a8b600

  Copy full SHA for 8a8b600

• frontend:/ renamed LinearCombination.Constraint to Variable

  gbotrel

  committed
  a0f9911

  Copy full SHA for a0f9911

• clean up some TODOs

  gbotrel

  committed
  8640147

  Copy full SHA for 8640147

Commits on Jul 14, 2020

• backend/groth16: added DummySetup that just return a random proving key, for testing and benchmarking purposes

  gbotrel

  committed
  f421730

  Copy full SHA for f421730

• circleci: new workflow with more insight on unit tests

  gbotrel

  committed
  133cde3

  Copy full SHA for 133cde3

• updated README.md

  gbotrel

  committed
  9bb0266

  Copy full SHA for 9bb0266

• frontend/: added test to parse struct tags in circuit_tags_test.go

  gbotrel

  committed
  ac280b4

  Copy full SHA for ac280b4

Commits on Jul 15, 2020

• frontend:/ replaced LinearExpression by simple variables in mustBeLessOrEq

  gbotrel

  committed
  4b162ee

  Copy full SHA for 4b162ee

• groth16: fix possible starvation issue in Prover -- there existed a world were go routine may wait for ever for the tokenn causing a timeout in tests

  gbotrel

  committed
  5ad4cfd

  Copy full SHA for 5ad4cfd

• bump version to v0.2.1-alpha

  

  ThomasPiellard

  authored and

  gbotrel

  committed
  ea6c7e2

  Copy full SHA for ea6c7e2

• Merge branch 'develop' into gadget_cleanup

  gbotrel

  committed
  002bd98

  Copy full SHA for 002bd98

• saving files help.

  gbotrel

  committed
  b544602

  Copy full SHA for b544602