SUMMARY.md

Summary

Introduction

Getting started

• Quick start
• Hardware
• Build options
• Releases & verification
• Supply chain
• Linux host setup
• Windows host setup

Using the device

• The rsk CLI
• FIDO2 / WebAuthn / U2F
• SSH keys (-sk)
• Git: signing + auth
• OpenPGP card
• PIV
• OATH — TOTP / HOTP
• OTP slots
• Seed backup
• Backup key (pair)
• Soft-lock
• LED
• Trusted display
• Terminal cockpit (rsk-tui)
• Audit journal
• Enterprise attestation
• AAGUID & metadata
• Fleet tooling
• FIPS-style profile

Production hardening

• Production setup
• Signing keys
• OTP fuses (RP2350)
• Anti-rollback

Security

• Threat model
• Limitations
• unsafe audit
• Constant-time audit
• Formal model
  • Token refinement pilot
  • Cross-reset refinement pilot
  • Store refinement pilot

Internals

• Architecture
• Host protocol
• Testing
• Interop matrix
• Versions
• Motivation