Code

Frontend refactoring#200

Code

Merged

gbotrel merged 102 commits intodevelopConsensys/gnark:developfrom refactor/frontendConsensys/gnark:refactor/frontendCopy head branch name to clipboardDec 22, 2021

+4,356-3,232

Commits

Commits on Dec 22, 2021

• feat: started the addition of plonk secific cs

  

  ThomasPiellard

  authored and

  ivokub

  committed
  9248a12

  Copy full SHA for 9248a12

• feat: completion of API (except rangeCheck, lookup2, Hints)

  

  ThomasPiellard

  authored and

  ivokub

  committed
  2071609

  Copy full SHA for 2071609

• refactor: Hint takes []LinearExpression as input

  

  ThomasPiellard

  authored and

  ivokub

  committed
  301881d

  Copy full SHA for 301881d

• feat: finished assertions plonk

  

  ThomasPiellard

  authored and

  ivokub

  committed
  8052705

  Copy full SHA for 8052705

• refactor: constraintSystme -> R1CS

  

  ThomasPiellard

  authored and

  ivokub

  committed
  88dbc7a

  Copy full SHA for 88dbc7a

• feat: populated r1cs/ plonk/ for separating schemes

  

  ThomasPiellard

  authored and

  ivokub

  committed
  d1c6f2e

  Copy full SHA for d1c6f2e

• feat: addition of Tag, Counter in plonk/ and r1cs/

  

  ThomasPiellard

  authored and

  ivokub

  committed
  26fed85

  Copy full SHA for 26fed85

• refactor: addition of compiler for both systems

  

  ThomasPiellard

  authored and

  ivokub

  committed
  e9b710f

  Copy full SHA for e9b710f

• refactor: cleaning hierarchy of constraints systems

  

  ThomasPiellard

  authored and

  ivokub

  committed
  7ca5ea7

  Copy full SHA for 7ca5ea7

• fix: fixed API missing methods

  

  ThomasPiellard

  authored and

  ivokub

  committed
  9b092d1

  Copy full SHA for 9b092d1

• refactor: CurveID() --> Curve() in API

  

  ThomasPiellard

  authored and

  ivokub

  committed
  00293b7

  Copy full SHA for 00293b7

• feat: addition of tests in r1cs/

  

  ThomasPiellard

  authored and

  ivokub

  committed
  1da79cc

  Copy full SHA for 1da79cc

• feat: addition of Compile method on System interface

  

  ThomasPiellard

  authored and

  ivokub

  committed
  4d2d008

  Copy full SHA for 4d2d008

• fix: removed Compile() method in engine

  

  ThomasPiellard

  authored and

  ivokub

  committed
  9db21e9

  Copy full SHA for 9db21e9

• fix: restored bootloader

  

  ThomasPiellard

  authored and

  ivokub

  committed
  c4856c2

  Copy full SHA for c4856c2

• fix: fixed Groth16 integration tests

  

  ThomasPiellard

  authored and

  ivokub

  committed
  848ae8f

  Copy full SHA for 848ae8f

• fix: fixed code gen

  

  ThomasPiellard

  authored and

  ivokub

  committed
  8e1c701

  Copy full SHA for 8e1c701

• fix: fixed signature of addPlonkConstraint

  

  ThomasPiellard

  authored and

  ivokub

  committed
  b292880

  Copy full SHA for b292880

• fix: fixed mul

  

  ThomasPiellard

  authored and

  ivokub

  committed
  a969340

  Copy full SHA for a969340

• refactor: interface --> Variable

  

  ThomasPiellard

  authored and

  ivokub

  committed
  1eb89cc

  Copy full SHA for 1eb89cc

• feat: hint inptus LinearExpression -> interface

  

  ThomasPiellard

  authored and

  ivokub

  committed
  aae5e88

  Copy full SHA for aae5e88

• fix: fixed assertion (AssertIsEqual missing return)

  

  ThomasPiellard

  authored and

  ivokub

  committed
  4c7fa8a

  Copy full SHA for 4c7fa8a

