def nonce_from_proofs

qasim-bend-kit@0.1.0.2 · libs/AES256GCM.bend:379

import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCM

import Base

379def nonce_from_proofs(+bytes: List<&2, U32>,
380    size: Maybe<&0, {List.length(&2, U32, bytes) == 12n : Nat}>,
381    valid: Maybe<&0, {bytes_valid(bytes) == True{} : Bool}>) -> Result<&2, &2, Error, Nonce>:
382    match size valid:
383        case Some{size} Some{valid}: Done{Nonce{bytes, size, valid}}
384        case _ _: Fail{InvalidNonce{}}

Uses (10)

Used by (6)