Returns indexed limb as [`Value<F>`]. # Arguments idx - the index of the limb to retrieve. # Return values Returns the specified limb as [`Value<F>`

Getter for [`MainGate`].

Returns the number of the limbs.

Generic function to assign a constant integer.

Getter for [`BigIntChip`].

Getter for [`RangeChip`].

Given two inputs `a,b`, performs the subtraction `a - b`. # Arguments `ctx` - a region context. `a` - input of subtraction. `b` - input of subtractio

Given two inputs `a,b`, performs the addition `a + b`. # Arguments `ctx` - a region context. `a` - input of addition. `b` - input of addition. # Ret

Returns the witness value as [`AssignedValue<F>`].

Returns the witness value as [`Value<BigUint>`]. # Arguments width - bit length of each limb. # Return values Returns the witness value as [`Value<B

Asserts that that `a` is zero or not. # Arguments `ctx` - a region context. `a` - input of comparison. # Return values Reutrns [`Error`] if `a!=0`.

Increases the number of the limbs by adding the given [`AssignedValue<F>`] representing zero. # Arguments num_extend_limbs - the number of limbs to a

Returns assigned limbs.

Given two inputs `a,b`, performs the multiplication `a - b`. # Arguments `ctx` - a region context. `a` - input of multiplication. `b` - input of mult

Assigns a variable [`AssignedInteger`] whose [`RangeType`] is [`Fresh`]. # Arguments `ctx` - a region context. `integer` - a variable integer to assi

Given a integer `a` and a divisor `n`, performs `a/n` and `a mod n`. # Panics Panics if `n=0`.

Returns an assigned bit representing whether `a` is less than `b` (`a<b`). # Arguments `ctx` - a region context. `a` - input of comparison. `b` - inp

Returns an assigned bit representing whether `a` is less than or equal to `b` (`a<=b`). # Arguments `ctx` - a region context. `a` - input of comparis

Returns an assigned bit representing whether `a` is zero or not. # Arguments `ctx` - a region context. `a` - input of comparison. # Return values Re

Getter for [`MainGate`].

Given two inputs `a,b` and a modulus `n`, performs the modular multiplication `a * b mod n`. # Arguments `ctx` - a region context. `a` - input of mul

Returns an assigned bit representing whether `a` and `b` are equivalent, whose [`RangeType`] is [`Fresh`]. # Arguments `ctx` - a region context. `a`

Creates a new [`AssignedInteger`] from its limb representation. # Arguments limbs - the assigned limbs of the integer. # Return values Returns a new

Getter for [`RangeChip`].

Given a input `a` and a modulus `n`, performs the modular square `a^2 mod n`. # Arguments `ctx` - a region context. `a` - input of square. `n` - a mo

Given two inputs `a,b` (`a>=b`), performs the subtraction `a - b`. # Panics Panics if `a<b`.

Asserts that `a` and `b` are equivalent, whose [`RangeType`] is [`Fresh`]. # Arguments `ctx` - a region context. `a` - input of comparison whose type

Asserts that `a` and `b` are equivalent, whose [`RangeType`] is [`Muled`]. # Arguments `ctx` - a region context. `a` - input of comparison whose type

Asserts that `a` is in the order-`n` finite field. # Arguments `ctx` - a region context. `a` - input of comparison. `n` - a modulus. # Return values

Assigns a constant [`AssignedInteger`] whose [`RangeType`] is [`Fresh`]. # Arguments `ctx` - a region context. `integer` - a constant integer to assi

Assigns a [`AssignedRSAPublicKey`]. # Arguments `ctx` - a region context. `public_key` - a RSA public key to assign. # Return values Returns a new [

Assigns a [`AssignedRSASignature`]. # Arguments `ctx` - a region context. `signature` - a RSA signature to assign. # Return values Returns a new [`A

Returns an assigned bit representing whether `a` and `b` are equivalent, whose [`RangeType`] is [`Muled`]. # Arguments `ctx` - a region context. `a`

Returns an assigned bit representing whether `a` is greater than `b` (`a>b`). # Arguments `ctx` - a region context. `a` - input of comparison. `b` -

