Auditable claim record

Fault-Aware Constant-Time FO Backend for ML-KEM · listed in shuttle

Tiny Tapeout SKY 26c · SUPPORTED

urn:vlsi:claim:1a7c3d915fbdfcb93a2044e90c0de785727d86f9210916a6879c15442c182929

Official registry lists this repository, submitted revision and module. The listing does not establish fabrication, manufacture, validation or measured results.

Back to Fault-Aware Constant-Time FO Backend for ML-KEM → · Complete history as JSON · JSON-LD

Evidence

Tiny Tapeout SKY 26c official shuttle registry ↗

The Tiny Tapeout SKY 26c registry lists this repository at submitted revision bdfb9685e4e416ca189d1156186986e39f314b45, under module tt_um_mlkem_coefficient_integrity.

Tiny Tapeout official registry · projects[163]: repository, commit and macro · supports

Published date unknown · Retrieved 2026-10-13T23:58:55.128Z

urn:vlsi:evidence:01d9b0fcbc4dc49dfd9c11a51eb8b7acf43a922a40e83eaadb6884a1bafe31cb

Assessment history

New assessments preserve earlier records. A correction changes the current interpretation without rewriting what VLSI knew before it.

Recorded assessments, oldest first
Revision	Recorded at (UTC)	Status	Validity	Reviewer & reason
1	2026-10-14T00:04:17.534Z	SUPPORTED	unknown unknown	checked-catalog-source-adapter (adapter) Evidence ingested by official-registry-and-pinned-documents/1.0.0. Explicit upstream evidence only. No fabrication, validation, successful tapeout, measured performance, arbitrary-version interoperability or production qualification is inferred.