Release v1.2.5

77 commits ahead of main. Highlights grouped by theme:

Soundness fixes (the largest theme)

• Syscall AIR hardening — bidirectional constraints, refactor of syscall AIR, fix is_linux_syscall unconstrained bug,
  link x_coordinate to point, add result_lo/result_hi to global message, lookups between core and precompiles for
  args/results, fix half-word packed args in GPU code, unit tests + docs (many commits, merged from
  fix/syscall-air-soundness-bugs)
• fix: missing assert_bool for is_nor in BitwiseChip (#448)
• fix: remove duplicate assert_bool in ShiftRightChip (#451)
• fix(core): correct carry array size in Add5Operation (#462)
• fix(curves): correct nb_scalar_bits in WeierstrassParameters (#463)
• fix: ins ror_val out of range (#477)
• fix: division trace-gen panic on INT_MIN (#483)
• fix: public verifier API panics on malformed inputs (#467)
• feat(soundness): Picus backend (#442) — formal verification backend

Features

• feat: add keeper (#443)
• feat: trace FFI (#491)
• feat: patch go runtime time syscall (#487)
• feat: Groth16 VK unaffected by Ziren upgrades (#481) + ZKM_IMM_WRAP_VK public-input verification & bundled historical
  part_stark_vks (#490)
• feat: add version tag for dvsnark artifacts (#468)
• feat: add mips tests (#482)
• feat: add shapes / re-gen shapes (#484, #485) + fix build-shapes OOM, shapes with 100 geth blocks

Performance / optimizations

• Optimize circuit (CloClz, LT, ShiftRight) (#479)
• perf: only check the shape once (#464)

Refactors / chores

• refactor: extract common attribute parsing in derive macros (#472)
• bump: toolchain rustc 1.91 (#469)
• VK updates for v1.2.5, historical VK additions, padding-row fix, clippy/lint/format
• docs(lt): fix SLT/SLTU typos (#465)
• Shankara pre-release additions (#475, #478)

Main themes: syscall/precompile soundness overhaul, Groth16 VK stability across upgrades, Picus formal-verification
backend, and circuit perf optimizations.

v1.2.4

What's Changed

• chore: fix typos by @Snezhkko in #376
• docs: fix grammatical issues by @lisenokdonbassenok in #377
• chore: fix typos in comments by @MozirDmitriy in #379
• docs: sync Opcode enum with implementation by @lisenokdonbassenok in #380
• chore: remove unused import from hash_to_field by @kurahin in #381
• fix: panic prone code by @felicityin in #375
• chore: optimize the deps in sdk by @SuccinctPaul in #344
• fix: fuzzing test by @eigmax in #385
• docs: update audit by @eigmax in #386
• build: add sysroot include path for bindgen by @blake-pro in #388
• fix: handle boundary conditions for ext and ins by @blake-pro in #389
• fix: deps for gpu by @felicityin in #390
• Fix typo in error message by @maradini77 in #383
• feat: add check ciphertext precompile by @VanhGer in #373
• fix: correct stateless prove_core doc reference by @ANtutov in #392
• fix(sdk): remove unnecessary clone in zkm_dump by @Snezhkko in #393
• fix(zkvm): remove dead hash_input allocation in verify syscall by @yyhrnk in #395
• docs: clarify Shape::new constructor comment by @sashass1315 in #394
• docs: correct septic curve documentation comments by @VolodymyrBg in #396
• feat: add dvsnark feature by @VanhGer in #399
• cargo clippy & remove dead code by @VanhGer in #401
• docs: align fp and bls hook error docs with ExecutionError by @phrwlk in #403
• fix: correct AffinePoint::to_le_bytes doc comment by @radik878 in #402
• fix: avoid extra allocation in ZKMPublicValues::raw by @phrwlk in #397
• docs: sync precompiles snippet with zkvm lib by @sashass1315 in #398
• fix: clarify Poseidon2 AIR memory-only comments by @MozirDmitriy in #404
• docs: sync optimizations guide with prover docs by @Snezhkko in #412
• perf: avoid heap allocation in g1_to_bytes by @Galoretka in #409
• chore(primitives): deprecate Buffer::head by @SashaMalysehko in #411
• Revert "chore(primitives): deprecate Buffer::head" by @eigmax in #413
• docs: fix BaseAluInstr doc comment by @Bashmunta in #414
• chore: update vks by @felicityin in #415
• Feat: add TestGroth16Main by @VanhGer in #419
• fix: correct CompAluEvent constructor documentation by @Snezhkko in #420
• fix: correct permutation constraint count comment by @Galoretka in #417
• fix(sdk): correct install_circuit_artifacts documentation by @sashass1315 in #416
• fix: correct bn254 fp and fp2 chip comments by @Forostovec in #408
• chore: update sdk logs by @eigmax in #424
• fix: correct case reference in weierstrass_add_assign by @aso20455 in #425
• fix: avoid cloning proof_stream entry in verify syscall by @VolodymyrBg in #405
• fix(executor): remove incorrect sign extension for J/JAL target address by @reallesee in #427
• refactor(zkm-lib): eliminate redundant clones by @zeroprooff in #422
• fix(memory): use MAX_MEMORY in heap limit panic by @yyhrnk in #428
• fix: incomplete SubAssign for SepticExtension by @aso20455 in #433
• chore: release v1.2.4 by @eigmax in #391

New Contributors

• @lisenokdonbassenok made their first contribution in #377
• @kurahin made their first contribution in #381
• @SuccinctPaul made their first contribution in #344
• @yyhrnk made their first contribution in #395
• @SashaMalysehko made their first contribution in #411
• @reallesee made their first contribution in #427

Full Changelog: v1.2.3...v1.2.4

v1.2.3

What's Changed

• feat: prevent read/write registers by memory instructions by @weilzkm in #337
• Fix maintain concerns by @weilzkm in #351
• docs: typo in function name by @hawkadrian in #348
• add aligned check for memory instructions by @weilzkm in #367
• docs: fix typos and grammar errors by @cmende in #368
• fix(bytes): correct operand names in byte chip comments by @ANtutov in #369
• fix(cuda): correct Drop log type and cleanup_container doc grammar by @GarmashAlex in #370
• docs: sync Supported Crates with actual patches by @phrwlk in #371
• fix syswrite panic when receive invalid utf-8 data by @weilzkm in #366
• Pre release v1.2.3 by @eigmax in #365
• docs(verifier): replace non-existent vkey CLI with SDK example by @radik878 in #374
• chore: expand glob import in recursion machine by @cmende in #372

New Contributors

• @hawkadrian made their first contribution in #348
• @ANtutov made their first contribution in #369
• @phrwlk made their first contribution in #371

Full Changelog: v1.2.2...v1.2.3

v1.2.2

What's Changed

• Fix Documentation Typos by @cmende in #330
• Fix typos in code comments and documentation by @sashaodessa in #331
• feat: gpu docker sdk by @felicityin in #332
• docs: fix typo by @maradini77 in #333
• fix review problem by @weilzkm in #328
• fix unsinged_mem_val for lwl/lwr, opt cols in MemoryInstructionsColumns by @weilzkm in #327
• docs: fix duplicate comm in ByteRecord::add_byte_lookup_events_from_maps by @famouswizard in #310
• add nop sys for munmap(4091) by @weilzkm in #336
• feat: modified multiset hash by @felicityin in #335
• chore: edited broken discord link by @Olexandr88 in #338
• chore: remove deadcode and fix grammar by @VanhGer in #339
• Moved "Independent Evaluations" and "Use Cases" pages to "Introduction" in Docs by @aliceliu7 in #312
• feat: split misc chip & increase shard size by @eigmax in #340
• Revert "Moved "Independent Evaluations" and "Use Cases" pages to "Introduction" in Docs " by @eigmax in #342
• docs: fix typos by @avorylli in #341
• docs: fixed dead link by @cypherpepe in #346
• chore: generate shapes for reth and geth by @felicityin in #345
• Opt: reduce MemoryInstructionsColumns (#343) by @eigmax in #347
• chore: optimize emulation by @eigmax in #352
• feat: adapt the cpu chip for gpu by @felicityin in #354
• chore: fix typos in code comments by @Fibonacci747 in #349
• chore: fix reference in comment by @Forostovec in #350
• update multiset hashing description by @fulian89 in #361
• Fix typos in comments and error messages by @cmende in #360
• chore: fix typos by @Bashmunta in #359
• chore: fix reference in comments by @VolodymyrBg in #358
• chore: fix typos by @Snezhkko in #355
• chore: new shapes and new vks by @felicityin in #363
• add jump/branch to 0 check in executor by @weilzkm in #357
• chore: fix error message by @radik878 in #362

New Contributors

• @cmende made their first contribution in #330
• @sashaodessa made their first contribution in #331
• @maradini77 made their first contribution in #333
• @famouswizard made their first contribution in #310
• @avorylli made their first contribution in #341
• @Fibonacci747 made their first contribution in #349
• @Forostovec made their first contribution in #350
• @Bashmunta made their first contribution in #359
• @Snezhkko made their first contribution in #355
• @radik878 made their first contribution in #362

Full Changelog: v1.2.1...v1.2.2

v1.2.1

What's Changed

• fix: upgrade alloy to 1.0 by @eigmax in #313
• Fix go runtime by @weilzkm in #316
• feat: add keccak256 precompile and function to go-runtime by @gballet in #318
• chore: Use workspace tracing-subscriber in core/executor by @JoshMa-mq in #317
• Add check for next_next_pc by @weilzkm in #320
• Add docs for memory layout of guest program by @weilzkm in #322
• fix format problem in mips_vm.md by @weilzkm in #323
• Fix typos across multiple files by @JoshMa-mq in #325
• feat: adapt to gpu by @felicityin in #319
• feat: add single node for network prover by @VanhGer in #282
• chore: disable sys feature by @felicityin in #329

New Contributors

• @gballet made their first contribution in #318
• @JoshMa-mq made their first contribution in #317

Full Changelog: v1.2.0...v1.2.1

v1.2.0

What's Changed

• Remove unused std::vec import in RSA example by @aso20455 in #293
• update groth16 public values test by @blake-pro in #299
• Added "Proof Aggregation" to docs by @aliceliu7 in #302
• Added 'Independent Evaluations' section to docs by @aliceliu7 in #308
• Fix typos and improve comments in core executor & machine docs by @sashass1315 in #300
• docs: fix typos and wording by @mdqst in #305
• feat: add support for go program by @weilzkm in #254

New Contributors

• @aso20455 made their first contribution in #293
• @sashass1315 made their first contribution in #300

Full Changelog: v1.1.4...v1.2.0

v1.1.4

What's Changed

• repr usize by @ple1n in #277
• fix: bump rust toolchain by @eigmax in #278
• cargo-prove conflicts with SP1 by @ple1n in #279
• feat: add new function verify_proof() for stark verifier. by @felicityin in #280
• feat: support madd/msub and add bitcoin guest by @eigmax in #286
• fix: correct typos in comments by @GarmashAlex in #281
• Get zkm-build CC env from OS env var instead by @weilzkm in #288
• update vk 1.1.4 by @weilzkm in #289
• chore: update deps of examples by @felicityin in #291
• update docs and initial sp by @weilzkm in #292
• docs: fix typos in developer documentation by @Galoretka in #290
• fix vk map by @blake-pro in #294
• set default VERIFY_VK true by @blake-pro in #295
• Added verifier section to docs by @aliceliu7 in #296
• update vks by @blake-pro in #297

New Contributors

• @ple1n made their first contribution in #277
• @GarmashAlex made their first contribution in #281
• @Galoretka made their first contribution in #290

Full Changelog: v1.1.2...v1.1.4

v1.1.2

What's Changed

• feat: use the network prover with an elf id by @felicityin in #240
• feat: add maximum prover number field. by @VanhGer in #241
• style: refactor interface prove_with_cycles into a generic interface by @felicityin in #242
• style: prove_with_cycles() interface must return cycles by @felicityin in #243
• docs: fix dead link in continuation.md by @youyyytrok in #245
• feat: add embeded allocator in zkvm by @weilzkm in #247
• chore: update polling interval unit in sdk by @felicityin in #248
• fix: vulnerable deps by @eigmax in #249
• fix max page count by @weilzkm in #251
• Update comments and docs for control flow instructions by @weilzkm in #257
• fix: multiple typos of different importance by @crStiv in #256
• Poseidon2 precompile by @blake-pro in #255
• update poseidon2 docs by @blake-pro in #258
• docs: changed link for contributor icon by @Olexandr88 in #259
• Added docs "Prover Architecture" section by @aliceliu7 in #260
• fix: correct typos in core executor and machine modules by @VolodymyrBg in #268
• feat: add no-std stark verifier by @felicityin in #262
• feat: update groth16 vk and plonk vk by @felicityin in #270
• fix: test_core_proof_bytes_unimplemented() by @felicityin in #273
• Docs Additions by @aliceliu7 in #272
• docs: correct typos in uint256 and weierstrass precompile comments by @MozirDmitriy in #271

New Contributors

• @youyyytrok made their first contribution in #245
• @crStiv made their first contribution in #256
• @Olexandr88 made their first contribution in #259
• @VolodymyrBg made their first contribution in #268
• @MozirDmitriy made their first contribution in #271

Full Changelog: v1.1.1...v1.1.2

v1.1.1

What's Changed

• ci: remove scheduled ci by @felicityin in #211
• chore: remove test-artifacts from deps by @felicityin in #212
• style: refactor prove interface by @felicityin in #213
• Update README.md by @MonkeyKing44 in #206
• Minor Documentation and Syntax Corrections by @vtjl10 in #214
• chore: fix comments by @felicityin in #217
• feat: convert compressed proof to groth16 proof by @felicityin in #220
• style: remove useless field from NetworkProver by @felicityin in #221
• chroe: fixed dead link and typos correct by @cypherpepe in #224
• feat: zkm cli by @felicityin in #226
• Quickstart Docs by @aliceliu7 in #228
• ci: remove useless components by @felicityin in #229
• Feat: get cycles from network prover by @blake-pro in #227
• chore: change zkMIPS to Ziren by @eigmax in #231
• fix: replace zkmips deps by @eigmax in #234
• Changed project template link by @aliceliu7 in #235
• chore: update docs by @eigmax in #237
• docs: fix misleading phrasing in ProverClient initialization comment by @mdqst in #238
• Fix Typos in Comments and Documentation by @zeevick10 in #215
• Adapt to the proof network. by @blake-pro in #239

New Contributors

• @MonkeyKing44 made their first contribution in #206
• @vtjl10 made their first contribution in #214
• @cypherpepe made their first contribution in #224
• @aliceliu7 made their first contribution in #228
• @mdqst made their first contribution in #238
• @zeevick10 made their first contribution in #215

Full Changelog: v1.1.0...v1.1.1

v1.1.0

What's Changed

• fix: seh decode error by @weilzkm in #132
• fix: add missed support for ecdsa in zkvm by @weilzkm in #133
• update comments and add missed constraints by @weilzkm in #134
• doc syntax by @lin677622 in #135
• ci: deploy doc by @felicityin in #138
• ci: update doc upload path by @felicityin in #140
• feat: add support for linking c/c++ static lib in build. by @weilzkm in #139
• ci: tests run on a self-hosted runner by @felicityin in #142
• docs: intro and proof network by @eigmax in #141
• chore: replace bn by @felicityin in #149
• doc: update performance data by @felicityin in #150
• docs: update performance by @eigmax in #151
• doc: update prover-doc by @felicityin in #152
• opt: remove unused cols by @weilzkm in #153
• doc: some updates by @felicityin in #155
• docs: update version info by @VanhGer in #156
• ci: splite ci to two parts by @felicityin in #157
• docs: update readme by @eigmax in #158
• docs: update overview and performance by @VanhGer in #162
• ci: make time consuming ci scheduled by @felicityin in #163
• opt: use Adddouble operation to replace two addcarry by @weilzkm in #161
• Fix typo: rename is_sequantial to is_sequential in air.rs by @leopardracer in #164
• docs: remove consecutive duplicate words by @zeroprooff in #166
• feat: add Groth16 public values precompute function. by @VanhGer in #167
• fix: typos by @omahs in #168
• Feat: ignore nop slot by @weilzkm in #170
• Update docs by @fulian89 in #171
• feat: add network prover by @VanhGer in #169
• Fix: shard split at branch/jump with nop slot by @weilzkm in #175
• feat: impl hooks for reth by @felicityin in #177
• opt: reduce instructionCols columns by @weilzkm in #179
• fix special case in debug mode by @weilzkm in #180
• revert: nop optimization by @blake-pro in #181
• chore: change the name of SSL cert and key. by @VanhGer in #182
• fix cpu cost by @blake-pro in #183
• fix value b, c when exit unconstrained mode by @weilzkm in #184
• chore: regenerate shapes by @felicityin in #185
• chore: remove revme example by @felicityin in #186
• fix: support compressed proof by @blake-pro in #187
• fix: split keccak sponge by @blake-pro in #188
• opt: reduce unnecessary cols in jump and cloclz by @weilzkm in #189
• fix: formatted for link in stark.md by @olegnechipa in #190
• fix dead link in patched-crates.md by @dizer-ti in #191
• fix: tool link. by @VanhGer in #192
• doc: fix link by @felicityin in #193
• fix: several typos in comments by @DeVikingMark in #195
• Opt constraints for div, branch，jump，misc instructions by @weilzkm in #196
• Opt check for access to a and hi register by @weilzkm in #197
• Add missed constraints for reduced value，ins/ext instructions，and initial next pc by @weilzkm in #198
• fix ext/ins byte lookup check by @weilzkm in #200
• add apache license by @blake-pro in #201
• Update stark.md to improve documentation by @zju-yunbo in #202
• fix spelling isssues mod.rs by @davidjsonn in #203
• fix checking vk_root in verifier by @blake-pro in #208
• feat: add support for mod/modu inst by @weilzkm in #207
• Fix stark doc for latex format by @zju-yunbo in #209
• v1.1.0 by @blake-pro in #210

New Contributors

• @lin677622 made their first contribution in #135
• @leopardracer made their first contribution in #164
• @zeroprooff made their first contribution in #166
• @omahs made their first contribution in #168
• @olegnechipa made their first contribution in #190
• @dizer-ti made their first contribution in #191
• @DeVikingMark made their first contribution in #195
• @zju-yunbo made their first contribution in #202
• @davidjsonn made their first contribution in #203