Release v0.6.0 · Consensys/gnark

[v0.6.0] - 2022-01-03

Important: next release (v0.7.0) will be compatible with Go1.18+ only

circuit.Define(curveID, api) -> circuit.Define(api); added api.Curve() to retrieve curve info
api.Constant(...) was removed. Can now directy assign values with = operator in the circuit definition and the witness assignment.
frontend.Variable is now an alias for interface{}
assert helper is now under gnark/test. Instead of taking a CompiledConstraintSystem it takes a Circuit as input, enabling easier tests accross curves and proving schemes through the use of test/TestingOption (WithBackends(backend.GROTH16), WithCurves(ecc.BN254), ...)
api.NewHint handles multiple outputs and custom solver Hint definition has changed

added explicit warning when parser encounters unadressable struct field #169
FromInterface supports uintXX and intXX types closes #197
lighter stack trace by default for circuits, more verbose when -tags=debug provided
added api.Tag and api.AddCounter to measure number of constraints in portion of circuit
api.DivUnchecked does not handle zero divisor. api.Div does.
added frontend.IsConstant and ConstantValue apis
add support for bw6-633 curve
added api.Lookup2 method (2-bit lookup)
frontend: plonk frontend directly implements the frontend.API interface instead of building on top of the R1CS builder
std: fields and pairing over BLS24-315 in BW6-633 circuit
test: add Run for running circuit test configurations as subtests
test: add Log method for logging in subtests
test: assert helper cross check constraint system solver results with big.Int test execution engine

std: verifying a Pairing (bls12-377, Groth16) inside a circuit went from ~40k constraints to less than <12k constraints

fixes #169 ensure frontend.Circuit methods are defined on pointer receiver
fixes #178 by adding cbor.MaxMapPairs options when reading R1CS
fixed AssertIsBoolean in plonk (mul by constant failed)
fixes #168 adds context to a non-deterministic compilation error in the Assert object
frontend: reduce constant by modulus
frontend: plonk compiler now outputs a reasonable number of constraints #186