Struct BigUintDivideHint 

pub struct BigUintDivideHint;

Implementations

impl BigUintDivideHint

pub const fn new() -> Self

pub fn call( builder: &CircuitBuilder, dividend: &[Wire], divisor: &[Wire], ) -> (Vec<Wire>, Vec<Wire>)

BigUint division.

Returns (quotient, remainder) of the division of dividend by divisor.

This is a hint - a deterministic computation that happens only on the prover side. The result should be additionally constrained by using bignum circuits to check that remainder + divisor * quotient == dividend.

Trait Implementations

impl Default for BigUintDivideHint

fn default() -> Self

Returns the “default value” for a type.

impl Hint for BigUintDivideHint

const NAME: &'static str = "binius.biguint_divide"

Globally unique name for this hint, which the registry hashes into its key.

fn shape(&self, dimensions: &[usize]) -> (usize, usize)

Compute the gate’s input/output arity as a function of dimensions.

fn execute(&self, dimensions: &[usize], inputs: &[Word], outputs: &mut [Word])

Compute the hint’s outputs from its inputs at witness-generation time.