• fix: fixed assertIsEqual

  

  ThomasPiellard

  authored and

  ivokub

  committed
  2d63b25

  Copy full SHA for 2d63b25

• fix: fixed isZero

  

  ThomasPiellard

  authored and

  ivokub

  committed
  c4062a0

  Copy full SHA for c4062a0

• fix: fixed lookup2

  

  ThomasPiellard

  authored and

  ivokub

  committed
  8f7634a

  Copy full SHA for 8f7634a

• fix: restored simpler version for range_constant r1cs

  

  ThomasPiellard

  authored and

  ivokub

  committed
  64f2e28

  Copy full SHA for 64f2e28

• fix: fixed range_constant plonk

  

  ThomasPiellard

  authored and

  ivokub

  committed
  4d8f2b1

  Copy full SHA for 4d8f2b1

• refactor: frontend.Variable -> cs.Variable

  

  ThomasPiellard

  authored and

  ivokub

  committed
  f8fd99c

  Copy full SHA for f8fd99c

• refactor: frontend.Variable -> cs.Variable

  

  ThomasPiellard

  authored and

  ivokub

  committed
  00ce2fb

  Copy full SHA for 00ce2fb

• feat: addition of test for mul

  

  ThomasPiellard

  authored and

  ivokub

  committed
  d840a20

  Copy full SHA for d840a20

• feat: extended the Add test

  

  ThomasPiellard

  authored and

  ivokub

  committed
  f7d26b0

  Copy full SHA for f7d26b0

• feat: code uses new Compile from compile.go

  

  ThomasPiellard

  authored and

  ivokub

  committed
  e16b0eb

  Copy full SHA for e16b0eb

• feat: cleaned frontend/

  

  ThomasPiellard

  authored and

  ivokub

  committed
  ce768f5

  Copy full SHA for ce768f5

• feat: addition of test for final exp in sw_bls24315

  

  ThomasPiellard

  authored and

  ivokub

  committed
  c05e5ab

  Copy full SHA for c05e5ab

• fix: extended sub test

  

  ThomasPiellard

  authored and

  ivokub

  committed
  b16a91a

  Copy full SHA for b16a91a

• feat: test circuits specifiy curves (useful for Div,Inv)

  

  ThomasPiellard

  authored and

  ivokub

  committed
  ec7ab0c

  Copy full SHA for ec7ab0c

• feat: made inv test explicit

  

  ThomasPiellard

  authored and

  ivokub

  committed
  8826487

  Copy full SHA for 8826487

• fix: Div -> DivUnchecked test div

  

  ThomasPiellard

  authored and

  ivokub

  committed
  9c8d819

  Copy full SHA for 9c8d819

• fix: plonk solver handles both L and R to solve

  

  ThomasPiellard

  authored and

  ivokub

  committed
  50d3b78

  Copy full SHA for 50d3b78

• fix: fixed Div(constant, var)

  

  ThomasPiellard

  authored and

  ivokub

  committed
  e93f00b

  Copy full SHA for e93f00b

• fix: fixed Div (plonk)

  

  ThomasPiellard

  authored and

  ivokub

  committed
  750010b

  Copy full SHA for 750010b

• feat: extended add test

  

  ThomasPiellard

  authored and

  ivokub

  committed
  c0c666a

  Copy full SHA for c0c666a

• fix: fixed mul by zero

  

  ThomasPiellard

  authored and

  ivokub

  committed
  389e001

  Copy full SHA for 389e001

• fix: fixed AssertIsEqual when an argument is constant

  

  ThomasPiellard

  authored and

  ivokub

  committed
  140a779

  Copy full SHA for 140a779

• fix: fixed mul test

  

  ThomasPiellard

  authored and

  ivokub

  committed
  fa9c329

  Copy full SHA for fa9c329

• fix: removed dead folder

  

  ThomasPiellard

  authored and

  ivokub

  committed
  331cbba

  Copy full SHA for 331cbba

