package tezos-hacl

You can search for identifiers within the package.

in-package search v0.2.0

package tezos-hacl

tezos-hacl
- README
- Library tezos-hacl
  - Tezos_hacl
    
    Hacl
    
    Rand
    
    Hash
    
    HASH_ALG
    
    DIRECT_HASH
    
    INCREMENTAL_HASH
    
    Make
    
    HMAC
    
    S
    
    HMAC
    
    SHA256
    
    H
    
    HMAC
    
    HMAC
    
    SHA512
    
    H
    
    HMAC
    
    HMAC
    
    SHA3_256
    
    SHA3_512
    
    Keccak_256
    
    Blake2b
    
    Nonce
    
    Secretbox
    
    Box
    
    SIGNATURE
    
    Ed25519
    
    P256
- Sources
  - tezos-hacl
    
    hacl.ml
    
    tezos_hacl.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Hacl.Box`Source

Sourcetype combined

Sourcetype _ key =

| Sk : Bytes.t -> secret key
| Pk : Bytes.t -> public key
| Ck : Bytes.t -> combined key

Sourceval skbytes : int

Sourceval pkbytes : int

Sourceval ckbytes : int

Sourceval tagbytes : int

Sourceval unsafe_to_bytes : 'a. 'a key -> Bytes.t

Sourceval blit_to_bytes : 'a. 'a key -> ?pos:int -> Bytes.t -> unit

Sourceval equal : 'a. 'a key -> 'a key -> bool

Sourceval unsafe_sk_of_bytes : Bytes.t -> secret key

Sourceval unsafe_pk_of_bytes : Bytes.t -> public key

Sourceval unsafe_ck_of_bytes : Bytes.t -> combined key

Sourceval of_seed : ?pos:int -> bytes -> secret key

Sourceval basepoint : bytes

Sourceval neuterize : secret key -> public key

Sourceval keypair : unit -> public key * secret key

Sourceval dh : public key -> secret key -> combined key

val box : 
  k:combined key ->
  nonce:Hacl_star.SharedDefs.CBytes.t ->
  msg:Hacl_star.SharedDefs.CBytes.t ->
  cmsg:Hacl_star.SharedDefs.CBytes.t ->
  unit

val box_open : 
  k:combined key ->
  nonce:Hacl_star.SharedDefs.CBytes.t ->
  cmsg:Hacl_star.SharedDefs.CBytes.t ->
  msg:Hacl_star.SharedDefs.CBytes.t ->
  bool

val box_noalloc : 
  k:combined key ->
  nonce:Hacl_star.SharedDefs.CBytes.t ->
  tag:Hacl_star.SharedDefs.CBytes.t ->
  buf:Hacl_star.SharedDefs.CBytes.t ->
  unit

val box_open_noalloc : 
  k:combined key ->
  nonce:Hacl_star.SharedDefs.CBytes.t ->
  tag:Hacl_star.SharedDefs.CBytes.t ->
  buf:Hacl_star.SharedDefs.CBytes.t ->
  bool