Crate miden_stdlib_sys Copy item path Source debug felt Creates a Felt from an integer constant checking that it is within the
valid range at compile time. Felt Word WordAligned FeltError assert Fails if a != 1 assert_eq Fails if a != b assertz Fails if a != 0 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. 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.