All pull requests

Pull requests

• build(deps): bump dtolnay/rust-toolchain from 3c5f7ea28cd621ae0bf5283f0e981fb97b8a7af9 to 7e38f4b43b4db5c8dd498af069a4f6196df1d067

  A-CI
  #971·dependabot[bot] opened Oct 2, 2026Bot·

  ·
  

• Add cargo-vet configuration and CI job

  #970·Olexandr88 opened Sep 30, 2026·

  ·

• build(deps): bump codecov/codecov-action from 6.0.1 to 7.1.1

  A-CI
  #955·dependabot[bot] opened Sep 23, 2026Bot·

  ·
  

• build(deps): bump benchmark-action/github-action-benchmark from 1.22.1 to 1.22.2

  A-CI
  #954·dependabot[bot] opened Sep 22, 2026Bot·

  ·
  

• cond_swap: equality-enable the columns that mux copies into

  #953·0xShadowX opened Sep 21, 2026·

  ·

• MockProver::query_instance: return BoundsFailure past the provided public inputs

  #952·0xShadowX opened Sep 21, 2026·

  ·

• floor_planner::V1: place overflow constants after the planned rows instead of failing

  #951·Bruce039 opened Sep 21, 2026·

  ·

• MockProver: render poisoned cells in ConstraintNotSatisfied instead of hitting unreachable!()

  #950·Bruce039 opened Sep 21, 2026·

  ·

• poseidon: define the hash of an empty message instead of panicking

  #948·kriss39 opened Sep 20, 2026·

  ·

• poly: validate k in Params::read

  #947·kriss39 opened Sep 20, 2026·

  ·

• dev: don't panic in MockProver::verify when a region only enables a selector

  #946·kriss39 opened Sep 20, 2026·

  ·

• halo2_proofs: reject polynomial addition with mismatched lengths

  #941·ginavalent opened Sep 13, 2026·

  ·

• Speed up verifier and prover instance commitments

  #938·dannywillems opened Sep 2, 2026Contributor·

  ·
  1

  1

• Signed Booth recoding for multiexp

  #937·dannywillems opened Sep 2, 2026Contributor·

  ·
  1

  1

• halo2 evaluation micro-opts

  #935·dannywillems opened Aug 31, 2026Contributor·

  ·
  2

• Clarify zero-window handling in decompose_word

  #911·daixihegu opened Jun 25, 2026·

  ·
  1

• Reject duplicate lookup table cell assignments

  #902·1sgtpepper opened Jun 12, 2026·

  ·
  1

• docs: document correctness of selector combining optimization (#655)

  #886·MavenRain opened Apr 4, 2026Contributor·

  ·
  1

• fix: always call exit_region after enter_region, even when assignment errors

  #884·MavenRain opened Apr 4, 2026Contributor·

  ·
  1

• docs: split simple-example into 'simple circuit' and 'simple gadget'

  #883·MavenRain opened Apr 4, 2026Contributor·

  ·
  1

• Fix crash in constant allocation edge case

  #873·Ocheretovich opened Dec 20, 2025·

  ·

• chore: drop unnecessary F: Debug bound and unused Debug import

  #869·Snezhkko opened Dec 8, 2025·

  ·

• perf(ecc): remove redundant y_check from short fixed-base mul gate

  #868·MozirDmitriy opened Dec 5, 2025·

  ·
  1

• docs: add Pallas-Vesta curves and Simplified SWU documentation

  #850·crStiv opened Aug 25, 2025·

  ·
  6

• Implement variable-length input hashing.

  #847·71104 opened Jul 21, 2025·

  ·
  2