Module acvm_stdlib::blackbox_fallbacks

Structs

• UInt8
  UInt contains a witness that points to a field element that represents a u32 integer It has a inner field of type Witness that points to the field element and width = 32
• UInt32
  UInt contains a witness that points to a field element that represents a u32 integer It has a inner field of type Witness that points to the field element and width = 32
• UInt64
  UInt contains a witness that points to a field element that represents a u32 integer It has a inner field of type Witness that points to the field element and width = 32

Functions

• and
  Returns a set of opcodes which constrain a & b == result
• blake2s
• hash_to_field
• keccak256
• range
• sha256
• xor
  Returns a set of opcodes which constrain a ^ b == result