acvm_blackbox_solver

Module bigint

Source

Structsยง

  • Resolve BigInt opcodes by storing BigInt values (and their moduli) by their ID in a HashMap:
  • Wrapper over the generic bigint solver to automatically assign bigint IDs.