Struct CompressionFn 

pub struct CompressionFn<F, Adder> {
    output: Vec<Adder>,
    round_carries: Vec<CompressionFnRoundCarries<Adder>>,
    _phantom: PhantomData<F>,
}

Computes the single round of compression function

Fields

output: Vec<Adder>

round_carries: Vec<CompressionFnRoundCarries<Adder>>

_phantom: PhantomData<F>

Implementations

impl<F, Adder> CompressionFn<F, Adder>

where F: Field, Adder: AdderGateTrait<F, IntegralType = u32> + Clone,

pub fn new( ckt_builder: &mut CircuitBuilder<F>, carry_layer: Option<&InputLayerNodeRef<F>>, msg_schedule: &MessageSchedule<F, Adder>, input_schedule: &[NodeRef<F>], round_keys: &KeySchedule<F>, ) -> Self

A Single Round of SHA-256 compression function. The msg_schedule is the 64 rounds of expanded message schedule. The input_schedule is the 256-bits of Input values round_keys are

fn compute_t1( ckt_builder: &mut CircuitBuilder<F>, carry_layer: Option<&InputLayerNodeRef<F>>, e: &NodeRef<F>, f: &NodeRef<F>, g: &NodeRef<F>, h: &NodeRef<F>, w_t: &NodeRef<F>, k_t: &NodeRef<F>, ) -> [Adder; 4]

fn compute_t2( ckt_builder: &mut CircuitBuilder<F>, carry_layer: Option<&InputLayerNodeRef<F>>, a: &NodeRef<F>, b: &NodeRef<F>, c: &NodeRef<F>, ) -> Adder

pub fn populate_compression_fn( &self, circuit: &mut Circuit<F>, message_words: Vec<u32>, input_words: Vec<u32>, ) -> Vec<u32>

Populated the carry bits of the adder. This function must match the addition operations exactly as during the circuit building.

fn populate_t1( circuit: &mut Circuit<F>, sum1: &Adder, sum2: &Adder, sum3: &Adder, sum4: &Adder, e: u32, f: u32, g: u32, h: u32, w_t: u32, k_t: u32, ) -> u32

fn populate_t2( circuit: &mut Circuit<F>, sum1: &Adder, a: u32, b: u32, c: u32, ) -> u32

pub fn get_output_nodes(&self) -> Vec<NodeRef<F>>

Returns 8 32-bit words (256-bits) output of the compression function