Auditable claim record

Formally-Verified Constant-Time AES S-Box · listed in shuttle

Tiny Tapeout SKY 26a · SUPPORTED

urn:vlsi:claim:20d6a880c1ea3f06d99cbab315a3d4191482cb91810f884e3eb2b68a41d75fe5

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

Back to Formally-Verified Constant-Time AES S-Box → · Complete history as JSON · JSON-LD

Evidence

Tiny Tapeout SKY 26a official shuttle registry ↗

The Tiny Tapeout SKY 26a registry lists this repository at submitted revision 193b2899ad1349ca6b1a6b841b369542386c53c8, under module tt_um_aes_sbox.

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

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

urn:vlsi:evidence:af25fd7f3c16bc8a737caa096c2c64b8ea2914a7513d73119d5e7b55c5a15fab

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.385Z	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.