• fix: pairing test on Plonk + Groth16

  

  ThomasPiellard

  authored and

  ivokub

  committed
  dac2c7f

  Copy full SHA for dac2c7f

• fix: mul test for all curves

  

  ThomasPiellard

  authored and

  ivokub

  committed
  c845417

  Copy full SHA for c845417

• feat: addition of test for select api

  

  ThomasPiellard

  authored and

  ivokub

  committed
  d6c32c2

  Copy full SHA for d6c32c2

• feat: extended select test

  

  ThomasPiellard

  authored and

  ivokub

  committed
  2d4bec7

  Copy full SHA for 2d4bec7

• fix: fixed bigInt passed by copy in plonk api

  

  ThomasPiellard

  authored and

  ivokub

  committed
  bafa6f6

  Copy full SHA for bafa6f6

• feat: restored options (forgot to commit the file)

  

  ThomasPiellard

  authored and

  ivokub

  committed
  3feb7f6

  Copy full SHA for 3feb7f6

• fix: addition of mod reduction in plonk api to bound bigInt

  

  ThomasPiellard

  authored and

  ivokub

  committed
  d6ba049

  Copy full SHA for d6ba049

• refactor: moved compile in compiler/

  

  ThomasPiellard

  authored and

  ivokub

  committed
  bf9f51f

  Copy full SHA for bf9f51f

• refactor: cs.Variable -> frontend.Variable

  

  ThomasPiellard

  authored and

  ivokub

  committed
  32f5136

  Copy full SHA for 32f5136

• feat: addition of boolean table for sparseR1cs

  

  ThomasPiellard

  authored and

  ivokub

  committed
  e97c350

  Copy full SHA for e97c350

• feat: handle non zero divisor in Div

  

  ThomasPiellard

  authored and

  ivokub

  committed
  22cd156

  Copy full SHA for 22cd156

• fix: ran go generate

  

  ThomasPiellard

  authored and

  ivokub

  committed
  c2a5c18

  Copy full SHA for c2a5c18

• wip

  ivokub

  committed
  fee7d93

  Copy full SHA for fee7d93

• feat: removed txt logs

  

  ThomasPiellard

  authored and

  ivokub

  committed
  9151419

  Copy full SHA for 9151419

• fix: removed unused file

  

  ThomasPiellard

  authored and

  ivokub

  committed
  13e3479

  Copy full SHA for 13e3479

• Revert "wip"

  Show description for ca57257
  ivokub

  committed
  ca57257

  Copy full SHA for ca57257

• refactor: compiled.CompiledConstraintSystem -> compiled.ConstraintSystem

  

  ThomasPiellard

  authored and

  ivokub

  committed
  1c2cd67

  Copy full SHA for 1c2cd67

• fix: fixed staticheck

  

  ThomasPiellard

  authored and

  ivokub

  committed
  cb3ffd3

  Copy full SHA for cb3ffd3

• fix: fixed staticcheck

  

  ThomasPiellard

  authored and

  ivokub

  committed
  2b958f2

  Copy full SHA for 2b958f2

• refactor(frontend): move Tag to frontend/

  ivokub

  committed
  e4ed8b9

  Copy full SHA for e4ed8b9

• refactor(frontend): add compiler registry

  ivokub

  committed
  0d2c3de

  Copy full SHA for 0d2c3de

• feat: register frontend compilers

  ivokub

  committed
  5babb6c

  Copy full SHA for 5babb6c

• feat: register frontend for backends

  ivokub

  committed
  f1d5b60

  Copy full SHA for f1d5b60

• refactor(test): use Tag

  ivokub

  committed
  7cfbf0a

  Copy full SHA for 7cfbf0a

• refactor: use frontend.Compile

  ivokub

  committed
  2a8e3e0

  Copy full SHA for 2a8e3e0

• docs: add suggestion to error

  ivokub

  committed
  f9cba5d

  Copy full SHA for f9cba5d

• refactor: move frontend util to internal

  ivokub

  committed
  d4247bd

  Copy full SHA for d4247bd

