Inheritance diagram for libsnark::sha256_round_function_gadget< FieldT >:

Collaboration diagram for libsnark::sha256_round_function_gadget< FieldT >:

Public Member Functions
	sha256_round_function_gadget (protoboard< FieldT > &pb, const pb_linear_combination_array< FieldT > &a, const pb_linear_combination_array< FieldT > &b, const pb_linear_combination_array< FieldT > &c, const pb_linear_combination_array< FieldT > &d, const pb_linear_combination_array< FieldT > &e, const pb_linear_combination_array< FieldT > &f, const pb_linear_combination_array< FieldT > &g, const pb_linear_combination_array< FieldT > &h, const pb_variable< FieldT > &W, const long &K, const pb_linear_combination_array< FieldT > &new_a, const pb_linear_combination_array< FieldT > &new_e, const std::string &annotation_prefix)

void	generate_r1cs_constraints ()

void	generate_r1cs_witness ()

Public Member Functions inherited from libsnark::gadget< FieldT >
	gadget (protoboard< FieldT > &pb, const std::string &annotation_prefix)

Public Attributes
pb_variable< FieldT >	sigma0

pb_variable< FieldT >	sigma1

std::shared_ptr< big_sigma_gadget< FieldT > >	compute_sigma0

std::shared_ptr< big_sigma_gadget< FieldT > >	compute_sigma1

pb_variable< FieldT >	choice

pb_variable< FieldT >	majority

std::shared_ptr< choice_gadget< FieldT > >	compute_choice

std::shared_ptr< majority_gadget< FieldT > >	compute_majority

pb_variable< FieldT >	packed_d

std::shared_ptr< packing_gadget< FieldT > >	pack_d

pb_variable< FieldT >	packed_h

std::shared_ptr< packing_gadget< FieldT > >	pack_h

pb_variable< FieldT >	unreduced_new_a

pb_variable< FieldT >	unreduced_new_e

std::shared_ptr< lastbits_gadget< FieldT > >	mod_reduce_new_a

std::shared_ptr< lastbits_gadget< FieldT > >	mod_reduce_new_e

pb_variable< FieldT >	packed_new_a

pb_variable< FieldT >	packed_new_e

pb_linear_combination_array< FieldT >	a

pb_linear_combination_array< FieldT >	b

pb_linear_combination_array< FieldT >	c

pb_linear_combination_array< FieldT >	d

pb_linear_combination_array< FieldT >	e

pb_linear_combination_array< FieldT >	f

pb_linear_combination_array< FieldT >	g

pb_linear_combination_array< FieldT >	h

pb_variable< FieldT >	W

long	K

pb_linear_combination_array< FieldT >	new_a

pb_linear_combination_array< FieldT >	new_e

Additional Inherited Members
Protected Attributes inherited from libsnark::gadget< FieldT >
protoboard< FieldT > &	pb

const std::string	annotation_prefix

Detailed Description

Definition at line 56 of file sha256_components.hpp.

Constructor & Destructor Documentation

template<typename FieldT >

libsnark::sha256_round_function_gadget< FieldT >::sha256_round_function_gadget	(	protoboard< FieldT > &	pb,
		const pb_linear_combination_array< FieldT > &	a,
		const pb_linear_combination_array< FieldT > &	b,
		const pb_linear_combination_array< FieldT > &	c,
		const pb_linear_combination_array< FieldT > &	d,
		const pb_linear_combination_array< FieldT > &	e,
		const pb_linear_combination_array< FieldT > &	f,
		const pb_linear_combination_array< FieldT > &	g,
		const pb_linear_combination_array< FieldT > &	h,
		const pb_variable< FieldT > &	W,
		const long &	K,
		const pb_linear_combination_array< FieldT > &	new_a,
		const pb_linear_combination_array< FieldT > &	new_e,
		const std::string &	annotation_prefix
	)