Module 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