Crate acvm

Re-exports

• pub use acir;

Modules

• compiler
• pwg

Enums

• Language
  Supported NP complete languages This might need to be in ACIR instead
• OpcodeNotSolvable
• OpcodeResolutionError

Traits

• Backend
• PartialWitnessGenerator
  This component will generate the backend specific output for each OPCODE. Returns an Error if the backend does not support that OPCODE
• ProofSystemCompiler
• SmartContract

Functions

• default_is_black_box_supportedDeprecated
• hash_constraint_system

Type Definitions

• FieldElement