libzeth::MiMC_round_gadget< FieldT, Exponent > Class Template Reference

#include <mimc_round.hpp>

Inheritance diagram for libzeth::MiMC_round_gadget< FieldT, Exponent >:

Collaboration diagram for libzeth::MiMC_round_gadget< FieldT, Exponent >:

Public Member Functions
	MiMC_round_gadget (libsnark::protoboard< FieldT > &pb, const libsnark::pb_linear_combination< FieldT > &msg, const libsnark::pb_linear_combination< FieldT > &key, const FieldT &round_const, libsnark::pb_variable< FieldT > &result, const std::string &annotation_prefix="MiMC_round_gadget")
	MiMC_round_gadget (libsnark::protoboard< FieldT > &pb, const libsnark::pb_linear_combination< FieldT > &msg, const libsnark::pb_linear_combination< FieldT > &key, const FieldT &round_const, libsnark::pb_variable< FieldT > &result, const libsnark::pb_linear_combination< FieldT > &add_to_result, const std::string &annotation_prefix="MiMC_round_gadget")
void	generate_r1cs_constraints ()
void	generate_r1cs_witness () const

Detailed Description

template<typename FieldT, size_t Exponent>
class libzeth::MiMC_round_gadget< FieldT, Exponent >

Definition at line 17 of file mimc_round.hpp.

Constructor & Destructor Documentation

MiMC_round_gadget() [1/2]

template<typename FieldT , size_t Exponent>

libzeth::MiMC_round_gadget< FieldT, Exponent >::MiMC_round_gadget	(	libsnark::protoboard< FieldT > &	pb,
		const libsnark::pb_linear_combination< FieldT > &	msg,
		const libsnark::pb_linear_combination< FieldT > &	key,
		const FieldT &	round_const,
		libsnark::pb_variable< FieldT > &	result,
		const std::string &	annotation_prefix = "MiMC_round_gadget< FieldT, Exponent >"
	)

MiMC_round_gadget() [2/2]

template<typename FieldT , size_t Exponent>

libzeth::MiMC_round_gadget< FieldT, Exponent >::MiMC_round_gadget	(	libsnark::protoboard< FieldT > &	pb,
		const libsnark::pb_linear_combination< FieldT > &	msg,
		const libsnark::pb_linear_combination< FieldT > &	key,
		const FieldT &	round_const,
		libsnark::pb_variable< FieldT > &	result,
		const libsnark::pb_linear_combination< FieldT > &	add_to_result,
		const std::string &	annotation_prefix = "MiMC_round_gadget< FieldT, Exponent >"
	)

Constructor that supports adding some linear_combination to the final result.

Member Function Documentation

generate_r1cs_constraints()

template<typename FieldT , size_t Exponent>

void libzeth::MiMC_round_gadget< FieldT, Exponent >::generate_r1cs_constraints

(

)

generate_r1cs_witness()

template<typename FieldT , size_t Exponent>

void libzeth::MiMC_round_gadget< FieldT, Exponent >::generate_r1cs_witness

(

)

const

---

The documentation for this class was generated from the following file:

• /home/runner/work/zeth/zeth/libzeth/circuits/mimc/mimc_round.hpp