hacspec_lib

Module seq

Source
Expand description

§Sequences

This module implements variable-length sequences and utility functions for it. Seq only supports operations that are safe on secret values. For use with public values you can use PublicSeq.

Macros§

create_bytes

Structs§

PublicSeq
Variable length byte arrays.
SecretSeq
Variable length byte arrays.
Seq
Variable length byte arrays.

Traits§

ByteTrait
U16Trait
U32Trait

Functions§

Byte
DoubleByte
QuadByte

Type Aliases§

Byte
ByteSeq
Bytes
DoubleByte
PublicByteSeq
QuadByte