Crate miden_stdlib_sys 

Re-exports

pub use intrinsics::Digest;

pub use intrinsics::Word;

pub use intrinsics::WordAligned;

pub use intrinsics::advice::emit_falcon_sig_to_stack;

pub use intrinsics::assert;

pub use intrinsics::assert_eq;

pub use intrinsics::assertz;

Modules

intrinsics

Macros

felt

Creates a Felt from an integer constant checking that it is within the valid range at compile time.

Structs

Felt

A Felt represented as a felt (miden_core::Felt).

SmtGetResponse

Result of smt_get, containing the retrieved value and the (unchanged) root.

SmtSetResponse

Result of smt_set, containing the old_value and the updated new_root.

Functions

adv_load_preimage

Pops an arbitrary number of words from the advice stack and asserts it matches the commitment. Returns a Vec containing the loaded words.

blake3_hash

Computes BLAKE3 1-to-1 hash.

blake3_merge

Computes BLAKE3 2-to-1 hash.

extern_hash_elements

ABI helper for miden::core::crypto::hashes::rpo256::hash_elements.

extern_hash_words

ABI helper for miden::core::crypto::hashes::rpo256::hash_words.

hash_elements

Computes the hash of a sequence of field elements using the Rescue Prime Optimized (RPO) hash function.

hash_words

Computes the hash of a sequence of words using the Rescue Prime Optimized (RPO) hash function.

pipe_double_words_to_memory

Returns an even number of words from the advice stack along with the RPO hash of all read words.

pipe_words_to_memory

Reads an arbitrary number of words num_words from the advice stack and returns them along with sequantial RPO hash of all read words.

rpo_falcon512_verify

sha256_hash

Computes SHA256 1-to-1 hash.

sha256_merge

Computes SHA256 2-to-1 hash.

smt_get

Returns the value associated with key in the sparse Merkle tree rooted at root as tracked by the VM’s advice provider. The returned SmtGetResponse contains the retrieved value and the (unchanged) root returned by the ABI. Fails if the tree with the specified root does not exist in the VM’s advice provider. When no value has previously been inserted under key, the procedure returns the empty word.

smt_set

Inserts value at key in the sparse Merkle tree rooted at root, returning the prior value stored at key along with the new root. The returned SmtSetResponse contains the previous value stored under key and the updated root. Fails if the tree with the specified root does not exist in the VM’s advice provider.