What's Changed

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

New Contributors

• @weijiguo made their first contribution in #1420
• @ggq89 made their first contribution in #1445
• @lucasmenendez made their first contribution in #1357

Full Changelog: v0.12.0...v0.13.0