Struct Sha256CompressionFunctionFixedIV 

pub struct Sha256CompressionFunctionFixedIV(/* private fields */);

Circuit for the SHA-256 compression function, where the chaining values are fixed to the SHA-256 IV.

Implementations

impl Sha256CompressionFunctionFixedIV

pub fn new() -> Self

Create a new Sha256CompressionFunctionFixedIV circuit.

Performance Note!

This involves parsing a Bristol Format file, and thus is not cheap! Hence, it is best to reuse this circuit if possible versus calling Sha256CompressionFunctionFixedIV::new every time this circuit is needed.

Trait Implementations

impl<F: FancyBinary> Circuit<F> for Sha256CompressionFunctionFixedIV

type Input = [<F as Fancy>::Item; 512]

The input type of the circuit.

type Output = [<F as Fancy>::Item; 256]

The output type of the circuit.

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

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

impl<F: FancyBinary> CircuitInputMapper<F> for Sha256CompressionFunctionFixedIV

fn map(&self, inputs: Vec<<F as Fancy>::Item>) -> Self::Input

Map a vector of inputs to Circuit::Input.

fn ninputs(&self) -> usize

The number of inputs to provide to CircuitInputMapper::map.

fn modulus(&self, _: usize) -> u16

The modulus of the ith input.

impl Default for Sha256CompressionFunctionFixedIV

fn default() -> Self

Returns the “default value” for a type.