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