docs: update README for in-circuit matcher and thermometer encoding #2

Merged

hugooconnor merged 0 commits from refs/pull/2/head into main 2026-07-13 07:13:03 +00:00

Conversation 0 Commits - Files changed -

hugooconnor commented 2026-07-13 07:12:39 +00:00 (Migrated from codeberg.org)

Copy link

Reflect the two most recent feature commits: the Hamming distance is now
computed in-circuit with Poseidon template-commitment binding, and
embeddings use thermometer (ordinal) encoding.

• Proof gen ~250ms → ~970ms (circuit k=14 → k=16) across all tables/diagram
• Test counts 519/77 → 557/~95
• New "In-circuit matching and template binding" subsection
• Enroll/prove flow, module list, building blocks, milestones updated

Co-Authored-By: Claude Opus 4.8 (1M context) noreply@anthropic.com
Claude-Session: https://claude.ai/code/session_017V9RfCSs73J3GqwaCkzyAd

Reflect the two most recent feature commits: the Hamming distance is now computed in-circuit with Poseidon template-commitment binding, and embeddings use thermometer (ordinal) encoding. - Proof gen ~250ms → ~970ms (circuit k=14 → k=16) across all tables/diagram - Test counts 519/77 → 557/~95 - New "In-circuit matching and template binding" subsection - Enroll/prove flow, module list, building blocks, milestones updated Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_017V9RfCSs73J3GqwaCkzyAd

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

anuna-research/sable!2

No description provided.