Consensys/gnark: v0.13.0

What's Changed

• fix: non-native zero IsZero edge case by @ivokub in https://github.com/Consensys/gnark/pull/1413
• feat: merkle damgard and poseidon2 by @Tabaie in https://github.com/Consensys/gnark/pull/1407
• Refac/groth16 mpc by @Tabaie in https://github.com/Consensys/gnark/pull/1372
• Feat: implement FixedLengthSum function for sha3 by @liyue201 in https://github.com/Consensys/gnark/pull/1379
• Perf: Poseidon2 GKR circuit by @Tabaie in https://github.com/Consensys/gnark/pull/1410
• Perf: optimize selector.Mux with recursive BinaryMux for various sizes by @weijiguo in https://github.com/Consensys/gnark/pull/1420
• optimize FixedLengthSum of hash with minLen by @ggq89 in https://github.com/Consensys/gnark/pull/1445
• Feat/switch groth16 key by @lucasmenendez in https://github.com/Consensys/gnark/pull/1357
• GKR Gate Registry by @Tabaie in https://github.com/Consensys/gnark/pull/1442
• fix: Ratio Verification on Groth16 MPC - Phase 1 by @Tabaie in https://github.com/Consensys/gnark/pull/1465
• feat: use OSS ICICLE for GPU acceleration (version v3.2.2) by @ivokub in https://github.com/Consensys/gnark/pull/1451
• feat(wires): implements GetWiresConstraintExact as a draft proposal by @AlexandreBelling in https://github.com/Consensys/gnark/pull/1462
• Migrate GKR from gnark-crypto by @Tabaie in https://github.com/Consensys/gnark/pull/1467
• feat: make constraint.Element generic interface by @ivokub in https://github.com/Consensys/gnark/pull/1463
• feat: add Pectra BLS12-381 elliptic curve precompiles by @yelhousni in https://github.com/Consensys/gnark/pull/1447
• build(deps): bump golang.org/x/crypto from 0.33.0 to 0.35.0 by @dependabot in https://github.com/Consensys/gnark/pull/1478
• feat: map to g2 on BLS12-381 by @ivokub in https://github.com/Consensys/gnark/pull/1477
• feat: emulated AssertIsDifferent by @ivokub in https://github.com/Consensys/gnark/pull/1479
• Fix: make GetWiresConstraint(Exact) deterministic by @AlexandreBelling in https://github.com/Consensys/gnark/pull/1485
• fix: fake glv neg scalars by @ivokub in https://github.com/Consensys/gnark/pull/1487
• Style: goimports by @Tabaie in https://github.com/Consensys/gnark/pull/1491
• Docs/gkr example by @Tabaie in https://github.com/Consensys/gnark/pull/1458
• docs: notify undefined result by @ivokub in https://github.com/Consensys/gnark/pull/1488
• feat: make automatic element initialization aware of the current field by @ivokub in https://github.com/Consensys/gnark/pull/1492
• feat: add field extension support over native fields by @ivokub in https://github.com/Consensys/gnark/pull/1493
• feat: add WideCommitter for obtaining commitment in the field extension by @ivokub in https://github.com/Consensys/gnark/pull/1494
• feat: implement field emulation over small fields by @ivokub in https://github.com/Consensys/gnark/pull/1495
• Refactor/gkr/unigate by @Tabaie in https://github.com/Consensys/gnark/pull/1490
• docs: up comments by @yelhousni in https://github.com/Consensys/gnark/pull/1503
• fix hacky registration of MiMC by @Tabaie in https://github.com/Consensys/gnark/pull/1502
• fix: range over all limbs in normalized form for lookup by @ivokub in https://github.com/Consensys/gnark/pull/1505
• fix: don't use assignment to compile by @ivokub in https://github.com/Consensys/gnark/pull/1508
• feat: constant value binary decomposition by @ivokub in https://github.com/Consensys/gnark/pull/1510

New Contributors

• @weijiguo made their first contribution in https://github.com/Consensys/gnark/pull/1420
• @ggq89 made their first contribution in https://github.com/Consensys/gnark/pull/1445
• @lucasmenendez made their first contribution in https://github.com/Consensys/gnark/pull/1357

Full Changelog: https://github.com/Consensys/gnark/compare/v0.12.0...v0.13.0