Module Bigcrypto.Verify

Constant time bytes comparison.

val bytes : Bytes.t -> Bytes.t -> bool

bytes b0 b1 is true iff b0 and b1 are equal. Raises Invalid_argument if b0 or b1 are not of the same size.

val bytes_16 : Bytes.t -> Bytes.t -> bool

bytes_16 b0 b1 is true iff b0 and b1 are equal. Raises Invalid_argument if b0 or b1 not made of 16 bytes.

val bytes_32 : Bytes.t -> Bytes.t -> bool

bytes_32 b0 b1 is true iff b0 and b1 are equal. Raises Invalid_argument if b0 or b1 not made of 32 bytes.