Struct acvm_blackbox_solver::BigIntSolver

pub struct BigIntSolver { /* private fields */ }

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

• When it encounters a bigint operation opcode, it performs the operation on the stored values and store the result using the provided ID.
• When it gets a to_bytes opcode, it simply looks up the value and resolves the output witness accordingly.

Implementations

impl BigIntSolver

pub fn bigint_from_bytes( &mut self, inputs: &[u8], modulus: &[u8], output: u32 ) -> Result<(), BlackBoxResolutionError>

pub fn bigint_to_bytes( &self, input: u32 ) -> Result<Vec<u8>, BlackBoxResolutionError>

pub fn bigint_op( &mut self, lhs: u32, rhs: u32, output: u32, func: BlackBoxFunc ) -> Result<(), BlackBoxResolutionError>

Trait Implementations

impl Clone for BigIntSolver

fn clone(&self) -> BigIntSolver

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BigIntSolver

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for BigIntSolver

fn default() -> BigIntSolver

Returns the “default value” for a type.

impl PartialEq for BigIntSolver

fn eq(&self, other: &BigIntSolver) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for BigIntSolver

impl StructuralPartialEq for BigIntSolver