Skip to content

Riverbraid/Riverbraid-Lite

Repository files navigation

⬡ Riverbraid-Lite

The Embedded Kernel

A deterministic 648-byte state engine for the RP2040 microcontroller.

Features

  • Immutable Memory: Verified by the Genesis Bridge Hash at boot.
  • Cryptographically Final: Transitions are sealed via HMAC-SHA256.
  • Cross-Language: Seamless struct mapping between C and Python.

Audit

make
make test