SHA256

Description

Block_Length

Block_Length  : constant System.Storage_Elements.Storage_Offset := 64;

Context

type Context is private;

Digest

subtype Digest is System.Storage_Elements.Storage_Array (1 .. Digest_Length);

Digest_Length

Digest_Length : constant System.Storage_Elements.Storage_Offset := 32;

Finalize

procedure Finalize (Ctx    : in out Context;
                    Output : out Digest)

Parameters

Ctx

Output

Initialize

procedure Initialize (Ctx : out Context)

Parameters

Ctx

Is_Initialized

function Is_Initialized (Ctx : Context) return Boolean

Parameters

Ctx

Return value

Max_Data_Length

Max_Data_Length : constant System.Storage_Elements.Storage_Offset :=
  System.Storage_Elements.Storage_Offset'Last / 2;

Max_Message_Bytes

Max_Message_Bytes : constant Interfaces.Unsigned_64 :=
  Interfaces.Unsigned_64 (2**61 - 1);

Message_Byte_Count

function Message_Byte_Count (Ctx : Context)
  return Interfaces.Unsigned_64

Parameters

Ctx

Return value

Update

procedure Update (Ctx  : in out Context;
                  Data : System.Storage_Elements.Storage_Array)

Parameters

Ctx

Data