Returns an assigned bit representing whether `a` is greater than or equal to `b` (`a>=b`). # Arguments `ctx` - a region context. `a` - input of compa

Returns an assigned bit representing whether `a` is in the order-`n` finite field. # Arguments `ctx` - a region context. `a` - input of comparison. `

Assigns the maximum integer whose number of limbs is `num_limbs`. # Arguments `ctx` - a region context. `num_limbs` - the number of limbs. # Return

Given a base `x`, a RSA public key (e,n), performs the modular power `x^e mod n`. # Arguments `ctx` - a region context. `x` - a base integer. `public

Given a base `a`, a variable exponent `e`, and a modulus `n`, performs the modular power `a^e mod n`. # Arguments `ctx` - a region context. `a` - inp

Given a base `a`, a fixed exponent `e`, and a modulus `n`, performs the modular power `a^e mod n`. # Arguments `ctx` - a region context. `a` - input

Replaces the specified limb to the given value. # Arguments idx - index of the modified limb. limb - new limb.

Given a RSA public key, signed message bytes, and a pkcs1v15 signature, verifies the signature with SHA256 hash function. # Arguments layouter - a la

Given two inputs `a,b` and a modulus `n`, performs the modular addition `a + b mod n`. # Arguments `ctx` - a region context. `a` - input of addition

Asserts that `a` is greater than `b` (`a>b`). # Arguments `ctx` - a region context. `a` - input of comparison. `b` - input of comparison. # Return v

Asserts that `a` is greater than or equal to `b` (`a>=b`). # Arguments `ctx` - a region context. `a` - input of comparison. `b` - input of comparison

Asserts that `a` is less than `b` (`a<b`). # Arguments `ctx` - a region context. `a` - input of comparison. `b` - input of comparison. # Return valu

Asserts that `a` is less than or equal to `b` (`a<=b`). # Arguments `ctx` - a region context. `a` - input of comparison. `b` - input of comparison.

Assigns a constant [`AssignedInteger`] whose [`RangeType`] is [`Muled`]. # Arguments `ctx` - a region context. `integer` - a constant integer to assi

Returns the fewest bits necessary to express the [`BigUint`].

Returns the maximum limb size of [`Muled`] type integers.

Returns the bit length parameters necessary to configure the [`RangeChip`]. # Arguments num_limbs - the default number of limbs of [`Fresh`] integers

Returns the bit length parameters necessary to configure the [`RangeChip`]. # Arguments limb_width - the bit length of [`Fresh`] limbs. num_limbs - t

[`AssignedLimb`] can be also represented as [`AssignedValue`].

Creates new [`RSAConfig`] from [`BigIntConfig`]. # Arguments bigint_config - a configuration for [`BigIntChip`]. # Return values Returns new [`RSACo

Creates new [`RSAPublicKey`] from `n` and `e`. # Arguments n - an integer of `n`. e - a parameter `e`. # Return values Returns new [`RSAPublicKey`].

Creates new [`BigIntConfig`] from [`RangeConfig`] and [`MainGateConfig`]. # Arguments range_config - a configuration for [`RangeChip`]. main_gate_con

Creates a new [`AssignedInteger`]. # Arguments limbs - a vector of [`AssignedLimb`]. # Return values Returns a new [`AssignedInteger`].

Converts a [`Muled`] type integer to a [`Fresh`] type integer. # Arguments `ctx` - a region context. `a` - an assigned integer whose type is [`Assign

Given a inputs `a`, performs the square `a^2`. # Arguments `ctx` - a region context. `a` - input of square. # Return values Returns the square resul

Given two inputs `a,b` and a modulus `n`, performs the modular subtraction `a - b mod n`. # Arguments `ctx` - a region context. `a` - input of subtra

Returns the bit length of the sublimb necessary to check the range of the `bit_len_limb`-bits integer with [`RangeChip`].

Converts the [`RangeType`] from [`Fresh`] to [`Muled`].

Given a RSA public key, a message hashed with SHA256, and a pkcs1v15 signature, verifies the signature with the public key and the hashed messaged. #