package tezos-hacl

You can search for identifiers within the package.

in-package search v0.2.0

package tezos-hacl

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

type key = Bytes.t

val keybytes : int

val tagbytes : int

val unsafe_of_bytes : bytes -> bytes

val blit_of_bytes : bytes -> int -> bytes

val genkey : unit -> Hacl_star.SharedDefs.CBytes.t

val secretbox : 
  key:Hacl_star.SharedDefs.CBytes.t ->
  nonce:Hacl_star.SharedDefs.CBytes.t ->
  msg:Hacl_star.SharedDefs.CBytes.t ->
  cmsg:Hacl_star.SharedDefs.CBytes.t ->
  unit

val secretbox_open : 
  key:Hacl_star.SharedDefs.CBytes.t ->
  nonce:Hacl_star.SharedDefs.CBytes.t ->
  cmsg:Hacl_star.SharedDefs.CBytes.t ->
  msg:Hacl_star.SharedDefs.CBytes.t ->
  bool