• refactor: use internal util

  ivokub

  committed
  d589ca2

  Copy full SHA for d589ca2

• refactor: remove curve from system Compile

  ivokub

  committed
  cb59be7

  Copy full SHA for cb59be7

• refactor: rename frontend.System to frontend.Builder

  ivokub

  committed
  c2b8e2e

  Copy full SHA for c2b8e2e

• refactor: move definitions to frontend

  ivokub

  committed
  5f23618

  Copy full SHA for 5f23618

• feat: add option to define newBuilder

  ivokub

  committed
  7ca6975

  Copy full SHA for 7ca6975

• refactor: use compile option to define builder

  ivokub

  committed
  072ff51

  Copy full SHA for 072ff51

• refactor: rename frontend/R1CSRefactor to frontend/R1CS

  ivokub

  committed
  8507777

  Copy full SHA for 8507777

• refactor: unpublish frontend/cs/ structures

  Show description for 46dc7fc
  ivokub

  committed
  46dc7fc

  Copy full SHA for 46dc7fc

• fix: restored check unconstrained inputs when compiling

  

  ThomasPiellard

  authored and

  ivokub

  committed
  958da05

  Copy full SHA for 958da05

• fix(frontend/sr1cs): allow wire=0 to be set constrained

  ivokub

  committed
  3a250ef

  Copy full SHA for 3a250ef

• fix(frontend/r1cs): set wire=0 always constrained

  ivokub

  committed
  191ad7b

  Copy full SHA for 191ad7b

• fix(frontend): set only hint internal variables constrained

  ivokub

  committed
  c6645c2

  Copy full SHA for c6645c2

• fix(examples): omit unnecessary api call

  ivokub

  committed
  9650b5d

  Copy full SHA for 9650b5d

• fix(frontend/sr1cs): debug info off by one

  ivokub

  committed
  65bc0e8

  Copy full SHA for 65bc0e8

• feat: add debug info for SparseR1CS inverse

  ivokub

  committed
  fc80cf0

  Copy full SHA for fc80cf0

• fix(frontend/sr1cs): change debug constraint representation

  ivokub

  committed
  db5e685

  Copy full SHA for db5e685

• fix: use sr1cs debug representation

  ivokub

  committed
  9413763

  Copy full SHA for 9413763

• fix(frontend/sr1cs): print variables as compiled.Term

  ivokub

  committed
  d98c0ee

  Copy full SHA for d98c0ee

• fix(debug_test): reverse trace and expected trace order

  ivokub

  committed
  1eaf4fb

  Copy full SHA for 1eaf4fb

• fix: fixed AssertIsBoolean in plonk (mul by constant failed)

  

  ThomasPiellard

  authored and

  ivokub

  committed
  09ee423

  Copy full SHA for 09ee423

• feat(internal/backend): explicit type marshalling for hints

  ivokub

  committed
  f348cf7

  Copy full SHA for f348cf7

• fix(frontend/cs/r1cs): cast hint input variable to big.Int

  Show description for 59fcead
  ivokub

  committed
  59fcead

  Copy full SHA for 59fcead

• fix(init.stats): update circuit statistics

  ivokub

  committed
  d08366e

  Copy full SHA for d08366e

• fix: reduce variables modulo scalar order

  ivokub

  committed
  4249a72

  Copy full SHA for 4249a72

• fix(frontend/sr1cs): omit variable checking if no inputs

  ivokub

  committed
  c3ee76a

  Copy full SHA for c3ee76a

• build: update to latest gnark-crypto with fix for empty addchain folders

  gbotrel

  committed
  2fe3e53

  Copy full SHA for 2fe3e53

• test: use BN254 in modulus-dependent tests for speed

  gbotrel

  committed
  cc48fd2

  Copy full SHA for cc48fd2

• style: added few comments

  gbotrel

  committed
  3d85116

  Copy full SHA for 3d85116

• fix: fixed examples/plonk

  gbotrel

  committed
  a498748

  Copy full SHA for a498748