Skip to content

feat: verifiable ceremony randomness via an HKDF entropy source#82

Open
lomigmegard wants to merge 1 commit into
mainfrom
feat/entropy-ledger
Open

feat: verifiable ceremony randomness via an HKDF entropy source#82
lomigmegard wants to merge 1 commit into
mainfrom
feat/entropy-ledger

Conversation

@lomigmegard
Copy link
Copy Markdown
Contributor

Introduce a single, auditable source for every random value a ceremony consumes. A per-run seed is gathered from the host OS RNG and recorded; values such as certificate serials and nonces are derived from it with an HKDF-SHA-256 ratchet (scheme rite-kdf/v1) and recorded alongside their derivation path, so rite verify can re-derive each one and confirm it was not cherry-picked. Participants can fold their own entropy into the seed with a new gather_entropy action, for example by rolling dice.

Comment thread crates/rite-runtime/src/entropy.rs Fixed
Introduce a single, auditable source for every random value a ceremony consumes. A per-run seed is gathered from the host OS RNG and recorded; values such as certificate serials and nonces are derived from it with an HKDF-SHA-256 ratchet (scheme rite-kdf/v1) and recorded alongside their derivation path, so `rite verify` can re-derive each one and confirm it was not cherry-picked. Participants can fold their own entropy into the seed with a new gather_entropy action, for example by rolling dice.
@lomigmegard lomigmegard force-pushed the feat/entropy-ledger branch from f85a567 to 854c774 Compare June 1, 2026 21:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants