Crate miden_stdlib_sys

Macros

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

Structs

• Felt
• Word
• WordAligned

Enums

• FeltError

Functions

• assert
  If a == 1, removes it from the stack. Fails if a != 1
• assert_eq
  If a == b, removes them from the stack. Fails if a != b
• assertz
  If a == 0, removes it from the stack. 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.