kai-qu/vst-crypto
SHA-256 and HMAC specs and lemmas (from VST)
Public GitHub Catalog
Discovered Oct 5, 2026
kai-qu / vst-hmac
Formally proving equivalence between two specs of HMAC [obsolete -- see https://github.com/PrincetonUniversity/VST]
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#28879902GitHub System ID
kai-quOrganization / User
PublicVisibility
ActiveCatalog Status
More from kai-qu
kai-qu/syntax
Experiments with syntax and symbols
kai-qu/alternative-internet
A collection of interesting new networks and tech aiming at decentralisation (in some form).
kai-qu/magic
For the Diaconis card trick involving linear shift registers, calculates the 5 spectator cards.