Crate acvm_blackbox_solver

This crate provides the implementation of BlackBox functions of ACIR and Brillig. For functions that are backend-dependent, it provides a Trait BlackBoxFunctionSolver that must be implemented by the backend. For functions that have a reference implementation, such as keccak256, this crate exports the reference implementation directly.

Structs

• BigIntSolver
  Resolve BigInt opcodes by storing BigInt values (and their moduli) by their ID in a HashMap:
• StubbedBlackBoxSolver

Enums

• BlackBoxResolutionError

Traits

• BlackBoxFunctionSolver
  This component will generate outputs for Blackbox function calls where the underlying acir::BlackBoxFunc doesn’t have a canonical Rust implementation.

Functions

• blake2s
• blake3
• ecdsa_secp256k1_verify
• ecdsa_secp256r1_verify
• keccak256
• keccakf1600
• sha256
• sha256compression