ConsenSys/gnark: v0.8.0

What's Changed New features

• Non-native field emulation by @ivokub in https://github.com/ConsenSys/gnark/pull/302
• FRI proximity proofs by @ThomasPiellard in https://github.com/ConsenSys/gnark/pull/321
• KZG verifier by @yelhousni in https://github.com/ConsenSys/gnark/pull/307
• GKR by @Tabaie in https://github.com/ConsenSys/gnark/pull/393 (API --> https://github.com/ConsenSys/gnark/pull/443)
• ECDSA signature verification by @ivokub in https://github.com/ConsenSys/gnark/pull/372
• keccak-f permutation function by @ivokub in https://github.com/ConsenSys/gnark/pull/401
• Add support for BLS24-317 by @yelhousni in https://github.com/ConsenSys/gnark/pull/310

Circuit API

• api.Commit() following BSB22 @Tabaie in https://github.com/ConsenSys/gnark/pull/405
• api.MulAcc(..) by @gbotrel in https://github.com/ConsenSys/gnark/pull/427

gnark tools

• gnark/profile outputs pprof compatible circuit profiling data by @gbotrel in https://github.com/ConsenSys/gnark/pull/352

Performance

• Allocate less in test engine by @ivokub in https://github.com/ConsenSys/gnark/pull/331
• Add debug.SymbolTable into constraint system for storage efficiency of debug info by @gbotrel in https://github.com/ConsenSys/gnark/pull/421
• api.IsZero generate less constraints by @gbotrel in https://github.com/ConsenSys/gnark/pull/356
• Optimize bn254/groth16 solidity verifier. by @citizen-stig in https://github.com/ConsenSys/gnark/pull/376
• Compress linear expression by @ivokub in https://github.com/ConsenSys/gnark/pull/418
• Add constraint package and improve memory management in frontend by @gbotrel in https://github.com/ConsenSys/gnark/pull/412

Refactor & consolidate

• Clean up witness package, introduces clean witness.Witness interface by @gbotrel in https://github.com/ConsenSys/gnark/pull/450
• Add cs.GetConstraint with examples, and pretty printer helpers by @gbotrel in https://github.com/ConsenSys/gnark/pull/452
• Serialization header to CS and debug info to all constraints with -tags=debug by @gbotrel in https://github.com/ConsenSys/gnark/pull/347
• Compile(ecc.ID) -> Compile(field *big.Int) by @gbotrel in https://github.com/ConsenSys/gnark/pull/328
• std/math/nonnative -> std/math/emulated by @gbotrel in https://github.com/ConsenSys/gnark/pull/345
• Kill api.Tag and api.Counter by @gbotrel in https://github.com/ConsenSys/gnark/pull/353
• A field element is always in Montgomery form and big.Ints are always non-Mont by @Tabaie in https://github.com/ConsenSys/gnark/pull/422
• Re-write PlonK backend to use gnark-crypto/iop by @ThomasPiellard in https://github.com/ConsenSys/gnark/pull/451

Fixes

• Fix Or && Xor by @liyue201 in https://github.com/ConsenSys/gnark/pull/355
• Fix/xor cst var plonk by @ThomasPiellard in https://github.com/ConsenSys/gnark/pull/383
• Mark output of AND in R1CS as boolean by @ivokub in https://github.com/ConsenSys/gnark/pull/459
• Handle recursive hints in level builder by @gbotrel in https://github.com/ConsenSys/gnark/pull/441
• fix #442: use reflectwalk to walk through circuit structures without building a Schema by @gbotrel in https://github.com/ConsenSys/gnark/pull/444
• MiMC on BLS12-377 / number of rounds by @yelhousni in https://github.com/ConsenSys/gnark/pull/453
• Fix MiMC interface by @Tabaie in https://github.com/ConsenSys/gnark/pull/454 https://github.com/ConsenSys/gnark/pull/469

New Contributors

• @tinywell made their first contribution in https://github.com/ConsenSys/gnark/pull/339
• @Tabaie made their first contribution in https://github.com/ConsenSys/gnark/pull/362
• @omahs made their first contribution in https://github.com/ConsenSys/gnark/pull/360
• @liyue201 made their first contribution in https://github.com/ConsenSys/gnark/pull/355
• @citizen-stig made their first contribution in https://github.com/ConsenSys/gnark/pull/376
• @aybehrouz made their first contribution in https://github.com/ConsenSys/gnark/pull/470

Full Changelog: https://github.com/ConsenSys/gnark/compare/v0.7.1...v0.8.0