Black Box Functions
Black box functions are functions in Noir that rely on backends implementing support for specialized constraints. This makes certain zk-snark unfriendly computations cheaper than if they were implemented in Noir.
The ACVM spec defines a set of blackbox functions which backends will be expected to implement. This allows backends to use optimized implementations of these constraints if they have them, however they may also fallback to less efficient naive implementations if not.
Function list
Here is a list of the current black box functions:
- AES128
- SHA256
- Schnorr signature verification
- Blake2s
- Blake3
- Pedersen Hash
- Pedersen Commitment
- ECDSA signature verification
- Embedded curve operations (MSM, addition, ...)
- AND
- XOR
- RANGE
- Keccak256
- Recursive proof verification
Most black box functions are included as part of the Noir standard library, however AND
, XOR
and RANGE
are used as part of the Noir language syntax. For instance, using the bitwise operator &
will invoke the AND
black box function.
You can view the black box functions defined in the ACVM code here.