Module acvm_stdlib::blackbox_fallbacks
source · Structs
- 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
- 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
- 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
- Returns a set of opcodes which constrain
a & b == result
- Returns a set of opcodes which constrain
a ^ b == result