What's Changed
- Add Plonky3 in the Readme Table in [#1035](#1035)
- feat: support formatter alternate display in [#1049](#1049)
- Fix Readme Link in [#1052](#1052)
- Implement HasDefaultTranscript for baby bear u32 degree 4 extension field in [#1055](#1055)
- Add copy to BabyBear u32 Extension Field struct in [#1056](#1056)
- Refactor transcript for dyn - Remove generic function in [#1057](#1057)
- Change step_size from constant to function to support dyn in [#1058](#1058)
- Make AIR Dynamic, and embed them along the Prover in [#1059](#1059)
- Refactor/remove naive pairing in [#1068](#1068)
- Refactor/babybear u32 only in [#1069](#1069)
- refactor: Extract common serialization helpers to traits.rs in [#1070](#1070)
- Curve optimizations in [#1076](#1076)
- Field optimizations in [#1078](#1078)
- Fix slow sqrt in [#1079](#1079)
- Fix/doc warnings in [#1074](#1074)
- docs: Add Getting Started guide and Architecture overview (P0) in [#1075](#1075)
- docs: improve README documentation with quick start guides in [#1081](#1081)
- Add FROST 2-of-2 threshold signature example (RFC 9591) in [#1080](#1080)
- feat(examples): Add Reed-Solomon codes educational example in [#1082](#1082)
- feat: Add XMSS signature scheme example in [#1083](#1083)
- fix(math): Guard polynomial division and xgcd against zero divisors in [#1085](#1085)
- fix(crypto): Guard sample_u64 against zero upper_bound in [#1088](#1088)
- fix(stark): Return error when multi_prove receives empty airs in [#1087](#1087)
- perf(math): Pre-allocate vector in DenseMultilinearPolynomial::merge in [#1089](#1089)
- perf(stark): Optimize Table::columns with pre-allocation in [#1090](#1090)
- feat(math): Add IsFFTField and optimized extensions for Goldilocks in [#1101](#1101)
- Optimize MSM signed digit recoding with flat allocation in [#1098](#1098)
- fix(crypto): Correct hash_to_field conversion issues in [#1091](#1091)
- fix(bls12-381): Fix critical bugs in G1/G2 decompression in [#1093](#1093)
- fix(bn254): Fix error handling and add G2 subgroup check in [#1094](#1094)
- fix(crypto): Address merkle tree and related issues in [#1092](#1092)
- feat: Add AI code reviewers for PRs in [#1103](#1103)
- Optimize polynomial operations to reduce cloning and allocations in [#1102](#1102)
- Stark prover profiling in [#1100](#1100)
- fix(stark): Validate grinding_factor to prevent overflow in [#1086](#1086)
- Fix/transcript sampling bias state in [#1096](#1096)
- fix: Implement ByteConversion for P448 Goldilocks U56x8 in [#1106](#1106)
- feat: Add ECDSA signature scheme for secp256k1 in [#1072](#1072)
- pin miden-vm to lambdaworks-backup branch in [#1115](#1115)
- Feat/goldilocks hybrid and bowers fft in [#1104](#1104)
- Ignore slow tests in [#1117](#1117)
- fix(stark): Add critical input validation and fix security calculations in [#1095](#1095)
- feat(math): Add Goldilocks hybrid field implementation in [#1112](#1112)
- Use const bounds in multiplication for LLVM loop unrolling in [#1108](#1108)
- fix(error-handling): Replace bare unwrap() with descriptive expect() in [#1118](#1118)
- Fix/error handling cleanup in [#1116](#1116)
- feat(examples): Add BLS signatures example in [#1113](#1113)
- feat(math): Add x86-64 assembly optimizations for field arithmetic in [#1127](#1127)
- perf(math): Add #[inline] attributes to hot field arithmetic paths in [#1128](#1128)
- feat(polynomial): enhance multilinear polynomial operations in [#1122](#1122)
- refactor(field): Rename representative to canonical in [#1130](#1130)
- fix(plonk): add critical proof element validation checks in [#1126](#1126)
- perf: enable LTO and adaptive MSM window size selection in [#1123](#1123)
- perf(circle): optimize FFT with in-place permutation in [#1124](#1124)
- feat(polynomial): add sparse polynomial implementation in [#1120](#1120)
- fix sparse polynomial to use renamed canonical() method in [#1138](#1138)
- feat(field): add KoalaBear prime field and degree 4 extension in [#1136](#1136)
- docs: update READMEs to reflect new capabilities in [#1139](#1139)
- feat(elliptic_curve): add batch operations using Montgomery's trick in [#1121](#1121)
- Feat/metal fft in [#1131](#1131)
- refactor(errors): standardize error types with proper Display/Error traits in [#1119](#1119)
- Feat/bandersnatch completion in [#1140](#1140)
- feat(crypto): add Metal GPU-accelerated Merkle tree backend in [#1133](#1133)
- Refactor/groth16 quality improvements in [#1141](#1141)
- Add bench against other libraries in [#1142](#1142)
Full Changelog: v0.13.0...v0.14.0