- HashSigs RHDL
- Start here
❱
- Make a first change in 30 minutes
- Reading paths
- Build and inspect locally
- Cryptographic contract
❱
- WOTS+ in this project
- Two incompatible profiles
- One-time-key lifecycle
- Standards and nonclaims
- Architecture
❱
- Active system map
- Production signer
- SHA-only hardware verifier
- Hash engines
- Streams and packed interfaces
- RHDL and generated Verilog
- Source map
- Evidence
❱
- Evidence ladder
- Read throughput correctly
- Contributor workflow
❱
- Test from leaf to top
- Generate and validate RTL
- U280 evidence workflow
- Build this documentation
- Reference
❱
- Parameters and byte sizes
- Terminology
- Project
❱
- Contributing
- Security policy
- Changelog and releases
- Architecture decisions
- License
- Notices
- Known gaps