Keyboard shortcuts

Press ← or → to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Changelog

All notable project and documentation changes are recorded here. The project does not yet publish a stable API release.

Unreleased

Added

  • A hybrid developer site with an mdBook guide, fresh workspace Rustdoc under /api/, and manifest-generated evidence pages under /evidence/.
  • A canonical evidence schema that keeps claims and nonclaims attached to their producing source revision and tier.
  • Real 404, robots, sitemap, security-contact, header, and redirect artifacts for static Cloudflare Pages hosting.
  • Contributor and security policies.

Evidence status

  • The production SHA-256 signer has source-simulation, finite generated-RTL equivalence, and sustained generated-RTL cycle evidence.
  • The SHA-256 verifier top has source/RHDL simulation evidence only.
  • U280 synthesis, routed timing, and card execution remain separate gates and are not implied by the documentation build.

0.1.0 — development baseline

  • Added type-separated legacy Keccak and SHA-256 profiles.
  • Matched the five pinned HashSigsRS legacy vectors.
  • Added Rust/RHDL SHA-256 lanes, the active three-cluster-by-four-context signer and verifier tops, deterministic RTL generation, and evidence-producing simulation gates.