package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type combined

type _ key =

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

val skbytes : int

val pkbytes : int

val ckbytes : int

val tagbytes : int

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

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

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

val unsafe_sk_of_bytes : Bytes.t -> secret key

val unsafe_pk_of_bytes : Bytes.t -> public key

val unsafe_ck_of_bytes : Bytes.t -> combined key

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

val basepoint : bytes

val neuterize : secret key -> public key

val keypair : unit -> public key * secret key

val 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