Crate miden_stdlib_sys Copy item path Source pub use intrinsics::advice::emit_falcon_sig_to_stack ;pub use intrinsics::assert_eq ;pub use intrinsics::Digest ;pub use intrinsics::Felt ;pub use intrinsics::Word ;pub use intrinsics::WordAligned ;intrinsics felt Creates a Felt from an integer constant checking that it is within the
valid range at compile time. 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_1to1 Hashes a 32-byte input to a 32-byte output using the BLAKE3 hash function. blake3_hash_2to1 Hashes a 64-byte input to a 32-byte output using the BLAKE3 hash function. extern_hash_memory ⚠ Computes the hash of a sequence of field elements using the Rescue Prime Optimized (RPO)
hash function. extern_hash_memory_words ⚠ Computes the hash of a sequence of words using the Rescue Prime Optimized (RPO) hash
function. 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 Verifies a signature against a public key and a message. The procedure gets as inputs the hash
of the public key and the hash of the message via the operand stack. The signature is expected
to be provided via the advice provider. The signature is valid if and only if the procedure
returns. sha256_hash_1to1 Hashes a 32-byte input to a 32-byte output using the SHA256 hash function. sha256_hash_2to1 Hashes a 64-byte input to a 32-byte output using the SHA256 hash function.