Module ed25519 

Ed25519 for the slow path: this repository’s uBFT service behind rhdl_ubft’s crypto ports.

Ed25519Crypto<NV> is the service UbftEd25519<1, NV> (the measured small signer, NV known-key verify machines, 16 key slots) with the Setup sequencer as its host: at setup it loads the seed and every replica’s key and starts the service. The streams pass straight through; only the beat layout changes (the service carries bytes, the controller eight 64-bit lanes).

Structs

Ed25519Crypto

Ed25519 behind the crypto ports.

Functions

ed25519_crypto_kernel

The wiring.

frame_errors

R-10: which presented beats the service would misread. A sign request is exactly one beat with every byte kept; a verify beat keeps every byte (the service checks the verify record’s beat count and last).

from_service

Service beat → controller beat.

to_service

Controller beat → service beat.