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