Crypto.Hash.Poly1305

Definitions

record Poly1305 : Type

Totality: total
Visibility: export
Constructor: 

MkPoly1305 : List Bits8 -> Vect 3 Bits64 -> Vect 2 Bits64 -> Vect 2 Bits64 -> Poly1305

Projections:

.buffer : Poly1305 -> List Bits8

.h : Poly1305 -> Vect 3 Bits64

.r : Poly1305 -> Vect 2 Bits64

.s : Poly1305 -> Vect 2 Bits64

Hints:

Digest Poly1305

MAC (Vect 32 Bits8) Poly1305