Repository navigation

spec: update constraint ID system - #570

Merged

erik-3milabs merged 30 commits into

spec/mainfrom

spec/constraint_id

Jul 23, 2026

Merged

spec: update constraint ID system#570
erik-3milabs merged 30 commits into
spec/mainfrom
spec/constraint_id

Commits on Jun 11, 2026
- spec/constraint_id: introduce FNV-1a hash
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  7d70a0d
- spec/constraint_id: compute constraint ID upon load
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  2c8a21f
- spec/constraint_id: attempt at new id
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  122ed2d
- spec: drop "constraint" from "polynomial constraint"
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  5241b97
- spec/constraint_id: refactor ID
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  86e4f97
- spec: completely hide unused constraint table columns
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  4474672
- spec: squish column table iter notation
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  79727a9
- spec: reduce some constraint table column widths
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  21a4485
- spec: introduce thin lines between constraints
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  369f1d2
- spec: use chip codes as shorthand in constraint notation
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  eb53bdf
- spec: fix tooling
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  2921edf
- spec: update assumption naming
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  118c838
- spec/chip: fix missing sum defaults
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  726d17d
- spec: fix z-fill bug
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  1588a00
- spec/constraint_id: use \x00 as domain separator
  
  authored and
  RobinJadoul
  committed
  916bb11
- spec/chip: fix reading "code"
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  21ab75d
- spec/constraint_id: include `tag` in constraint-ID derivation
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  67142b8
- spec/constraint_id: support indexing for chips beyond 99 constraints
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  fca2146
- spec/constraint_id: drop bytes-to-hex
  
  erik-3milabs
  authored and
  RobinJadoul
  committed
  b657685
Commits on Jun 24, 2026
- spec/constraint_id: tweaks
  erik-3milabs
  committed
  38c64bb
Commits on Jun 25, 2026
- spec/constraint_id: remove group prefixes
  erik-3milabs
  committed
  feb34c5
- spec/constraint_id: fix FNV-1a bug
  erik-3milabs
  committed
  095e56e
- .gitignore: venv
  erik-3milabs
  committed
  4205ad7
Commits on Jun 26, 2026
- spec/constraint_id: update object digestion
  erik-3milabs
  committed
  018ed55
- spec/constraint_id: address review comments
  erik-3milabs
  committed
  aedadc0
Commits on Jun 29, 2026
- Update spec/src/sha256round.toml
  
  RobinJadoul
  and
  erik-3milabs
  authored
  63ab48b
Commits on Jul 20, 2026
- spec/constraint_id: apply review suggestions
  erik-3milabs
  committed
  2d47adb
- spec/constraint_id: address review comments
  erik-3milabs
  committed
  b689cf5
- Merge branch 'spec/main' into spec/constraint_id
  erik-3milabs
  authored
  7108bb9
Commits on Jul 21, 2026
- spec/constraint_id: fix FNV24-1a
  erik-3milabs
  committed
  caffbcf

Commits

Commits on Jun 11, 2026

Commits on Jun 24, 2026

Commits on Jun 25, 2026

Commits on Jun 26, 2026

Commits on Jun 29, 2026

Commits on Jul 20, 2026

Commits on Jul 21, 2026