package hpke

  1. Overview
  2. Docs

Module Rfc9180.SenderSource

Sourcetype 'capability t

Abstract, role-specific sender contexts. Aliases refer to the same mutable sequence state; do not treat assignment as cloning.

Sourceval seal : Suite.encryption t -> aad:string -> plaintext:string -> (string, Error.t) result

Authenticate and encrypt using the next context nonce. Successful calls advance exactly once. Concurrent calls return Error.t.Concurrent_use from one participant before it performs cryptography.

Sourceval export : _ t -> context:string -> length:int -> (string, Error.t) result

Export length bytes without changing message sequence state.