Struct ConstantExponentiation 

pub struct ConstantExponentiation<'a>(/* private fields */);

Given a CrtBundle x and constant exponent c, output x^c.

This uses projection gates to compute the exponentiation for each modulus in the CRT bundle.

Implementations

impl<'a> ConstantExponentiation<'a>

pub fn new() -> Self

Create a new ConstantExponentiation circuit.

Trait Implementations

impl<'a, F: FancyProj> Circuit<F> for ConstantExponentiation<'a>

where F::Item: 'a,

type Input = (&'a CrtBundle<<F as Fancy>::Item>, u32)

The input type of the circuit.

type Output = CrtBundle<<F as Fancy>::Item>

The output type of the circuit.

fn execute( &self, backend: &mut F, inputs: Self::Input, channel: &mut Channel<'_>, ) -> Result<Self::Output>

Execute a circuit on a given Fancy backend using the provided inputs.

impl<'a> Default for ConstantExponentiation<'a>

fn default() -> ConstantExponentiation<'a>

Returns the “default value” for a type.