Module black_box_function_call

Black box functions are ACIR opcodes which rely on backends implementing support for specialized constraints. This makes certain zk-snark unfriendly computations cheaper than if they were implemented in more basic constraints.

Structs

• FunctionInput
  Input to a black box call
• InvalidInputBitSize

Enums

• BlackBoxFuncCall
  These opcodes represent a specialized computation. Even if any computation can be done using only assert-zero opcodes, it is not always efficient. Some proving systems, can implement several computations more efficiently using techniques such as custom gates and lookup tables.
• ConstantOrWitnessEnum
  Enumeration for black box function inputs

Functions

• deserialize_big_array_into_box 🔒
• serialize_big_array 🔒