package hacl-star

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

A randomness function implemented with platform-dependent code for Unix and Windows

The randombytes function is handwritten, unverified C code. In Unix, it is implemented using the getrandom syscall, with a fallback to /dev/urandom. In Windows, it is implemented using CryptGenRandom.

val randombytes : size:int -> bytes option

randombytes size attempts to create a buffer containing size random bytes

module Noalloc : sig ... end

Version of this function which writes its output in a buffer passed in as an argument

OCaml

Innovation. Community. Security.