Sha256: a308df65c57e4848930795bc110f1b2dde102c6e9963570a404c648b2b0be33a

Contents?: true

Size: 1.12 KB

Versions: 23

Compression:

Stored size: 1.12 KB

Contents

package wasi:random;

/// WASI Random is a random data API.
///
/// It is intended to be portable at least between Unix-family platforms and
/// Windows.
interface random {
    /// Return `len` cryptographically-secure random or pseudo-random bytes.
    ///
    /// This function must produce data at least as cryptographically secure and
    /// fast as an adequately seeded cryptographically-secure pseudo-random
    /// number generator (CSPRNG). It must not block, from the perspective of
    /// the calling program, under any circumstances, including on the first
    /// request and on requests for numbers of bytes. The returned data must
    /// always be unpredictable.
    ///
    /// This function must always return fresh data. Deterministic environments
    /// must omit this function, rather than implementing it with deterministic
    /// data.
    get-random-bytes: func(len: u64) -> list<u8>;

    /// Return a cryptographically-secure random or pseudo-random `u64` value.
    ///
    /// This function returns the same type of data as `get-random-bytes`,
    /// represented as a `u64`.
    get-random-u64: func() -> u64;
}

Version data entries

23 entries across 23 versions & 1 rubygems

Version Path
wasmtime-14.0.3 ./ext/cargo-vendor/wit-parser-0.12.1/tests/ui/random.wit
wasmtime-14.0.1 ./ext/cargo-vendor/wit-parser-0.12.1/tests/ui/random.wit
wasmtime-14.0.0 ./ext/cargo-vendor/wit-parser-0.12.1/tests/ui/random.wit